命題變量

在數理邏輯中 ， 命題變量 （ 也稱命題變元 、 句子變量 ） 是要麼爲真要麼爲假的變量 。 命題變量是命題公式的基本構件板塊 ， 用於命題邏輯和更高的邏輯中 。 邏輯中的公式通常是由一些命題變量 、 一些邏輯連接詞和一些邏輯量詞遞歸地建立的 。 命題變量是命題邏輯的原子公式 ， 通常用大寫字母表示 ， 如 、 、 。 在一個給定的命題邏輯中 ， 我們可以按如下方式定義公式 ： 所有命題變量是公式 。 給定公式 ， 否定 是公式 。 給定兩個公式 和 ， 和一個二元連結詞 ， 則 是公式 。 通過上述方式 ， 命題邏輯的所有公式都可以通過作爲基本單位的命題變量構造出來 。