mt2 Show Code edit
## Modus Tollens
thm (mt2 () (1 ps 2 (-> ph (-. ps))) (-. ph)
1 dnri 2 mto)
(-. ph)
edit