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为永真式。

等值关系一般通过真值表法或者等值演算法得到。

而不等值，只能通过真值表法，找到某个真值指派使得一个为真一个为假

德摩根律：┐(A∨B)⟺┐A∧┐B、┐(A∧B)⟺┐A∨┐B

蕴含等值式：A→B⟺┐A∨B

吸收律：A∨(A∧B)⟺A、A∧(A∨B)⟺A

归谬式：(A→B)∧(A→┐B)⟺┐A