На множестве живых существ введены предикаты:<br />P(x) “x – птица” и L(x) “x – летает”.<br />Какая из приведенных формул исчисления предикатов имеет смысл «Не все птицы летают»: P(x) & ¬ ∀x L(x), P(x) ⟶ ¬ ∀x L(x), P(x)&¬L(x), ¬ ∀x (P(x) ⟶ L(x)), ∃x (P(x) ⟶ L(x))