换质位法的一个疑惑

问题描述:

换质位法的一个疑惑
根据换质位法的一个公式:
SAP -> SE~P -> PES -> PA~S -> SI~P -> SOP
(其中~表示非的意思)
那么我可以由“所有金属都是有光泽的” 推出“有些非金属是无光泽的”
但是问题来了,因为如果世界上所有东西都是有光泽的话,那么“有些非金属是无光泽的”明显就错了.
但上面SAP -> SOP的推理形式却是正确的,它代换任何具体概念都应该是正确的,可是为什么会出现这个矛盾呢?

所有的金属都是有光泽的所有的金属都不是无光泽的有些无光泽的不是金属有些无光泽的是非金属有些非金属是无光泽的有些非金属不是有光泽的以上没有任何逻辑错误问题在于“如果世界上所有东西都是有光泽的话”这是个伪...