Переведите на формальный язык (по главе 4)

∃∀⊃∨≠

1. U = люди, D(x, y) - x любит y.
∀y∃x(D(x, y))

2. U = люди, D(x, y) - x любит y.
∀x∃y(D(x, y))

3. U = животные, A(x) - x заяц, B(x) - x лиса, D(x, y) - x глупее y.
∃x∃y(A(x) & B(y) & ¬D(x, y)) - "существует хотя бы один заяц, который умнее хотя бы одной лисы".
Как вариант - "существует хотя бы один заяц, который умнее всех лис".
∃x∀y((A(x) & B(y)) ⊃ ¬D(x, y))

4. U = натуральные числа, D(x, y) - x делитель y.
(D(2, 60) & D(3, 60) & D(4, 60) & D(5, 60) & D(6, 60)) ⊃ ∀xD(x, 60)

5. U = прямые на плоскости, D(x, y) - x параллельна y. Следовательно, ¬D(x, y) - пересекающиеся прямые.
∀x∀y(D(x, y) ~ ∀z((¬D(x, z) & ¬D(y, z)) ∨ (D(x, z) & D(y, z))))