Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

OK. I found the answer.

h = f.ifthen(g) h.truthtable()

which shows that hypothetical syllogism is a valid derivation.

OK. I found the answer.

h = f.ifthen(g)
h.truthtable()

h.truthtable()

which shows that hypothetical syllogism is a valid derivation.