命題形式

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

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

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

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