Tigers and lions attack if they are hungry or threatened. 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". 1. $∀x[(tiger(x) ∧ lion(x)) → \\{(hungry(x) ∨ threatened(x)) → attacks(x)\\}]$ 2. $∀x[(tiger(x) ∨ lion(x)) → \\{(hungry(x) ∨ threatened(x)) ∧ attacks(x)\\}]$ 3. $∀x[(tiger(x) ∨ lion(x)) → \\{attacks(x) → (hungry(x) ∨ threatened(x))\\}]$ 4. $∀x[(tiger(x) ∨ lion(x)) → \\{(hungry(x) ∨ threatened(x)) → attacks(x)\\}]$ * * * My attempt : The statement "Tigers and lions attack if they are hungry or threatened" means that if an animal is either tiger or lion at the same time. "Tigers or lions if they are hungry or threatened then attacked " So, option $(4)$ is correct. > Can you explain in English statements for each option?

$1$. Tigons and ligers attack if they are hungry or threatened

$2$. Tigers and lions are always hungry or threatened and always attack

$3$. Tigers and lions are hungry or threatened if they attack

$4$. Tigers and lions attack if they are hungry or threatened