mtoi Show Code edit
## Modus Tollens
##
## [ [ [ (-. [ ch)
## (-> ph (-> [ ps ] [ [ ch))
## (-> ph (-. [ ps ] ] ] ))
##
thm (mtoi () (1 (-. ch) 2 (-> ph (-> ps ch))) (-> ph (-. ps))
1 2 con3d mpi)
(-> ph (-. ps))
edit