Propositional calculus
Natural deduction proof example

The proof below derives − P {\displaystyle -P} from P → Q {\displaystyle P\to Q} and − Q {\displaystyle -Q} using only MPP and RAA, which shows that MTT is not a primitive rule, since it can be derived from those two other rules.
startend:quotation