有的金属是导体，所有的绝缘体都不是导体，所以，有的金属不是导体，请写出推理形式，判断是否有效

判断无效，金属由于有可以自由移动的电子，它一定是导体。
因为

“所有的绝缘体都不是导体”+“有的金属是绝缘体”=“有的金属不是导体”
而
“有的金属是导体”并不等于“有的金属是绝缘体”
所以上述推导是无效的。