CPSC 121 Lecture Notes - Lecture 4: Formal Language, If And Only If

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

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.