DISCRETE MATH XOR ⊕(EXCLUSIVE OR)

Propositional Logic
- Law of identity / Logical Identity
- Law of Excluded Middle
- Law of Non Contradiction

Proposition - declarative sentence that is

either false or true

Compound proposition - proposition

constructed by combining one or more existing
propositions

Negation ¬ (NOT) Tautology - any statement that is TRUE

Contradiction - any statement that is FALSE

Contingency - statement that is NEITHER true or false

Logical Equivalence - 2 compound proposition that have

Logical Conjunction ∧ (AND)
identical truth values

Logical Disjunction ∨(OR)

Implication → (IF AND THEN)

Biconditional ↔ (IF AND ONLY IF)