forked from GitHub/gf-core
9 lines
206 B
Plaintext
9 lines
206 B
Plaintext
[ |- A -> B -> A ]
|
|
------------------------------ Implication strategy
|
|
[ A |- B -> A ]
|
|
------------------------------ Implication strategy
|
|
[ A , B |- A ]
|
|
------------------------------ Hypothesis
|
|
Ø
|
|
|