## Discrete Mathematics and Its Applications, Seventh Edition

To evaluate a specific value of a predicate, we plug in the given value, and see whether that makes the resulting statement true. a) $P(0) :: = 0\leq 4$ Since $0\leq4$, this is true. b) $P(4) :: = 4\leq 4$ Since $4\leq4$, this is true. c) $P(6) :: = 6\leq 4$ Since $6\not\leq4$, this is false.