逻辑学第五章

- 第五章 语用逻辑初步 - 先讨论一个换位法和换质法推理： 所有的猫科动物都不是植物。 →所有的植物都不是猫科动物。 →所有的植物都是非猫科动物？？？