Add iteration rule

ndt93 · Sep 23, 2013 · 0fd7c30 · 0fd7c30
1 parent a68c945
commit 0fd7c30
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/data.js b/data.js
@@ -15,6  15,7 @@ var builtin_rules = { //Fundamental Logical Rules
                       "MP" : new Rule("Modus Ponens", ["A", "A => B"], "B"),
                       "MT" : new Rule("Modus Tollens", ["A => B", "~B"], "~A"),
                       "DS" : new Rule("Disjunctive Syllogism", ["A v B", "~A"], "B"),
                       "Iter" : new Rule("Iteration", ["A"], "A")
                     };
 
 //Constants