Modus ponendo tollens


THEOREM    \(\neg (P \wedge Q),\ P \vdash \neg Q\)

Proof available

THEOREM    \(\neg (P \wedge Q),\ Q \vdash \neg P\)

Proof available