所有S是P“是A命题（全称肯定）,“所有s都不是p”是E命题（全称否定）,二者是反对关系。逻辑方阵明确标出二者关系，如图
是的，“所有s都是p”与“所有s都不是p”是反对关系。
“所有S是P“是A命题（全称肯定），“所有s都不是p”是E命题（全称否定），二者是反对关系
