Давайте потренируемся в переводе!
Переведите на естественный язык
А) ∃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 – пожирать.
Приводите свои варианты перевода.