Q26

MCQ2 marks, −0.5

Which one of the first order predicate calculus statements given below correctly expresses the following English statement? Tigers and lions attack if they are hungry or threatened.

(A)

$∀x[(\text{tiger}(x) ∧ \text{lion}(x)) → {(\text{hungry}(x) ∨ \text{threatened}(x)) → \text{attacks}(x)}]$

(B)

$∀x[(\text{tiger}(x) ∨ \text{lion}(x)) → {(\text{hungry}(x) ∨ \text{threatened}(x)) ∧ \text{attacks}(x)}]$

(C)

$∀x[(\text{tiger}(x) ∨ \text{lion}(x)) → {\text{attacks}(x) → (\text{hungry}(x) ∨ \text{threatened}(x))}]$

(D)

$∀x[(\text{tiger}(x) ∨ \text{lion}(x)) → {(\text{hungry}(x) ∨ \text{threatened}(x)) → \text{attacks}(x)}]$

Loading…