出处：按学科分类—文体、科学、教育 商务印书馆国际有限公司《高中数理化公式定理大全》第6页（205字）
一般地，用p和q分别表示原命题的条件和结论用和分别表示p和q的否定，于是四种命题的形式就是：
原命题：若p则q；
逆命题：若q则p；
否命题：若则；
逆否命题：若则．