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)
which shows that hypothetical syllogism is a valid derivation.