逻辑等值命题

1和5，因为：命题“如果刘某是被他人杀害的，则刘某身上必有致命伤”。“必”表示肯定。所以这个命题等价于“如果刘某不是被他人杀害的，则刘某身上必没有致命伤”。

“除非”和“只有”表示肯定，而“或者”和“如果”则表示不肯定说明有两种情况，这和原命题不一致。

逻辑上 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⟺┐A∨B
吸收律：A∨(A∧B)⟺A、A∧(A∨B)⟺A
归谬式：(A→B)∧(A→┐B)⟺┐A

证明﹁(p∨(﹁p∧q))在逻辑上等价于﹁p∧﹁q？

((p→q)∧(q→r))→(p→r) ??((p→q)∧(q→r))∨(p→r) 变成 合取析取 ??((?p∨q)∧(?q∨r))∨(?p∨r) 变成 合取析取 ?(?(?p∨q)∨?(?q∨r))∨(?p∨r) 德摩根定律 ?((p∧?q)∨(q∧?r))∨(?p∨r) 德摩根定律 ?(p∧?q)∨(q∧?r)∨?p∨r 结合律 ??q∨(q∧?r)∨?p∨r 合取析取 吸收率 ??q∨?r∨?p∨r 合取析取 吸收率 ??p∨?q∨?r∨r 交换律 排序 ?TRUE 称为永真式，重言式。