命题有四种通常的形式,分别为:原命题,逆命题,否命题,逆否命题。
关于命题,在现代哲学,数学,逻辑学,语言学中, 是指一个判断的语义,这个概念是可以被定义并观察的现象。命题不是指判断本身,而是指所表达的语义。