Question

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

Answer 1

A→B 表示：A 为真时,B 也总是为真；

即：A→B 为真,当且仅当 A 为真时 B 也为真；那么：

A→B 为假,当且仅当 A 为真,并且 B 不为真；——条件命题的否定,就是“真条件,假结论”同时出现——有些书上,就是用这句话来定义条件命题的：知道了结果为假的赋值组合,自然也就知道结果为真的赋值组合了.所以：

┐（A→B） = A ∧ ┐B；

┐┐（A→B） = A→B = ┐（A ∧ ┐B） = ┐A ∨ B；

拓展资料

在进行归纳推理时，如果逐个考察了某类事件的所有可能情况，因而得出一般结论，那么这结论是可靠的，这种归纳方法叫做枚举法。枚举法是利用计算机运算速度快、精确度高的特点，对要解决问题的所有可能情况，一个不漏地进行检验，从中找出符合要求的答案，因此枚举法是通过牺牲时间来换取答案的全面性。