Question

离散数学等价等值式公式的证明.等价等值式：B等价(A推B)合取(B推A).怎么证明?注：’代表等价符号.用等值演算法证明

Answer 1

∵AB

∴A和B具有相同的真值,即A双条件B永为真,即(A→B)∧(B→A)

少年,这是定义!你让我如何证明.A等价于B就能直接得出A双条件B.、

就好比A→B非A∨B一样,可以用真值表证明

A B A→B B→A A双条件B

0 0 1 1 1

0 1 1 0 0

1 0 0 1 0

1 1 1 1 1

显然,只有A,B的真值相同,A双条件B的真值才为1