Давайте потренируемся в переводе!
Переведите на естественный язык
А) ∃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, c y и больше не с кем
на мой взгляд а и б одинаковые формулы
в) если две акулы встретятся, то одна другую съест :)
А по пункту а) запись "Ваня дружит или с x, или с y" подходит?