Исчисление Высказывания (пропозициональное Исчисление)

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