什么叫真命题

真命题是指在逻辑学中，一个陈述句或命题在逻辑上被证明是真实的、正确的陈述。换句话说，真命题是指其陈述内容与实际情况相符合，可以被确认为真实的陈述。

真命题是一种具有真实性的陈述，可以通过事实、证据或推理来证明其正确性。例如，"太阳是热的"、"2加2等于4"等陈述都是真命题，因为它们与实际情况相符合，可以通过观察、实验或逻辑推理来验证。

在逻辑学和数学中，真命题是建立逻辑推理和证明的基础，对于构建合理的论证和推理过程非常重要。与真命题相对的是伪命题，即在逻辑上被证明为错误的陈述。