Logic

Logic

1. Conjunction - ^ (And)

   • Both original propositions have to be True

2. Disjunction ˅ (Or)

   • One or both original propositions have to be True

3. Exclusive disjunction ˅_ (Or but not at the same time)

   • Only one of the original propositions can be true at a time

4. Tautology

5. Logical contradiction

6. Two columns can be Logically Equivalent

7. Implication --> If p, then q

   • Consequent
   • Antecedent

8. Premise

   • Conclusion

9. Equivalence <--> If and only if

   • T F F T
   • F T T F

10. Implication - Normal statement

    • Inverse - Negated
      • Converse - Flipped
        • Contrapositive - Negated & flipped