矛盾關係推理

矛盾關係推理是根據直言命題邏輯方陣中的矛盾關係而進行推演的直接推理。由邏輯方陣中的對當關係可知:全稱肯定命題( SAP)和特稱否定命題(SOP)、全稱否定命題( SEP)和特稱肯定命題(SIP)分別各是一對具有矛盾關係的命題,它們既不能同真,也不能同假。由此,人們就可作出如下直接推理:“SAP,所以,非SOP“;“非SAP,所以,SOP”;“SEP.所以,非SIP”;“非SEP,所以,SIP”:“SOP.所以,非SAP”;“非SOP,所以,SAP”;“sIP,所以,非SFP”;“非SIP,所以,SEP”。

例如:“並非所有閃光的東西都是金子,所以,有的閃光的東西不是金子。”+有的金屬是液體,所以,並非所有金屬不是液體”等等。矛盾關係推理都是有效推理,而且都是可逆的,即其前提判斷與結論判斷是等值的,因而是可以互推的。

相關詞條

熱門詞條

聯絡我們