Исчисление логическое

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ - синтаксически построенная логическая теория, формальная система символической логики, которая воспроизводит и систематизирует в рамках некоторого формализованного языка процедуры дедукции, позволяющие осуществлять обоснование логических законов без использования семантических понятий — истинности, выполнимости, интерпретации, модели и др. Первый этап в построении И.л. — задание формализованного языка: выделение множества исходных символов (алфавита) и эффективные определения правильно построенных выражений, в том числе формул языка. Далее постулируется совокупность так называемых правил преобразования — дедуктивных средств И.л., которые представляют собой строгие синтаксические процедуры оперирования с последовательностями символов...