逻辑等价性

A推出B

在逻辑学中，“A推出B”（即蕴含式 $A \rightarrow B$）与“非A或B”（即 $\neg A \vee B$）的等价性是一个基本定理，可通过以下角度理解：

• 可以从直接的合并表示来理解：在这种情况下A是真的，那么B一定是真的；然而A是假的时候，无论B是真的还是假的，都不会映像原来的命题。因此，合并上述的情况，那么就是非A或B，你也可以想成非A或A，这就囊括了全部的情况，而A就是等于B
• 另外一种逻辑的判断，是否定的角度，该条件的否定命题，就是A且非B，那么在否一次过来的话，就是“非A或B”（即 $\neg A \vee B$）