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

Русская Википедия - свободная энциклопедия

Ло́гические исчисле́ния — теория формальных логических вычислений. Эта теория иначе называется ещё математической или формальной логикой.

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

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