Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ (ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ):
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ (ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ) - — логическая система, формализующая рассуждения, основанные на структуре сложных высказываний в отвлечении от внутренней структуры элементарных высказываний. Классическое И. в. непротиворечиво (Непротиворечивость аксиоматической теории), обладает полнотой (Полнота аксиоматической теории). О неклассическом И. в. см. Конструктивная логика. Многозначная логика.
Похожие на ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ (ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ) слова / понятия:
ИШИТВА
ИШВАРА
ИСИДА ЭЙИТИРО (1903-1968)
ИСКЛЮЧЕННОЕ ТРЕТЬЕ
ИСКУШЕНИЕ
ИСМАИЛИЗМ
ИССЛЕДОВАНИЕ, В ШИРОКОМ СМЫСЛЕ
ИСТОК И ТАЙНА НЕМЕЦКОЙ РЕФОРМАЦИИ
ИСТОРИЧЕСКОЕ БЕССОЗНАТЕЛЬНОЕ
ИСТОРИЧЕСКОЕ И ЛОГИЧЕСКОЕ