條件推理樹:條件推理樹的原理[朗讀]

如果p,那麼q」可以轉換為:「只有非p,才非q」.這表明p是q的充分條件,而非p是非q的必要條件.用真值表來檢驗以上轉換的命題,就可以證明它們是等值的.______pqpqp→qp←qp←qp→q++--+++++--+--++-++-++----++++++____從真值表可以看出:p→q≡p←qp←q≡p→q。

事件樹是由起因推理結果的過程,是正向邏輯推理過程.而事故樹則是由結果分析原因,最終得到影響事故發生的根本事件,是一個逆向邏輯推理過程。

根據充分條件命題的邏輯性質進行推理.充分條件命題的邏輯性質是:前件真則後件必真,後件假則前件必假;前件假,後件可真可假,後件真,前件可真可假.因此充分條件推理的規則有兩條:1、肯定前件就要肯定後件,否定後件就要否定前件;2、否定前件不能否定後件;肯定後件不能肯定前件.這就決定了充分條件推理有兩種有效式,即肯定前件式和否定後件式。

合情推理是由特殊到一般或特殊到特殊的推理,演繹推理是由一般到特殊的推理.從推理的結論來看,合情推理的結論不一定正確有待證明;演繹推理得到的結論一定正確.演繹推理是證明數學結論,建立數學體系的重要思維過程.數學結論、證明思路的發現,主要靠合情推理、在解決問題的過程中,合情推理有助於探索解決問題的思路、發現結論,演繹推理用於證明結論的正確性。

a→b,b不能推出a,a是b的充分條件b→a,a不能得到b,b是a的必要條件簡單地,在腦海里建立一個從左到右,左可以推出右或右可以推出左,的概念。