Tigers and lions attack if they are hungry or threatened.
Suppose a condition where tiger or lion is neither hungry nor threatened which implies it does not attack => This condition is satisfied and follows the above statement.i.e its TRUE and possible
Here hungry(x)=false
threatened(x)=false
and attacks(x)=false
Option B) = ∀x[(tiger(x) ∨ lion(x)) → {(hungry(x) ∨ threatened(x)) ∧ attacks(x)}]
Complete statement return false i.e its not possible which contradicts with original statment.
Option D) = ∀x[(tiger(x) ∨ lion(x)) → {(hungry(x) ∨ threatened(x)) → attacks(x)}]
Here its true which support the given statement