-
命題形式
鎖定
命題形式(propositional forms)數理邏輯術語.是由命題變元p,9,r,…和命題聯詞二(非),八(與),V(或),~(若……則……),~(當且僅當)按下列規則形成的公式:
- 中文名
- 命題形式
- 外文名
- propositional forms
1.任何命題變元是命題形式.
2.如果A和B是命題形式,則(}A>, (A八
B>, (AV B>, (A}B)和(AHB)都是命題形式.
命題是形式邏輯研究的主要對象,但是一般不研究具體的命題,而是研究具體命題符號化後的形式,即命題形式.以P,q,二,…表示簡單命題,而以門,八,V,~,~表示命題聯詞,這樣就可將簡單命題變成複合命題.例如,“小王聰明但不用功”和“如果明天天氣好,則我去公園或去看電影”可形式化成為:p八(門婦和r} (s V t).其中p表示小王聰明,9表示小王用功,r表示明天天氣好,、表示我去公園,!表示我去看電影.注意,當一個複合命題被形式化後,剩下的只是它的赤裸裸的邏輯骨架.人們正是通過這些邏輯骨架分析推理,找出普遍適用的推理規則或規律.
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:6次歷史版本
- 最近更新: 水你喝不喝