Predicates and quantifiers: Exercise 9
Introduction The universal quantifier is denoted by ∀”. An example of how to interpret it is as follows: The statement “∀x P(x) is true if P(x) holds for all x in the universe of discourse. On the other hand, if you can find x such that P(x) is false, then the statement “∀x P(x) is […]
Predicates and quantifiers: Exercise 9 Read More »