Вы здесь

Глава 4. Переведите на формальный язык

2 сообщения / 0 новое
Последнее сообщение
Аватар пользователя mslyubov
mslyubov
Ассистент преподавателя
Не в сети
Глава 4. Переведите на формальный язык

А) Каждого кто-то любит.

Б) Каждый кого-то любит.

В) Зайцы не всегда глупее лис.

Г) Так как 60 делится на 2, 3, 4, 5 и 6, то 60 делится на любое натуральное число.

Д) Две прямые параллельны тогда и только тогда, когда они одновременно пересекают

третью либо не пересекают её.

Аватар пользователя Ilya
Ilya
Не в сети

А)Ɐxꓱy(yLx), где L – любит

Б)Ɐxꓱy(xLy)

В)ꓱxy(Z(x)&L(y)&﹁G(x,y)), где Z(x) – x заяц, L(x) – x лиса, G(x,y) – x глупее y

Г)(D(60,2)&D(60,3)&D(60,4)&D(60,5)&D(60,6)) ⊃ Ɐx(xN ⊃ D(60,x), где D(x,y) – x делится на y, N – натуральные числа

Д)P(a,b)~Ɐc((X(a,c)&X(b,c))ꓦ(﹁X(a,c)& ﹁X(b,c))), где P(a,b) – прямая a параллельна b, X(a,b) – прямая a пересекает b