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