充分條件假言命題推理:假言命題推理口訣[朗讀]

充分條件假言推理是根據充分條件假言命題的邏輯性質進行的推理.充分條件假言推理有兩條規則:規則1:肯定前件,就要肯定後件;否定前件,不能否定後件.規則2:

充分必要條件假言推理是根據充分必要條件假言命題的邏輯性質進行的推理.充分必要條件假言推理有兩條規則:規則1:肯定前件,就要肯定後件;肯定後件,就要肯定。

要理解這個問題,首先要明白充分條件假言命題的邏輯性質.充分條件假言命題是指前件是後件的充分條件,所謂充分條件是指:前件真,後件必真;前件假,後件可真可假.反過來,後件真,前件可真可假;後件假,前件必假.也意味著前件真而後件假或者後件假而前件真是不可能的.所以,充分條件假言推理有兩種有效式:肯定前件式和否定後件式.肯定前件式是指「肯定前件就要肯定後件」;否定後件式是指「否定後件就要否定前件」。

必要條件假言命題,其表達公式為:只有p,才q或p←q.前件後件邏輯值例子真真真只有來電燈才亮真假真來電了電燈沒亮假真假沒來電燈亮了假假真沒來電燈沒亮。

充分條件假言命題和充分條件假言推理密切聯繫,所謂充分條件假言推理是指前提中有充分條件假言命題,並且根據充分條件假言命題的邏輯性質進行推演的推理形式。