На множестве живых существ введены предикаты: R(x) “x – рыба” и А(x) “x – акула” D(x) «х – добрый».
Какая из приведенных формул исчисления предикатов имеет смысл «Все акулы -рыбы, и ни одна из акул не является доброй» :

  • ∀x ( R(x)&A(x)&(D(x) ⟶ ¬ A(x)))
  • ∀x ((А(х) ⟶R(x)) & (A(x) ⟶ ¬D(x)))
  • ∀x (R(x) ⟶ A(x))&( ¬D(x) ⟶A(x))
  • ∃x (R(x) & A(x)& ¬ D(x))
  • ∃x (R(x) &¬ A(x) ⟶D(x))
Для просмотра статистики ответов нужно залогиниться.