直言推理
直言推理按照其前提的數(shù)量可以分為直言直接推理和直言間接推理。直言直接推理就是根據(jù)一個(gè)直言命題推出一個(gè)新的直言命題的推理。
直言間接推理就是前提中有兩個(gè)或兩個(gè)以上的直言命題,并推出一個(gè)新的直言命題的推理。其中由兩個(gè)直言命題推出一個(gè)新的直言命題結(jié)論的推理,稱為直言三段論。
直言命題直接推理分為直言命題對當(dāng)關(guān)系推理、直言命題變形推理和直言命題負(fù)命題等值推理。
1. 直言對當(dāng)關(guān)系推理
直言命題對當(dāng)關(guān)系推理就是根據(jù)相同主、謂項(xiàng)的 A、E、I、O 四種命題之間的對當(dāng)關(guān)系,由一個(gè)已知的直言命題推出一個(gè)新的直言命題的推理。
2. 直言命題負(fù)命題及其等值推理
負(fù)命題就是否定一個(gè)命題后得到的命題;直言命題的負(fù)命題就是否定一個(gè)直言命題后得到的直言命題。例如:
“并非所有的城市都有地鐵”就是“所有的城市都有地鐵”的負(fù)命題。根據(jù)直言命題矛盾關(guān)系推理,我們可以輕松地推出直言命題負(fù)命題的等值命題。
并非所有的 S 都是 P↔ 有的 S 不是 P。
并非所有的 S 都不是 P↔有的 S 是 P。
并非有的 S 是 P↔所有的 S 都不是 P。
并非有的 S 不是 P↔所有的 S 都是 P。
直言命題的負(fù)命題轉(zhuǎn)化成等價(jià)命題方式可以總結(jié)為:去掉 “并非后 ”,
( 1)全稱變特稱,特稱變?nèi)Q。
2)肯定變否定,否定變肯定。