所谓定理,是用逻辑的方法判断为正确并作为推理的根据的真命题.
定理一定是真命题,真命题却不全是定理
定理可以直接用,是因为它已经定下来了 成为世界公认的东西
真命题只是真值为真的命题 虽然它也是符合逻辑的 但是真命题实在是太多了 不是所有真命题都能成为定理 如果没有成为定理的话就不能直接用 要推导 因为它没有被“定”下来
简单地说 就是大多数真命题的档次太低...没有被直接使用的资格...
其实这个问题困扰了我很久...我就是用上面的这套谬论说服我自己的...纯属个人看法...在这个问题上纠结没什么用...事实摆在那里...你不推导他不会给分...so...找个理由说服自己吧~