Вы здесь

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

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

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

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

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

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

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

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

Аватар пользователя l-ka2003
l-ka2003
Не в сети

Кванторы и связки будем прописывать словами, там, где их нет в этом редакторе.

А) Пусть А(x,y) - "человек x любит человека y". Тогда  "для любого" y "существует" x (A(x,y)).

Б) Пусть А(x,y) - "человек x любит человека y". Тогда  "для любого" x "существует" y (A(x,y)).

В) Пусть A(x,y) - "заяц x всегда глупее лисы y". Тогда  "для любого" y "существует" x ( "не" A(x,y)).

Г) Пусть A(n) - "60 делится на n, n€N". Тогда "для любого" n (A(2)&А(3)&А(4) А(5)&А(6)→А(n)).

Д) Пусть А(x,y) - "прямые x,y параллельны", В(x,z) - прямые x,z пересекаются". Тогда "для любых" x,y "существует" z (A(x,y)~B(x,z)&B(y,z)V¬B(x,z)&¬B(y,z))