Consider the following predicates with the domain as set of
Consider the following predicates with the domain as set of integers for all variables.
P(m):m2>-1
Q(m):m2-6m+8=0
R(m,n):m2=n
Which of the following statement is TRUE?
- A.
∀m [Qm ⋀Pm]
- B.
∀m Pm ∃n Qn
- C.
∀n ∀m [Pm→R(m,n)]
- D.
Both (a) and (c)
Attempted by 12 students.
Show answer & explanation
Correct answer: B
(b)
∀m Pm Square of every integer is always ≥0. So, ∀m P(s) is true.
∃n Qn There exist a solution i.e. n=2,4 for n2-6n+8=0. Hence ∃n Q(n) is also true.
So, option (b) is correct.