Философский словарь
"ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ "

Главная - Философский словарь - буква И - ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ

будет выглядеть так: Что такое ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ

Философский словарь"ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ "

Философский словарь
"ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ "