等值推理是根据命题间的等值关系而由一个命题推出另一个命题的推理。如，根据直言命题（性质命题）的对当关系，A型命题与o型命题之间具有矛盾关系，A真则o假，A假则o真。按此，“A真”同“o假”的否定是等值的，于是，我们就可根据命题间的等值关系，由“A真”而推出“并非‘o假”’或“‘o假’是假的”。再如，“如果p，则q”与“非p或者q”是等值的，据此，我们就可以由“如果p，则q”而必然推出“非p或者q”。
等值推理详细介绍
等值推理是根据命题间的等值关系而由一个命题推出另一个命题的推理。如，根据直言命题（性质命题）的对当关系，A型命题与o型命题之间具有矛盾关系，A真则o假，A假则o真。按此，“A真”同“o假”的否定是等值的，于是，我们就可根据命题间的等值关系，由“A真”而推出“并非‘o假”’或“‘o假’是假的”。再如，“如果p，则q”与“非p或者q”是等值的，据此，我们就可以由“如果p，则q”而必然推出“非p或者q”。
这就是等值推理。等值推理是一种有效推理，而且是一种前提与结论可逆的推理，即既可由其前提推出结论，也可由其结论（作为另一推理的前提）而推出其前提（作为另一推理的结论）。
