Вопросы и ответы на экзамен по математической логике

В 1935 г. возникло такое положение: свойства, обнаруженные

Теоремы для двух и трех переменных 7. Коммутативные

В алгебре логики введена система аксиом, определяющая

Булевыми функциями (или функциями алгебры логики или

Всякий алгоритм однозначно ставит в соответствие исходным

Формула логики предикатов является только схемой высказывания.

      Классическое определение

Формальные системы — это системы операций над

Наряду с алфавитом и правилами построения сложных высказываний —

При изучении формальных теорий мы имеем дело с двумя