diff options
Diffstat (limited to 'old-examples/systemS/ex2.txt')
| -rw-r--r-- | old-examples/systemS/ex2.txt | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/old-examples/systemS/ex2.txt b/old-examples/systemS/ex2.txt new file mode 100644 index 000000000..1dffb6bf9 --- /dev/null +++ b/old-examples/systemS/ex2.txt @@ -0,0 +1,13 @@ +[ A -> B |- ~ B -> ~ A ] +------------------------------ Implication strategy +[ A -> B , ~ B |- ~ A ] +------------------------------ Negation rewrite +[ A -> B , ~ B |- A -> _|_ ] +------------------------------ Implication strategy +[ A , A -> B , ~ B |- _|_ ] +------------------------------ Modus ponens +[ A , A -> B , B , ~ B |- _|_ ] +------------------------------ Forgetting +[ B , ~ B |- _|_ ] +------------------------------ Ex falso quodlibet _|_ +Ø |