一个逻辑的问题

来源：百度知道编辑：UC知道时间：2024/05/13 17:42:16

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

第一句是真的！s=p
过程：假设1是真 s=p 2,s≠p为假（满足），3，p=m≠s为假（满足），4,
m≠s 在3中已判断出m≠s为假！即4也为假（满足）
同理假设2为真，1为假，3，4推出来皆为s≠p 所以真话只有一句否掉！
假设3为真，2，3，4也是s≠p否掉！
同理假设4为真，也一样！