Consider the following predicates, where the domain of all variables is the…
Consider the following predicates, where the domain of all variables is the set of integers.
Pm: m2 > −1
Qm: m2 − 6m + 8 = 0
Rm, n: m2 = n
Which of the following statements is TRUE?
- A.
∀m [Qm ∧ Pm]
- B.
∀m Pm ∧ ∃n Qn
- C.
∀n ∀m [Pm → Rm, n]
- D.
Both ∀m [Qm ∧ Pm] and ∀n ∀m [Pm → Rm, n]
Attempted by 14 students.
Sign up free to check your answer
Sign up freeLoading lesson…