Математическая логика. Конспект лекций

Формула, в которой из логических символов встречаются

В теории  £ импликация тесно связана с выводимостью.

Множество теорем теории £ бесконечно. Рассмотрим некоторые из них.

Пусть множество булевых функций от n переменных.

Задачу алгоритмической разрешимости можно сформулировать

Пусть формулы А и В имеют одно и то же множество свободных

Для применения правила резолюции нужны контрарные литералы

Опишем формальную теорию исчисления высказываний.

Основные положения МР (выводы) 1. Предметная область

Пусть   — множество булевых функций.