命题、定义、公理、定理、证明

判断一件事情的语句叫做（命题）.正确的语句叫做（真命题）,错误的语句叫做（假命题）.说明名词含义,使各个名词互不相混的语句叫做（定义）.我们学过的图形性质,都是（真命题）.有些真命题,它们的正确性是人们在长期的实践中总结出来的,并作为判断其他命题真假的根据,这样的真命题称为（公理）.有些命题,它们的正确性是用推理证实的,这样的真命题叫做（定理）.推理的过程叫做（证明）；交换一个命题的题设与结论,所得到的命题与原命题是（互逆）命题.原命题是真命题,它的逆命题（未必是）真命题.