真命题的定义（命题的定义）

判断一件事情的语句叫做（命题）。

正确的语句叫做（真命题），错误的语句叫做（假命题）。

说明名词含义，使各个名词互不相混的语句叫做（定义）。

我们学过的图形性质，都是（真命题）。

有些真命题，它们的正确性是人们在长期的实践中总结出来的，并作为判断其他命题真假的根据，这样的真命题称为（公理）。

有些命题，它们的正确性是用推理证实的，这样的真命题叫做（定理）。

推理的过程叫做（证明）；交换一个命题的题设与结论，所得到的命题与原命题是（互逆）命题。

原命题是真命题，它的逆命题（未必是）真命题。