等值推理

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