请问逻辑学里面的蕴涵析取等值律p→q←→(非p∨q)是怎么推出来的呢

Question

如题所述

Answer 1

“p→q”的逻辑含义为“p是q的充分条件”。即p真则q真，p假则q可真可假；q假则p假，q真则p可真可假。可见，p假或者q真，即“非p∨q”时，“p→q”都是真的，因此（p→q）←→(非p∨q)，或者说“p→q”与“非p∨q”等值。