命題形式

命題形式(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表示明天天氣好,、表示我去公園,!表示我去看電影.注意,當一個複合命題被形式化後,剩下的只是它的赤裸裸的邏輯骨架.人們正是通過這些邏輯骨架分析推理,找出普遍適用的推理規則或規律.

相關詞條

熱門詞條

聯絡我們