CPSC 121 Lecture Notes - Lecture 6: Logical Biconditional
lillyzuxian and 39077 others unlocked
38
CPSC 121 Full Course Notes
Verified Note
38 documents
Document Summary
Symbols: negation, or, and, conditional, biconditional (capital letters for sentences) Validity: an argument is valid if its not possible for premises to be true but the conclusion. Truth tables associated with symbols ~a, a&b, avb, a->b, ab false. It is not the case that tim is happy. It is not the case that aristotle was married. It is not the case that someone likes rap. Tim is happy and sam is cranky (tim is happy) ^ (sam is cranky) T ^ s, where t means tim is happy and s means sam is cranky . Tim is happy, sally is happy, and sam is cranky (t ^ s) ^ c.