Which of the following first order formula is logically valid? Here α(x) is a…
GATE · 2008 · IT
Which of the following first order formula is logically valid? Here α(x) is a first order formula with x as a free variable, and β is a first order formula with no free variable.
- A.
[β→(∃x,α(x))]→[∀x,β→α(x)]
- B.
[∃x,β→α(x)]→[β→(∀x,α(x))]
- C.
[(∃x,α(x))→β]→[∀x,α(x)→β]
- D.
[(∀x,α(x))→β]→[∀x,α(x)→β]
Attempted by 113 students.
Sign up free to check your answer
Sign up freeLoading lesson…