命題形式

命題形式(propositional forms)數理邏輯術語.是由命題變元p,9,r,…和命題聯詞二(非)，八(與),V(或)，~(若……則……)，~(若且唯若)按下列規則形成的公式:

1.任何命題變元是命題形式.

2.如果A和B是命題形式，則(}A>, (A八

B>, (AV B>, (A}B)和(AHB)都是命題形式.

命題是形式邏輯研究的主要對象，但是一般不研究具體的命題，而是研究具體命題符號化後的形式，即命題形式.以P，q，二，…表示簡單命題，而以門，八，V，~，~表示命題聯詞，這樣就可將簡單命題變成複合命題.例如，“小王聰明但不用功”和“如果明天天氣好，則我去公園或去看電影”可形式化成為:p八(門婦和r} (s V t).其中p表示小王聰明，9表示小王用功，r表示明天天氣好，、表示我去公園，!表示我去看電影.注意，當一個複合命題被形式化後，剩下的只是它的赤裸裸的邏輯骨架.人們正是通過這些邏輯骨架分析推理，找出普遍適用的推理規則或規律.