Высказывательная переменная
Материал из Онтологическое моделирование
Высказывательная переменная - идентифицирует высказывание в логике, может принимать одно из значений: истина или ложь.
Синоним: Пропозициональная переменная
(Propositional Variable)
Источник: http://ru.math.wikia.com

