examples/systemS/ex1.txt


1
2
3
4
5
6
7
8

[ |- A -> B -> A ] 
------------------------------ Implication strategy 
[ A |- B -> A ] 
------------------------------ Implication strategy 
[ A , B |- A ] 
------------------------------ Hypothesis 
Ø