mt3 Show Code edit
## Modus Tollens
thm (mt3 () (1 (-. ps) 2 (-> (-. ph) ps)) ph
1 2 con1i ax-mp)
ph
edit