Рефераты - Афоризмы - Словари
Русские, белорусские и английские сочинения
Русские и белорусские изложения
 

ИСЧИСЛЕНИЕ_ВЫСКАЗЫВАНИЯ

Статья из раздела: «Философский словарь»

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

ref.by 2006—2019
contextus@mail.ru