Professional Documents
Culture Documents
2. The expression 1+3=4 is not a predicate logic since it contains no variables or properties that are
either confirmed or rejected, as defined by predicate logic. It is just a declarative expression. 2.
3. It is a predicate logic, and the domain of discourse in this case is the set of numbers, that (x+2)2 is a
prime number.