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