一般来说,数学中使用语言、符号或式子来表达陈述句,从而判断其真假。互否命题是指一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定,其中一个被称为原命题,另一个被称为它的否命题。非命题则指不能被看作是命题的表达。否命题和非命题之间存在相对关系,即否命题属于命题的一种类型。
一般来说,数学中使用语言、符号或式子来表达陈述句,从而判断其真假。互否命题是指一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定,其中一个被称为原命题,另一个被称为它的否命题。非命题则指不能被看作是命题的表达。否命题和非命题之间存在相对关系,即否命题属于命题的一种类型。