mt4d Show Code edit
## Modus Tollens
thm (mt4d () (1 (-> ph ps) 2 (-> ph (-> (-. ch) (-. ps)))) (-> ph ch)
1 2 a3d mpd)
(-> ph ch)
edit