Modus tollendo ponens


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

Proof available

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

Proof available

Parent topics