Давайте потренируемся в переводе!
Переведите на естественный язык
А) ∃x, y ∀z (D(Ваня, z) ⊃ x=z ∨ y=z), где D – дружит
Б) ∃x, y (D(Ваня, x) & D(Ваня, y) & ∀z (z ≠ x & z ≠ y ⊃ ¬ D(Ваня, z))) , где D – дружит.
В) ∀x, y (A(x) & A(y) & V(x, y) ⊃ P(x, y) ∨ P(y, x)), где A – быть акулой, V – встречаться, P – пожирать.
Приводите свои варианты перевода.
А) Из всех людей, с кем Ваня мог бы подружиться, он выбрал двоих - x и y.
Б) Кроме двоих - x и y - Ваня ни с кем больше не дружит.
В) Если пара любых акул встречается друг с другом, то первая из них пожирает вторую и/или наоборот.
А) Ваня дружит с x и y.
Б) Ваня дружит только с x и y, и ни с кем больше.
В) Если две акулы встретятся, то одна съест другую.
А) У Вани только два друга
Б) У Вани не больше двух друзей
В) Если две акулы встретятся, какая-то из них сожрёт другую