diff options
| author | Camil Staps | 2015-07-03 10:59:14 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-03 10:59:14 +0200 |
| commit | ddd2aa4e4ddef13e32b68d7f6adc1f8c7347731c (patch) | |
| tree | 189840de400c0a66ccb85b1d0a22e3cb94133677 /LogicParser.icl | |
| parent | Initial commit (diff) | |
Types, toString
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 |