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