MAT 1348 Study Guide - Final Guide: Contraposition

• School: University of Ottawa
• Department: Mathematics
• Course: MAT 1348
• Professor: Guy Beaulieu

Document Summary

English expressions true if and only if p is false. It is not the case that p true if and only if both p and q are true false if and only if both p and q are false true if and only if. Either p or q exactly one of p and q is true. P or q but not both false if and only if p is true and q is false. Biconditional true if and only if p q p and q have the same truth value. Note: we will not be using exclusive or very frequently, since p q (p q). Precedence of logical operators: ; 2) ; 3) ; 4) ; 5) . More about the implication: (hypothesis or premise) (conclusion or consequence) p q. Propositions related to the implication p q: the converse of p q: q p, the contrapositive of p q: q p, the inverse of p q: p q.