Ценность истины

Значение истинности в логике и математике указывает на отношение пропозиции к истине.
В некоторых языках программирования выражения могут быть вычислены в контексте логического типа данных.
Классическая логика имеет двузначную логическую область с истиной (1 или verum) и ложью (0 или falsum).
Интуиционистская и конструктивная логика присваивают значение истинности утверждениям только при наличии конструктивного доказательства.
Многозначные логики допускают более двух значений истинности с внутренней структурой.
Логические системы могут интерпретироваться как функции истинности, а не основываться на оценке истинности.
Интуиционистская теория типов использует типы вместо истинностных значений, а теория топоса использует значения истинности в особом смысле.

Полный текст статьи:

Истинное значение — Википедия