mt3i Show Code edit
## Modus Tollens
thm (mt3i () (1 (-. ch) 2 (-> ph (-> (-. ps) ch))) (-> ph ps)
1 2 con1d mpi)
(-> ph ps)
edit