等值推理

等值推理是根據命題間的等值關係而由一個命題推出另一個命題的推理。如，根據直言命題（性質命題）的對當關係，A型命題與o型命題之間具有矛盾關係，A真則o假，A假則o真。按此，“A真”同“o假”的否定是等值的，於是，我們就可根據命題間的等值關係，由“A真”而推出“並非‘o假”’或“‘o假’是假的”。再如，“如果p，則q”與“非p或者q”是等值的，據此，我們就可以由“如果p，則q”而必然推出“非p或者q”。

這就是等值推理。等值推理是一種有效推理，而且是一種前提與結論可逆的推理，即既可由其前提推出結論，也可由其結論（作為另一推理的前提）而推出其前提（作為另一推理的結論）。