Universal Conditional Statements s1

CmSc 175 Discrete Mathematics Study Guide for Unit Exam 1

Propositional Logic

1. Know the truth tables of the connectives ¬, Λ , V , →

2. Know the equivalence laws and be able to apply them when negating and simplifying logical expressions.

3. Know the disjunctive representation of P → Q, its converse, inverse and contrapositive. Know how to write the negation of conditionals. Contrapositive: ~Q → ~P Converse: Q → P Inverse: ~P → ~Q Negation: P Λ ~Q

4. Know the correspondence between conditionals and necessary/sufficient conditions: P → Q: P is sufficient for Q, Q is necessary for P

5. Know the correspondence between conditionals and “only if” statements: P only if Q P → Q translates to P → Q and also to ~Q → ~P

6. Know the correspondence between conditionals and “unless” statements: P unless Q translates to ~Q → P and also to ~P → Q