Predicates
Let S(x) represent a statement about x with a boolean truth value
(x < 3)
x == 2 implies that S(x) is true
x == 4 implies that S(x) is false
Previous slide
Next slide
Back to first slide
View graphic version