Predicate.md (564B)
1 # Predicate 2 3 U 1.4.1 4 5 **Definition:** The predicate in a mathematical context is the part of a statement that gives us a truth value when variables are at play. 6 7 In the case of 'x < 2' the predicate is 'less than 2'. This can be stated as a propositional function P(x). The following are valid inputs and outputs of said function: 8 9 P(1) = True 10 11 P(2) = False 12 13 P(3) = False 14 15 Another example is 'x + y = z' denoted as R(x,y,z) where the predicate is '='. 16 17 R(2, -1, 5) = False 18 19 R(3, 4, 7) = True 20 21 R(x, 3, z) not a proposition, but R is still a propositional function.