否命题

否命题是数学中的一个概念。一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。对于两个命题，若其中一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，则这两个命题互为否命题。如果把其中一个称为原命题，那么另一个就叫做它的否命题。