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