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

Символ формального языка, служащий для обозначения произвольного высказывания. C. К. Соболев.

Значения в других словарях

1. Пропозициональная переменная — Переменная для высказываний, переменная, область значений которой состоит из двух т. н. истинностных значений: «истина» и «ложь» (а отнюдь не из истинных и ложных высказываний, как даёт повод думать второй из приведённых терминов).  Большая советская энциклопедия