ПРОПОЗИЦИОНАЛЬНАЯ ПЕРЕМЕННАЯ, переменная для высказываний, переменная, область значений к-рой состоит из двух т. н. истинностных значений: "истина" и "ложь" (а отнюдь не из истинных и ложных высказываний, как даёт повод думать второй из приведённых терминов). Символы, употребляемые в качестве П. п., нужны, в частности, для описания исчисления высказываний и др. систем математич. логики. См. Переменная и лит. при этой статье.
Смотреть больше слов в «Большой советской энциклопедии»
переменная для высказываний, переменная, область значений которой состоит из двух т. н. истинностных значений: «истина» и «ложь» (а отнюдь не и... смотреть
символ формального языка, служащий для обозначения произвольного высказывания. C. К. Соболев.