ТЕМА 7 АЛГЕБРА ЛОГИКИ ПРЕДИКАТОВ

Основные понятия и определения алгебры логики предикатов.

Кванторные операции над предикатами.

Формулы логики предикатов.

Равносильные преобразования формул.

 

Напомним, что под высказыванием мы понимаем предложение, о котором можно сказать одно из двух: истинно оно или ложно. Понятие предиката обобщает понятие высказывания. Теория предикатов представляет собой более тонкий инструмент, по сравнению с теорией высказываний. В настоящей главе рассматривается основные положения теории алгебры предикатов.