真命题是一种逻辑学术语一般的，在数学中把用语言，符号或式子表达的，任何命题的真值都是唯一的，称真值为真的命题为真命题。定义，是人们相互交流必须对某些名称和术语有共同的认识才能进行，对名称和术语的含义加以描述，作出明确的规定。是定义一定是真命题，真命题的不一定是定义。