逻辑学：若SEP为真,则SIP为：.

逻辑学：若SEP为真,则SIP为：.
逻辑学：若SEP为真,则SIP为：.

逻辑学：若SEP为真,则SIP为：.
假.
SEP 即 所有S不是P,是全称否定命题.SIP即 有S是P,是特称肯定命题.二者具有矛盾关系,不可同真,也不可同假.如：“所有知识都不是上帝给的”为真,可以推出“有的知识是上帝给的”为假.