逻辑等价：证明 R OR P 蕴含 R OR Q 等价于 NOT R 蕴含（P 蕴含 Q）？答案

【问题标题】：Logical Equivalence: Show that R OR P implies R OR Q is equivalent to NOT R implies (P implies Q)?逻辑等价：证明 R OR P 蕴含 R OR Q 等价于 NOT R 蕴含（P 蕴含 Q）？
【发布时间】：2018-05-22 15:56:00
【问题描述】：

我正在练习逻辑对等，但遇到了一个我很难回答的问题：

证明 (R or P -> R or Q) 等价于 (not R -> (P -> Q))。

我已经检查了这两种含义的真值表，但问题表明我应该使用等价定律来证明含义是等价的。

如果有人可以帮助我，我将不胜感激。

谢谢。

【问题讨论】：

你需要使用德摩根定律将 (R or P) -> (R or Q) 变成 (R or Q) or (not (R or P)) 然后两边展开并化简然后再次使用 de morgans
当你说扩大双方，你到底是什么意思？我尝试过使用分配法则来做到这一点，但我觉得我一无所获。
我投票结束这个问题，因为它是关于逻辑和数学的，而不是直接关于编程和编码的。

标签： logic boolean-expression equivalence implication

【解决方案1】：

直观

一个只允许一个人一个一个地遵循步骤的正式证明（包括在下面）不如一个帮助我们理解为什么两个表达式是等价的证明有用。考虑第一个表达式：

(R or P) -> (R or Q)

想想它的意义……

R=true 时的表达式是微不足道的，不是吗？因此它包含的唯一信息是R=false，P -> (R or Q)。但是当R=false，(R or Q) = Q。所以，表达式的确切含义是当R=false，P -> Q。换句话说，not R -> (P -> Q)。

正式

(R or P) -> (R or Q) = not (R or P) or (R or Q)             ;X -> Y = not X or Y
                     = (not R and not P) or (R or Q)        ;not (X or Y) = not X or not Y
                     = ((not R and not P) or R) or Q        ;X or (Y or Z) = (X or Y) or Z
                     = ((not R or R) and (not P or R)) or Q ;(X and Y) or Z = (X or Z) and (Y or Z)
                     = (not P or R) or Q                    ;(not X or X) = true
                     = (R or not P) or Q
                     = R or (not P or Q)
                     = R or (P -> Q)
                     = not (not R) or (P -> Q)
                     = not R -> (P -> Q)                    ;not X or Y = X -> Y

【讨论】：