CPSC 121 Lecture Notes - Lecture 6: Logical Biconditional

• School: UBC
• Department: Computer Science
• Course: CPSC 121
• Professor: George Tsiknis

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.