CPSC 121 Lecture Notes - Lecture 4: Formal Language, If And Only If
lillyzuxian and 39077 others unlocked
38
CPSC 121 Full Course Notes
Verified Note
38 documents
Document Summary
Sentence letters: a, b, c, etc. all stand for sentences. Therefore tim is happy and sam is happy, or a and b. ~ is a unary connective (only connects to one sentences) the rest are binary connectives (used to combine two sentences) If a is a sentence, then ~a is too. If a and b are sentences, then (a ^ b) is too. If a and b are sentences, then (a v b) is too. If a and b are sentences, then (a > b) is too. If a and b are sentences, then (a <> b) is too. There are no other sentences in our language than those constructed on the basis of the above rules.