mto Show Code edit
## Modus Tollens
##
## [ [ [ (-. [ ps)
## (-> [ ph ] [ [ ps)
## (-. [ ph ] ) ] ]
##
thm (mto () (1 (-. ps) 2 (-> ph ps)) (-. ph)
1 2 con3i ax-mp)
(-. ph)
edit