Переведите с естественного языка на язык логики предикатов. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Переведите с естественного языка на язык логики предикатов

Переведите с естественного языка на язык логики предикатов .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Переведите с естественного языка на язык логики предикатов: Если вчера Петров прогулял два занятия, то сегодня только одно.

Решение

Потяни, чтобы посмотреть

Введём предикатную переменную Dx, определённую на множестве целых чисел и принимающую значения D0 — «сегодня», D1 — «завтра», D-1 — «вчера» и т.д.; предикатную переменную Sx — «Петров прогулял занятиеx»

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу