Question

普通逻辑学问题

所有s是非p为假，使用欧拉图表示s与p的各种外延关系，急求高手解答

Answer 1

所有s是非p先换质成“所有S都不是P"，它为假，根据对当关系，“有S是P”为真。那么，S与P的关系可能有4种，分别是全同（同一）、包含（属种）、包含于（种属）、交叉。
在这里无法画出欧拉图，你可以自己画出：S与P分别代表两个圈，全同（同一）关系是两个圆圈重叠，包含（属种）关系是S圈大，P圈小，P在S之中。包含于（种属）关系与上者恰好相反。交叉关系是S与P两个圈交叉。