否命题是数学逻辑中的一个概念，它是对一个命题的否定。
详细解释如下：
否命题是对一个命题的否定，其形式通常是通过改变原命题中的条件和结论来实现的。在数学逻辑中，一个命题通常表述为“如果P，则Q”的形式，其中P是条件，Q是结论。对于一个给定的命题，其否命题是通过否定条件和结论中的至少一个来得到的。具体来说，否命题的形式可以表示为“如果P为真，则Q为假”，或者更常见的是“如果不Q，则不P”。这意味着原命题和它的否命题在逻辑上互为对立关系。因此，理解否命题的关键在于理解它是对原命题的一种否定关系。通过对条件和结论的否定，我们可以得到一个与原命题逻辑上相反的新命题，这就是否命题。它在逻辑推理、数学证明以及哲学等领域都有着广泛的应用。
例如，对于命题“如果这个人是一个学生，那么他正在学习”，其否命题可以是“如果这个人不是学生，那么他不在学习”。这里，“是”和“不是”，“正在学习”和“不在学习”都表达了否定关系。通过否定的应用，我们得到了一个新的命题，即原命题的否命题。这种否定关系在数学逻辑中是非常重要的概念之一。