ТулГУ Специальные разделы высшей математики. Часть 2 Отчет по практическим работам

ПР №3. Нормальные формы формул логики высказываний

1. Привести формулы к ДНФ (с помощью тождественных преобразований) и, если можно, упростить:

(X → Y) → (Y → X);

ПР №4. Представление задач в логике предикатов

1.Представьте на языке логики предикатов следующие предложения русского языка:

а) не все студенты любят математику и физику;

2. Запишите следующие условные предложения русского языка в виде правил логики предикатов:

а) если вы любите детективы, то сегодня вечером можете посмотреть прекрасный фильм из этой серии;

3.Сформулируйте на языке логики предикатов аксиомы, описывающие отношения родства между

а) внуками и бабушками;

Задания нужно посмотреть в ЛК, доступ предоставим

Теоретический материал прикрепили