Mathmatical Proofs

AA IB SL

Negation

~ P (Not P) (This dosen’t mean negative)

Conjunction

P ^ Q (Intersection | P AND Q)

Disjunction

P ▽ Q (Union | P OR Q)

Implication

P ⇒ Q (If P THEN Q)

Converse

P ⇒ Q becomes Q ⇒ P (If Q THEN P) Order Switch

Inverse

P ⇒ Q is -P ⇒ -Q (Sign Switch)

Contrapositive

P ⇒ Q is -Q ⇒ -P (Order AND sign switch) (Inverse & Converse)

Equivalence

P ⇔ Q (P and Q are equal)