MTH 230 Study Guide - Midterm Guide: Logical Biconditional, Contraposition, If And Only If

• School: University of Miami
• Department: Mathematics
• Course: MTH 230
• Professor: Ramakrishnan

Document Summary

Define conjunction, give truth table, give notation. The conjunction of statements p & q is true when p is true & q is true. (cid:1842) (cid:1840) (cid:1843) or (cid:1842)(cid:1512)(cid:1843: define disjunction, give truth table, give notation. The disjunction of statements p & q is false when p is false & q is false. (cid:1842) (cid:1841)(cid:1844) (cid:1843) or (cid:1842)(cid:1513)(cid:1843) F t: define negation, give truth table, give notation. The negation of p is true when p is false. (cid:1840)(cid:1841)(cid:1846) (cid:1842) or (cid:1842) or ~(cid:1842) or (cid:1842) The conditional of p implies q is false when p is true but q is false. (cid:1842) (cid:1843: define conditional, give truth table, give notation, define equivalent/biconditional, give truth table, give notation. The biconditional of p iff q is true when p & q have same truth assignments. (cid:1842) (cid:1843: define distributive laws, defi(cid:374)e demorga(cid:374)"s law. A set is any well-defined set of elements.