В формулах логики предикатов используются две связки: Связка - Ответ на вопрос по ИИС №1036501

Вопрос

В формулах логики предикатов используются две связки:
Связка Ɐ - квантор всеобщности;
Если P(х) - одноместный предикат, то запись ⱯxP(x) означает, что свойство Р выполняется для всех
предметов из предметной области.
Связка 3 - квантор существования.
3 xP(x) означает, что существует по крайней мере один предмет, обладающий свойством Р.
На множестве живых существ введены предикаты: R(x) "х - рыба",
А(х) «х - акула» и D(x) « x- добрый».
Какая из приведенных формул исчисления предикатов имеет смысл
«Все рыбы кроме акул добры»:

• ⱯX (R(x) & -A(x) ->D(x))
• ⱯX (R(x) & D(x)) -> vx (A(x)&-D(x))
• ⱯX (R(x)V-A(x)vD(x))
• 3x R(x) & - A(x)&D(x)
• ⱯX (R(x) -> ∃x (-D(x)&A(x))

Ответ