Q32

MCQ2 marks, −0.5

Which of the following is a valid first order formula? (Here $\alpha$ and $\beta$ are first order formulae with $x$ as their only free variable)

(A)

$((∀x)[α] ⇒ (∀x)[β]) ⇒ (∀x)[α ⇒ β]$

(B)

$(∀x)[α] ⇒ (∃x)[α ∧ β]$

(C)

$((∀x)[α ∨ β] ⇒ (∃x)[α]) ⇒ (∀x)[α]$

(D)

$(∀x)[α ⇒ β] ⇒ (((∀x)[α]) ⇒ (∀x)[β])$

Loading…