В формулах логики предикатов используются две связки:<br />Связка ∀- квантор всеобщности;<br />Если P(x) - одноместный предикат, то запись ∀xP(x) означает, что свойство P выполняется для всех предметов из предметной области.<br />Связка ∃ - квантор существования.<br />∃ xP(x) означает, что существует по крайней мере один предмет, обладающий свойством P.<br />На множестве живых существ введены предикаты: R(x) “x – рыба”,<br />А(х) «х – акула» и D(x) « х- добрый».<br />Какая из приведенных формул исчисления предикатов имеет смысл<br />«Все рыбы кроме акул добры»: ∀x (R(x) & D(x)) ⟶ ∀x (A(x)&¬D(x)), ∀x (R(x) & ¬A(x) ⟶ D(x)), ∀x (R(x) ⟶ ∃x (¬D(x)&A(x) ), ∀x (R(x)∨¬A(x)∨D(x) ), ∃x R(x) & ¬ A(x)&D(x)