Математическая логика основана на понятии простого высказывания. Простое высказывание – это утверждение, про которое можно сказать, истинно оно или ложно при данных условиях. Из простых высказываний с помощью логических операций строятся составные высказывания,  которые далее будут называться просто высказываниями. Сохраняющее эти операции сопоставление каждому высказыванию одного из значений «истина» или «ложь», обозначаемых соответственно 1 или 0, называется интерпретацией исчисления высказываний.

Классические логические задачи приводят к поиску интерпретации исчисления высказываний, при которой значения заданных высказываний известны. К таким задачам относятся, например, занимательные задачи об определении преступника на основе показаний, достоверность которых установлена.

В данной главе будет дано точное определение исчисления высказываний и доказаны теоремы о дедукции и полноте. Будет введено понятие формальной теории и доказана равносильность исчисления высказываний теории, основанной на аксиомах Клини.

Рекомендуемая литература: / 1, 5, 6, 9,10, 13, 17, 18, 22 /.