Классические логические исчисления.

Понятие “исчисление” является экспликацией интуитивных понятий “вывод”, “доказательство”, “оперирование”, “вычисление”.

В математической логике исчисление является частным случаем формальных (дедуктивных) систем F.S. вида <L, D>, задаваемое правилами синтаксиса (образования) языковых выражений и правилами построения выводов (дедуцирования). В том случае, если в исчислении не выделяют аксиомы, то говорят о натуральных исчислениях.

Ниже будем изучать классические исчисления высказываний (И.В.) и предикатов (И.П.) как гомоморфные отображения (модели) логики высказываний и логики предикатов.