Высказывательная переменная

Материал из Онтологическое моделирование

Перейти к: навигация, поиск

Высказывательная переменная - идентифицирует высказывание в логике, может принимать одно из значений: истина или ложь.

Синоним: Пропозициональная переменная

(Propositional Variable)

Источник: http://ru.math.wikia.com

Личные инструменты