Логическое исчисление
Материал из Википедии — свободной энциклопедии
Ло́гические исчисле́ния — теория формальных логических вычислений. Эта теория иначе называется ещё математической или формальной логикой.
Исторически логические исчисления были разработаны для теоретической формализации процесса доказательства в различных теориях.
Примерами наиболее часто используемых исчислений являются исчисления высказываний и исчисления предикатов.