- Every math student at the university must study Discrete Mathematics.
- Rob Sterling is a math student at the university.
We can’t use Propositional Logic to use these two statements to get to a conclusion.
A Predicate is a statement that contains variables. A Predicate is true or false depending on the values chosen for the variables.
A Predicate is instantiated when its variables are given values.
Rob Sterling 