Пропозіциональная змінна , змінна для висловів, змінна, область значень якої складається з двох т.з. істиннісних значень: «істина» і «брехня» (а зовсім не з дійсних і помилкових висловів, як дає привід думати другою з приведених термінів). Символи, що вживаються як П. п., потрібні, зокрема, для опису числення висловів і ін. систем математичної логіки.
