MATH 1P66 Lecture Notes - Lecture 2: Logical Biconditional, Logical Connective, Contraposition

• School: Brock University
• Department: Mathematics and Statistics
• Course: MATH 1P66
• Professor: Basil

Document Summary

T p q (cid:498)if p, then q(cid:499), (cid:498)p implies q(cid:499), (cid:498)q follows p(cid:499), (cid:498)q, if p(cid:499), (cid:498)q, whenever p(cid:499) Biconditional statements (or biconditionals) p q; original conditional statement q p; converse. A biconditional denoted by p q is the statement (cid:498)p if and only if q(cid:499) p q is true when p and q have the same truth value q p p q p q. P iff q p q is true when p and q have the same truth value (cid:498)p implies q \, and conversely(cid:499) (cid:498)p is necessary and sufficient for q(cid:499) 1+2=5 iff pigs can fly (both are false, making this statement true) Like numbers, logic has it"s own version of bedmas. Getting an a on the final and doing every exercise in this book is sufficient for getting an a in this class q r r q r q p^ q.