没有p是m,有s是m所以有s不是p.这一推理的形式是第二格的eio式为什么啊?求逻辑学大神解答 数学
网友回答
【答案】 直言三段论中的推理格的划分是以中词在前提中的位置为标准的.中词在作大前提的主词和小前提的谓词时是第一格,作为大小前提谓词为第二格,作为大小前提主词的为第三格,作为大前提谓词和小前提主词的为第四格.所谓大前提是出现了结论中的主词的前提,小前提是出现了结论中谓词的前提.所以,在你这个例子中：大前提为：有s事m（I命题）,小前提为：没有p是m（E命题）.m在大前提中担任谓词,在小前提中也担任谓词,因此,根据格的划分标准是第二格EIO（EIO是规定的叫法）