EECS 203 Chapter Notes - Chapter 1.3: Propositional Function
Document Summary
Predicate logic - can be used to express the meaning of a wide range of statements in mathematics and computer science in ways that permit us to reason and explore relationships between objects. Predicates are statements involving variables, such as: x + 4 = 6; x < 5; computer x is under attack by an intruder . These statements are neither true nor false when the values of the variables are not speci ed. We can denote the statement x is greater than 3 by p(x), where p denotes the predicate is greater than 3 and x is the variable. Once a value has been assigned to x, the statement p(xp becomes a proposition and has a truth value. Predicates are also used to establish the correctness of a computer programs, that is, to show that computer programs always produce the desired output when given valid input.