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