ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙИСЧИСЛЕНИЕ ЗАДАЧ

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

Найдено 1 определение:

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ (пропозициональное исчисление)

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

Найдено схем по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ — 0

Найдено научныех статей по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ — 0

Найдено книг по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ — 0

Найдено презентаций по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ — 0

Найдено рефератов по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ — 0