ТулГУ Практическая работа по дисциплине "Специальные разделы высшей математики" Вариант №7

ТулГУ Практическая работа

по дисциплине "Специальные разделы высшей математики"

Вариант №7

Нормальные формы формул логики высказываний

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

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

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

 Живет в городе охотник, который знаком со всеми мужчинами-охотниками этого города;

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

ночью все кошки серые

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

 дядями и племянниками;