命题：一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句。
否命题：一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，把这样的两个命题叫做互否命题。如果把其中一个称为原命题，那么另一个就叫做它的否命题。
非命题：不是命题的表达。
否命题和非命题的两者关系：否命题属于命题的一种，非命题与命题成相对关系。
