逻辑学中的换质法的一个疑问

题目

逻辑学中的换质法的一个疑问
换质法是将原来谓项换成谓项的负概念,例如SAP可以换成SE~P
但负概念是有一个范围的,就是说正概念P表示一类事物,而负概念~P就表示所有P以外的事物,这是不对的,P和~P总是针对一定论域而言,那么问题出来了：
看下面例子
SAP：所有人都不是金属
换质后是：所有人都是非金属
首先非金属和金属这个概念是对于元素这个论域而言的,所以“所有人都是非金属”这句话就是说所有人都是非金属元素,明显是错的.但根据换质法,上面两个句子都是对的.
这是为什么?难道换质法本身所说的负概念的论域是全总个体域?
回1楼，我的确是刚学逻辑，我已经把金岳霖的形式逻辑全看完了，是仔细研读的，所以才有这么些疑问。
我觉得你并没有理解我问的问题的意思，我问题的实质是，在形式逻辑中，是不是要求主项和谓项都处于一个全总个体域？
例如：所有人都不是苹果。
如果单看概念，人和苹果都处于不同论域，人的属是动物，苹果的属是水果，非苹果的属也是水果。照此说法的话，上面的句子换质后就成了所有人都是非苹果，那么这句话明显是错的，然而前一句话却是对的，这和换质后等值是矛盾的。
但如果按照整个句子来看，是否必须把它们都归为一个叫物质的属呢？就是说，人的属是物质，苹果和非苹果的属也是物质，那么换质后就成立了。
那么是不是必须要把它们归为一个更大的属呢？

答案

.请问你是刚学的逻辑吧,形式逻辑中确实有换质换位的方法,但你所说的问题本质上并不是这两个概念的问题,换质就是把联项取负然后谓项变质,这是针对命题本身来说的,而逻辑中的元素并非化学中的元素那么简单,你可以在一...