diff options
Diffstat (limited to 'LogicParser.icl')
| -rw-r--r-- | LogicParser.icl | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/LogicParser.icl b/LogicParser.icl new file mode 100644 index 0000000..ef81237 --- /dev/null +++ b/LogicParser.icl @@ -0,0 +1,18 @@ +module LogicParser + +import Logic + +e1 = Atom 'p' +e2 = Atom 'q' +e3 = App1 Not e1 +e4 = App2 e1 And e2 +e5 = App2 e3 Or e2 +e6 = App2 e3 Impl e3 +e7 = App2 e4 Equiv e5 + +e8 = App2 (App2 (Atom 'p') And (Atom 'q')) Impl (Atom 'q') +e9 = App2 (Atom 'p') And (App2 (Atom 'q') Impl (Atom 'q')) + +exprs = [e1,e2,e3,e4,e5,e6,e7,e8,e9] + +Start = map toString exprs |