Pred ales and a proposition because it has a well dened truth value . A predicate can depend on more than one variable Dene the predimles Q and R as: le, y) x2 : y R(x,y'z) x+y:z Tile pruposiLion mi 25) is Irue because 52 : 25. The proposition R(2, 3, 6) is false because 2 t 3 2 6. The domain oia vanahle In a predicate is the set of all possible values lorlhe variable For example a natural domain for the variable x in the predicate "x l5 an odd numbef" would be the Set of all integers lf lhe domain of a variable in a predicate is rial clear from cuntexl' lhe dumam should be glVen as pan oiirie denlliun oiirie predicale E Earl'a'm" 2.1.1: Trulh values for predicates on specic inputs. The domain ior all the variables in me following predicates is the eel oi puslllve integers P[x) x is a prime number L(x, y): x