在“(p→q)→r”和“~r”的前提下，可以形成充分條件假設推理的否定死後公式，可以得出前件的(p→q)是否定的，即(p→q)是假的，(p→q)是假的，這樣P為真而Q為假。所以結論是e。
2.在“~p”和“p←(q←r)”的前提下，形成假言推理的否定前件，可以得出(q←r)為假，其形式為“~ (q ←)”。