一个逻辑问题,求S与P是何种外延关系

题目

一个逻辑问题,求S与P是何种外延关系
设下列四句中只有一句是真的.请问：哪一句是真的?S与P是何种外延关系?写出推导过程.
(1)有S是P.
(2)有S不是P.
(3)如果有S不是M,那么,有S是M.
(4)所有M都不是S.
.

答案

这个题目本身有问题,证明如下：第一步：(1)是特称肯定判断,(2)是特称否定判断,二者之间是下反对关系,不可同假,至少一真.据题意,只有一句为真,所以(3)、(4)均为假.第二步：(3)是充分条件假言命题,它为假,说明前件真而...