Category Archives: Math of Proof

Fundamentals Basic Logic Inference $P \to Q, P \implies Q$ $P \to Q, \neg Q \implies \neg P$ $P \lor Q, \neg P \implies Q$ $P (\text{or } Q) \implies P \lor Q$ $P, Q \implies P \land Q$ $P \land Q \implies P (\text{or } Q)$ $P \lor Q… Continue reading →