“如果该物是金属，该物就会导电，经检验，该物不导电，所以该物不是金属”。这种推理所使用的模式称为