中学课程中谈过四种命题间的关系：原命题、逆命题、否命题、逆否命题。说是原命题与逆否命题是同真同假，逆命题和否命题同真同假，而原命题和逆命题之间半毛钱关系都没有。
以充分条件句“p→q”只是一种方便，其实必要条件句“p←q”也可以作为原命题。其实只是一种方便，因为用代入法，我们很容易从充分条件句就得到必要条件句：“p→q”中，以┐p和┐q分别代入p和q就是一必要条件句。
“p←q”就可表达为“┐p→┐q”。不要以为只有充分条件句才可以作为原命题。
这里关键要说的是这样一个观点：说“原命题和逆命题没有半点关系”的说法值得商榷。在我看来，p→q和q→p是有关系的，这种关系就是逻辑所谓下反对关系：
“必有一真，可能都真；如果一个命题为假，另一个必然为真”。理由参见上文，这个问题和蕴涵算子的性质有关。当然否命题和逆否命题的关系也是仿此。
这个发现没有检验，有兴趣的同学可以试试，看是不是我在胡说！