所有s不是p能推出网！
所有s不是p能推出s吗
所有s不是p能推出r吗
所有的s都不是p推出
所有s是p能推出有的s是p吗
所有s都不是p推出命题
若所有s不是p,则s和p在外延间的关系是
所有s不是p这个命题形式的逻辑常项是
所有s是p与有的s不是p
所有s都不是p的逆否命题
所有s不是p进行变形推理
