命题由题设和结论两部分组成,题设是已知事项,结论是由已知事项推出的事项。命题常可以写成“如果……那么……”的形式,这时“如果”后接的部分是题设,“那么”后接的部分是结论。如果题设成立,那么结论一定成立,像这样的命题叫做真命题,如果题设成立时,不能保证结论一定成立,像这样的命题叫做假命题。定理都是真命题。
对于两个命题,如果一个命题的条件和结论分别是另外一个命题的结论和条件,那么这两个命题叫做互逆命题,其中一个命题叫做原命题,另外一个命题叫做原命题的逆命题。
对于两个命题,如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定,那么这两个命题叫做互否命题,其中一个命题叫做原命题,另外一个命题叫做原命题的否命题。
对于两个命题,如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定,那么这两个命题叫做互为逆否命题,其中一个命题叫做原命题,另外一个命题叫做原命题的逆否命题。