CPSC 121 Lecture Notes - Lecture 5: Sentence Clause Structure, Formal Language, Principle Of Bivalence
38
CPSC 121 Full Course Notes
Verified Note
38 documents
Document Summary
~(a&b) - a negation (not a conjunction anymore) (a&b) -> (a&c) - a conditional (not a conjunction anymore) tip: look at main connective. In giving a semantic, you specify conditions under which a sentence is true or false. Two main principles: every sentence is either true or false, not both or neither (bivalence, the truth value of every compound sentence is determined by the truth value of the atomic sentences (truth functionality) If first part of the conditional is false, the entire sentence is true by default : doesn"t matter what the second part"s truth value is, as long as the antecedent is false, the whole sentence is true butts. ;; interp. how fucking bored i am right now (define body 0dor 10000000000000000000000000000000000) (define bnot-this-one 5) (define (fn-for-boredom b) ( b)) ;; tell you how bored you are compared to me bubu (check-expect (how-bored-are-you 5) you aren"t as bored as me right now ) (check-expect (how-bored-are-you 10000000000000000000000000000000000001)
