Modus ponendo ponens


THEOREM (Modus ponendo ponens)    \(P \Rightarrow Q,\ P \vdash Q\)

Proof available

Parent topics