Логика предикатов

Логика предикатов с одним переменным . . . . . . . . . . . . . . . . . . . . . . . . . . . .5.Предикатов с e-символом и предикатом существования.Её решение и является целью данной курсовой работы.Умея решать вопрос о выполнимости, мы тем самым сможем решать и вопрос об истинности любой формулы.Современные исследования пролили свет на природу этих затруднений.Для некоторых частных типов формул, однако, проблема разрешимости решается.Ложна, и наоборот.Невыполнима, и обратно.Министерство Образования Российской Федерации.Выполнил: студент гр. Ю-993.