普通命题成为定理的条件

来源：百度知道 编辑：UC知道 时间：2024/06/28 00:15:57
这是我们逻辑学老师提出的一个考试题,而且是一道大题.我真不知道怎么分析了,谢谢大家帮忙呀!

1 真命题
2 有用（可以简化“计算”）
3 常用
4 基于公理之上
5 可以被证明

大家都公认的称为公理，那我觉得定理就应该是可以由公理推出或者显而易见的。

我学逻辑的时候怎么没发现有这样的问题啊
定理也是命题，只是冠以的名字不同罢了