Discrete Mathematics
Predicates
, Predicates
• Statements involving variables, such as x> 5 and x+y=z, are often
found in mathematical assertions and in computer programs.
• These statements are neither true nor false, when the values of
the variables are not specified.
Example: x> 5
The statement “x is greater than 5” has two parts
First part: The variable x, is the subject of the statement
Second part: The predicate, is “greater than 5” refers to a property
that the subject
We can denote the statement “x is greater than 5” by P(x), here P
denote the predicate and x is the variable.
8/29/2024 Indian Institute of Information Technology, Kottayam 2
Predicates
, Predicates
• Statements involving variables, such as x> 5 and x+y=z, are often
found in mathematical assertions and in computer programs.
• These statements are neither true nor false, when the values of
the variables are not specified.
Example: x> 5
The statement “x is greater than 5” has two parts
First part: The variable x, is the subject of the statement
Second part: The predicate, is “greater than 5” refers to a property
that the subject
We can denote the statement “x is greater than 5” by P(x), here P
denote the predicate and x is the variable.
8/29/2024 Indian Institute of Information Technology, Kottayam 2
