命题的四种形式（命题的四种形式真假关系）

原命题、逆命题、否命题和逆否命题

命题的四种形式是原命题、逆命题、否命题和逆否命题，命题（判断）是指一个判断句的语义（实际表达的概念），命题不是指判断句本身，而是指所表达的语义。

四种命题的相互关系：原命题与逆命题互逆，否命题与原命题互否，原命题与逆否命题相互逆否，逆命题与否命题相互逆否，逆命题与逆否命题互否，逆否命题与否命题互逆。