Друзья, а давайте поработаем в качестве переводчиков!
Переведите на формальный язык
А) Каждого кто-то любит.
Б) Каждый кого-то любит.
В) Зайцы не всегда глупее лис.
Г) Так как 60 делится на 2, 3, 4, 5 и 6, то 60 делится на любое натуральное число.
Д) Две прямые параллельны тогда и только тогда, когда они одновременно пересекают третью либо не пересекают её.
Приводите свои варианты перевода.
А) Универсум: множество людей
– «x любит y»
Б) Универсум: множество людей
– «x любит y»
В) Универсум: множество животных
– «x является зайцем»
- «x является лисой»
– «x глупее y»
Г) Универсум: множество натуральных чисел
– «x делится на y»
Д) Универсум: множество прямых
– «x параллельна y»
- «x пересекает y»
А) Универсум: множество людей
P(x,y) – «x любит y»
∀x∃y(P(x,y))
Б) Универсум: множество людей
P(x,y) – «x любит y»
∀y∃x(P(x,y))
В) Универсум: множество животных
P(x) – «x является зайцем»
Q(x) - «x является лисой»
F(x,y) – «x глупее y»
∃x∃y(P(x)∧Q(y)∧¬F(x,y))
Г) Универсум: множество натуральных чисел
P(x,y) – «x делится на y»
(P(60,2)∧P(60,3)∧P(60,4)∧P(60,5)∧P(60,6))→∀x(P(60,x))
Д) Универсум: множество прямых
P(x,y) – «x параллельна y»
Q(x,y) - «x пересекает y»
∀x∀y(P(x,y)~∀z((Q(x,z)∧Q(y,z))∨(¬Q(x,z)∧¬Q(y,z))))
Дополнение: я перепутала ответы A) и Б) (их нужно поменять местами)
Все достаточно логично
Уважаемый модератор, вы хотя бы говорите у кого правильное решение. Иначе какой от этого всего толк?
Простите:-) Стараемся отвечать. Отвечаем