исчисление высказываний

Исчисление высказываний (пропозициональное исчисление) - логическая система, формализующая рассуждения, основанные на истинностных отношениях между высказываниями, к-рые рассматриваются в отвлечении от их внутренней субъектно-предикатной структуры. Классическое И. в. непротиворечиво (Непротиворечивость аксиоматической теории), обладает полнотой (Полнота аксиоматической теории). О неклассическом И. в. см. Конструктивная логика, Многозначная логика.

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.