CMPSC 360 Lecture Notes - Lecture 3: Predicate Variable, Formal Language
Document Summary
Section 3. 1 predicates and quantified statements i. Predicate: a sentence that contains a finite number of variables and becomes a statement when specific values are substituted for the variables. Domain of a predicate variable is the set of all values that may be substituted in place of the variable. A universal statement is a statement of the form x . A value for x for which q(x) is false is called a counterexample to the universal statement. It is defined to be true if, and only if, q(x) is true for every x in d. It is defined to be false if, and only if, q(x) is false for at least one x in d. There is a student in math 140 can be written as a person p such that p is a student in. Let q(x) be a predicate and d the domain of x.