命題變數propositional variable)係一種未知數,數值可以係「」或者「假」,可以攞嚟做一個真值函數嘅輸入。