復(fù)合命題的推理畅姊，有效推理形式的判定
根據(jù)可能的真值情況，命題可分三類
永真式（重言式）
例子：p蘊(yùn)涵p, p或者非p
永假式（矛盾式）
例子：p并且非p
可滿足式
單個(gè)命題
邏輯學(xué)無(wú)法判斷一個(gè)孤立的命題的真假
具體推理轉(zhuǎn)換為推理形式
自然語(yǔ)言轉(zhuǎn)換為用符號(hào)表示的推理形式
命題變?cè)夯久}符號(hào)凫乖，命題連接詞，括號(hào)
例子：
若今天是星期二，則今天有課
今天是星期二
————————
今天有課
以上轉(zhuǎn)化為推理形式去如下：
p->q
p
——
q
推理形式轉(zhuǎn)換為復(fù)合命題形式
回顧一下什么是有限推理形式：真前提一定能推導(dǎo)出真結(jié)論樱蛤，如果得出的是假的钮呀，說明不是有效推理形式
把上面那個(gè)例子轉(zhuǎn)換為命題形式
（p->q）^（p）->（q）
有效推理形式的判定
真值表法
能行（可行的）
用機(jī)械的方法，通過有限的步驟內(nèi)昨凡，一定能得到結(jié)果
步驟有幾行爽醋？有幾個(gè)基本命題，就有2的多少次方
步驟有幾列便脊？有幾個(gè)明天變?cè)陀袔琢?/p>
歸謬賦值法
1假設(shè)復(fù)合命題不是重言式蚂四，如果該命題變?cè)辽俅嬖谝唤M真值組合，說明命題是假
2若找不到哪痰，則復(fù)合命題是真的
存在無(wú)法歸謬的情況
比較上面2種方法：
真值表法適合簡(jiǎn)單的证杭，歸謬賦值法適合復(fù)雜的
總結(jié)有效推理形式的步驟
1把具體邏輯符號(hào)化為推理形式
2用蘊(yùn)涵，合取妒御，析取把推理形式轉(zhuǎn)化為復(fù)合命題形式
3用真值表法和歸謬賦值法判斷復(fù)合命題形式是否為重言式
