- ∃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 — пожирать
Вы здесь
Переведите на естественный язык (по главе 4)
13 марта, 2017 - 06:57
#1
Переведите на естественный язык (по главе 4)
1. У Вани не больше чем два друга.
2. У Вани один или два друга (x и y могут совпадать - тогда один).
3. При встрече двух акул одна непременно сожрет другую. (Интересно еще обсудить истинность предикатов V(x, x) и P(x, x), а также особенности процесса при истинной импликации V=0 и P=1.)
Так давайте обсудим. Начинайте