逻辑判断"S并不都是P"这句话是什么命题?是全称还是特称?是肯定还是否定?是sap,sep,sip,sop中的哪一个?

Question

逻辑判断"S并不都是P"这句话是什么命题?
是全称还是特称?是肯定还是否定?是sap,sep,sip,sop中的哪一个?

Answer 1

这个链接是我回答的另一个问题,与你这个有些联系,
对当方阵中的四种基本命题,都有固定的格式.自然语言中的有些说法并不符合这种格式,这时就得做一下转换.
句子中有【都】这个字,说明是【全称量词】——但只在这种形式下是,换了形式后就不一定了.所以,这句话的完整说法是：
【所有S】【不】【都】【是P】；
要变成标准的直言命题,就得调整【不】的位置.有两种办法：
（1）往前调：
【不】在【都】之前,还属于【全称量词】的控制范围.所以这是对量词的否定.将其移到量词前面时,不改变量词.所以结果就是：
【并非】【所有S】【都】【是P】；
或者省略【都】：
【并非】【所有S】【是P】；——【SAP】（的否定式）
这其实是标准直言命题的否定形式,我们还得作进一步转换.根据对当方阵中的“矛盾关系”,可以很容易得出结果：
【有的S】【不】【是P】；——【SOP】
（2）往后调：
【不】跳过【都】往后移动,超出了【全称量词】的控制范围,需要改变量词.这样,就直接得到最终结果了：
【有的S】【不】【是P】；——【SOP】