A则B=非A或B 如何推导出来的

A则B=非A或B 如何推导出来的

一般都是用这个永远都有效的 “枚举法”,也就是真值表法：把 A、B 所有的取值组合都罗列出来,看复合命题 A→B 与 ┐A ∨ B 的取值情况.结果证明二者恒等.
像这种基本连接词间的转换,真值表法就是最直接,也最有效的方法.不过也可以根据它们的定义,用一种更“高级”的方法来证明：
　　A→B 表示：A 为真时,B 也总是为真；
即：A→B 为真,当且仅当 A 为真时 B 也为真；那么：
　　A→B 为假,当且仅当 A 为真,并且 B 不为真；——条件命题的否定,就是“真条件,假结论”同时出现——有些书上,就是用这句话来定义条件命题的：知道了结果为假的赋值组合,自然也就知道结果为真的赋值组合了.所以：
　　┐（A→B） = A ∧ ┐B；
　　┐┐（A→B） = A→B = ┐（A ∧ ┐B） = ┐A ∨ B；

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息