![]() | 1 | initial version |
OK. I found the answer.
h = f.ifthen(g) h.truthtable()
which shows that hypothetical syllogism is a valid derivation.
![]() | 2 | No.2 Revision |
OK. I found the answer.
h = f.ifthen(g)
h.truthtable()h.truthtable()
which shows that hypothetical syllogism is a valid derivation.