离散数学三个变元的等值演算法证明例题？
1个回答
关注
![]()
展开全部
亲，双重否定法是一种常用的逻辑推理方式，它的基本思想是通过对一个命题进行两次否定，来得到它的肯定形式。如果最后一项是“r”，并且这个“r”表示的是某个命题的肯定形式，那么可以直接将它与其他项合并，这是因为如果一系列命题中只有一个命题是真的，那么整个命题也是真的。因此，如果最后一项表示的是某个命题的肯定形式，那么可以将它与其他项合并，从而得到一个更简单的命题。
咨询记录 · 回答于2023-03-25
离散数学三个变元的等值演算法证明例题？
？
亲亲，图片很模糊哦，请把问题用文字的形式发给我哦，方便我更精准的为您解答！
（﹁p∧（﹁q∧r））∨（q∧r）∨（p∧r）
求证等价于r
亲，你好。我们可以使用逻辑等价式和代入法来证明：首先，我们可以使用德摩根定律将前面的否定符号移入括号：（﹁p∧﹁﹁q∨﹁r）∨（q∧r）∨（p∧r）然后，我们可以使用双重否定律化简﹁﹁q为q：（﹁p∧q∨﹁r）∨（q∧r）∨（p∧r）接着，我们可以使用分配律将第一个括号中的项展开：（﹁p∨﹁r∨q）∧（q∨﹁r∨﹁p）∨（q∧r）∨（p∧r）现在，我们可以代入假设r为真的值，即r为真时，所有包含r的项都为真，因此我们可以简化上述式子：（﹁p∨q）∧（q∨﹁p）∨r这个式子的最后一项是r，因此我们可以得出结论：原始命题等价于r。
双重否定可以直接去括号？开头直接用分配律展开不行吗？为什么最后一项是r就直接等价？
亲，双重否定法是一种常用的逻辑推理方式，它的基本思想是通过对一个命题进行两次否定，来得到它的肯定形式。如果最后一项是“r”，并且这个“r”表示的是某个命题的肯定形式，那么可以直接将它与其他项合并，这是因为如果一系列命题中只有一个命题是真的，那么整个命题也是真的。因此，如果最后一项表示的是某个命题的肯定形式，那么可以将它与其他项合并，从而得到一个更简单的命题。
怎么啦？亲
。。。没次数了，这你现场自己想的？不会这么6吧
是的亲亲，都是真实作答哦~~
已赞过
评论
收起
你对这个回答的评价是？
