Answer to Question #326024 in Discrete Mathematics for bitoy

Question

Identify if the following statements are predicate logic. Give a domain of discourse for each propositional function. (3 items x 5 points)

The movie won the Academy Award for the past 2 years.

1 + 3 = 4

(x+2)2 is a prime number.

Answer 1

Definition: A predicate is a property that is affirmed or denied about the subject (in logic, we say “variable” or “argument”) of a statement.

A. 'The movie won the Academy award for the past two years' is a predicate logic. The domain of discourse here is all movies.

B. '1+3=4' is not a predicate logic. This is because there is no variable or property that is been affirmed or denied according to the definition of predicate. It is just a statement.

C. '(x+2)2 is a prime number ' is a predicate logic and the domain of discourse here is the set of numbers.