Question 3471 – Mathematical-Reasoning
February 28, 2024Question 10427 – Deadlock
February 29, 2024GATE 2003
| Question 32 |
Which of the following is a valid first order formula? (Here α and β are first order formulae with x as their only free variable)
| ((∀x)[α] ⇒ (∀x)[β]) ⇒ (∀x)[α⇒β]
| |
| (∀x)[α] ⇒ (∃x)[α ∧ β] | |
| ((∀x)[α ∨ β] ⇒ (∃x)[α] ⇒ (∀x)[α] | |
| (∀x)[α ⇒ β] ⇒ ((∀x)[α] ⇒ (∀x)[β]) |
Question 32 Explanation:
Option D is valid.
Here, α, β are holding values of x. Then and RHS saying that α holding the value of x and β is holding value of x.
Then LHS ⇒ RHS.
Here, α, β are holding values of x. Then and RHS saying that α holding the value of x and β is holding value of x.
Then LHS ⇒ RHS.
Correct Answer: D
Question 32 Explanation:
Option D is valid.
Here, α, β are holding values of x. Then and RHS saying that α holding the value of x and β is holding value of x.
Then LHS ⇒ RHS.
Here, α, β are holding values of x. Then and RHS saying that α holding the value of x and β is holding value of x.
Then LHS ⇒ RHS.