数学中的定义、公理、公式、性质、法则、定理都是数学命题。这些都是用推理方法判断命题真假的依据。一般地,在数学中,我们把在一定范围内可以用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。
1.原命题:一个命题的本身称之为原命题,如:若x>1,则f(x)=(x-1)2单调递增。
2.逆命题:将原命题的条件和结论颠倒的新命题,如:若f(x)=(x-1)2单调递增,则x>1。
3.否命题:将原命题的条件和结论全否定的新命题,但不改变条件和结论的顺序,如:若x≤1,则f(x)=(x-1)2不单调递增。
4.逆否命题:将原命题的条件和结论颠倒,然后再将条件和结论全否定的新命题,如:若f(x)=(x-1)2不单调递增,则x≤1。
定义是认识主体使用判断或命题的语言逻辑形式,确定一个认识对象或事物在有关事物的综合分类系统中的位置和界限,使这个认识对象或事物从有关事物的综合分类系统中彰显出来的认识行为。
命题这个概念是可以被定义并观察的现象,命题不是指判断(陈述)本身,而是指所表达的语义。当相异判断(陈述)具有相同语义的时候,他们表达相同的命题。
即定义是人为规定的,命题是判断句式,命题有真假,定义没有。