①经过人类长期的反复实践，我们都同意不需要进一步证明这个命题，如：如果a=B，B=C，那么a=C、
②正确的推论是对定理的补充和完善（当然也必须是真命题），这是社会上大多数人普遍接受的观点。
命题与语句的区别是什么？首先，命题是陈述句，祈使句、疑问句、感叹句不是命题。
第二是语句的内容可以判断是真是假，是真是假，不能是真是假，也不能是真是假。
与事实一致的陈述为真，与事实不一致的陈述为假。
也就是说，一个命题有两个可能的值（也称为真值），它们是真或假，并且只能取其中一个。
通常，大写字母T表示真值为真，f表示真值为假，有时1和0分别表示。
因为只有两个值，所以这种命题逻辑称为二进制逻辑。
我们把这种非真、非必要、非伪命题的逻辑称为古典逻辑的研究对象，但也有人反对这种命题观，认为有些命题既不真也不假，如直觉逻辑、多值逻辑等。
命题是什么意思？一般来说，在数学中，我们把那些可以用语言、符号或公式来判断是非的陈述称为命题。真的句子叫做真命题，假的句子叫做假命题。
从真命题（公理或其他证明定理）出发，通过逻辑推导证明是正确结论的命题或公式，如“平行四边形的对边相等”是平面几何中的一个定理。
一般来说，在数学中，只有重要或有趣的语句才叫做定理。证明定理是数学的中心活动。一个相信是真的但没有被证明的数学陈述是一个猜想。当它被证明是真的时，它就是一个定理。它是这个定理的来源，但不是唯一的来源。从其他定理导出的数学语句可以成为无需证明的定理。
如上所述，一个定理需要一些逻辑框架来形成一组公理（公理系统）。同时，推理过程允许从公理中导出新的定理和其他先前发现的定理。
在命题逻辑中，所有被证明的语句都称为定理。判断事物的句子叫做命题。
正确的陈述称为真命题，错误的陈述称为假命题。
一个解释名词含义的句子叫（定义），这样名词就不会互相混淆。
我们学到的所有图形属性都是（真实命题）。
一些真命题，是人们在长期实践中总结出来的正确性，作为判断其他命题真理性的依据。这样的真命题叫做（公理）。
一些通过推理证明其正确性的命题称为真命题。
推理过程称为（证明）；通过交换命题和命题结论，得到的命题和原始命题是（相互的）命题。
原始命题是真命题，其逆命题（不一定）是真命题。
命题和定理有啥区别？不可否认，定义是已定义的结论和结果。一般来说，一个能清楚地定义一个名称或术语含义的句子叫做名称或术语的定义。
数学中的定义、公理、公式、性质、规则和定理都是数学命题。这些都是用推理方法判断命题真实性的基础。一般来说，在数学中，我们称之为能在一定范围内用语言、符号或公式表达，并能判断命题真假的语句。
命题是一个条件+一个结论，命题是一个已知的事物，结论是一个从已知事物衍生出来的事物。这个结论是在上述条件的条件下得出的，但不一定是正确的。对某一事物作出正确或错误判断的句子称为命题。
