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