LING 360 Lecture Notes - Lecture 22: Empty Set, If And Only If, Satisfiability
Document Summary
Satisfaction relation: relationship between a truth-value assignment and a formula. A truth-value assignment satisfies a formula ( ) if and only if the truth-value assignment makes the formula true. A truth-value assignment satisfies a set of formulas ( ) if and only if the truth-value assignment makes each formula in the set of formulas true. Example: does satisfy p (q r)? p . To prove that the truth-value assignment satisfies the formula, draw it out in a tree p t q t r f (q. We are going to use this to examine entailment. We will use the meanings of the parts to find the meaning of the whole. Intuitions, according to linguists: speakers" judgments about whether something is. Distinct definition of intuition: this is a hunch it refers to someone"s good or bad (grammatical) There is a connection between satisfying a set and satisfying a formula a satisfies iff satisfies { }