Answer to Question #175172 in Discrete Mathematics for dsada

Question

Identify if the following statements are predicate logic. Give a domain of discourse for each propositional function.

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

B. 1 + 3 = 4

C. (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 three 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