命題變數

命題變數（英文：propositional variable）係一種未知數，數值可以係「真」或者「假」，可以攞嚟做一個真值函數嘅輸入。