試構(gòu)造一個(gè)有效的三段論形式,其大前提為特稱否定命題.并說明構(gòu)造的步驟和理由

數(shù)學(xué)人氣：827 ℃時(shí)間：2019-08-23 09:03:51

優(yōu)質(zhì)解答

大前提為特稱否定命題,根據(jù)三段論“兩個(gè)否定前提不能得出結(jié)論”的規(guī)則,小前提一定是肯定命題；根據(jù)“兩個(gè)特稱前提不能得出結(jié)論”的規(guī)則,小前提應(yīng)該是全稱命題.根據(jù)“前提中一個(gè)是否定的,結(jié)論必然是否定的”規(guī)則,結(jié)論應(yīng)該是否定命題；根據(jù)“前提中一個(gè)是特稱的,結(jié)論必然是特稱的”規(guī)則,結(jié)論應(yīng)該是特稱命題.
可見,這個(gè)三段論小前提為全稱肯定命題,結(jié)論為特稱否定命題.
其具體形式為：
大前提MOP
小前提MAS
結(jié) 論SOP
這是三段論第三格的OAO式.以特稱否定命題做大前提,只有這樣一種形式為有效式.