A推B为什么等价于非A或B

a推b的等价命题是A推B的矛盾是A且非B，而A且非B的矛盾是非A或B。一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫作命题。

其中判断为真的语句叫作真命题，判断为假的语句叫作假命题。

基本概念

命题的定义，一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。每一个命题都有逆命题，只要将原命题的题设改成结论，并将结论改成题设，便可得到原命题的逆命题。

但是原命题正确，它的逆命题未必正确。例如真命题对顶角相等的逆命题为相等的角是对顶角，此命题就是假命题。互逆命题的定义，如果一个命题的条件与结论分别是另一个命题的结论与条件，那么这两个命题称为互逆命题。

如把其中一个称为原命题，那么另一个称为它的逆命题。其中一个命题称为另一个命题的逆命题。把一个命题的条件和结论互换就得到它的逆命题，所以每个命题都有逆命题。

A推B为什么等价于非A或B

Ararr;B可以转换成非A或B(蕴含定义），：(Ararr;B)and;非B就等于（非A或B）与非B等于（非A与非B）或（B与非B）B与非B一定是假，在或运算中，逻辑假可以忽略（吸收律），所以原式继续转换为非A与非B真值表检验：当B为真，无论A，(Ararr;B)and;非B都为假，所以(Ararr;B)and;非B不等价于非A，而等价于非A与非B将B=非B代入：(Ararr;B)and;非B，有：(Ararr;非B)and;非（非B）也就是(Ararr;非B)and;B，所以两个公式等价

《A推B为什么等价于非A或B》阅读地址：http://haoshilao.com/2023/0713/1237637.htm