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 →

Notes on the basic language, strategies, and recurring patterns used in proofs. Parts summary-math-of-proof Continue reading →

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 … Continue reading →