Вы здесь

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

3 сообщения / 0 новое
Последнее сообщение
Аватар пользователя Мария Перминова
Мария Перминова
ТУСУР
Не в сети
Переведите на формальный язык (по главе 4)
  1. Каждого кто-то любит
  2. Каждый кого-то любит
  3. Зайцы не всегда глупее лис
  4. Так как 60 делится на 2, 3, 4, 5 и 6, то 60 делится на любое натуральное число
  5. Две прямые параллельны тогда и только тогда, когда они одновременно пересекают третью либо не пересекают ее
Аватар пользователя MOSFET
MOSFET
Не в сети

∃∀⊃∨≠

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))))

Аватар пользователя Надежда
Надежда
ТУСУР
Не в сети

Очень грамотно. Спасибо.