1樓：John是大王
可以通過等值演算或真值表來證明。
∵同用AB表示AB是重言式類似，用AB表示A→B是重言式。
∴欲證(A∨B)∧(A∨C)(B∨C)，只需證(A∨B)∧(A∨C)→(B∨C)為重言式。
通過等值演算證明如下：
(A∨B)∧(A∨C)→(B∨C)
=((A∨B)∧(A∨C))∨(B∨C)
=((A∨B)∨(A∨C))∨B∨C
=(A∧B)∨(A∧C)∨B∨C
=(A∨A∨B∨C)∧(A∨C∨B∨C)∧(B∨A∨B∨C)∧(B∨C∨B∨C)
=1∧1∧1∧1
=1∴原式為重言式。
該結論亦可通過真值表得出，步驟略。
∴(A∨B)∧(A∨C)(B∨C)
證畢PS：此題如果從消解律左側的表示式開始，幾乎是不能直接推導出右側的表示式。但如果用上文提到的方法，就會非常非常簡單。
【參考文獻】
[1]耿素雲,屈婉玲,張立昂.離散數學[M].第五版.清華大學出版社:北京市,2013.7,21.
2樓：低唱語焉不詳
((p∨q)∧(p∨r)) (q ∨r) Resolution
很好理解，(p∨q)∧(p∨r)中p和p必有一真一假，若要((p∨q)∧(p∨r))為真，則q和r也至少有乙個為真（也就是P和p裡取假的那個要配乙個真）
想要證明，自己用真值表吧
請問行測中邏輯推理部分怎麼提高？
初見雲開 想要提公升邏輯推理部分的成績，有兩種方法，慢慢培養自己的邏輯思維，或者就是用做題技巧來解決。對於公考來說，我覺得沒有必要為了乙個模組的題就去專門培養這方面的思維，時間有限不可能面面俱到的每個思維都掌握，如果都掌握了每種思維方式，當個公務員倒是屈才了。我選擇的是第二種方法提公升邏輯推理部分的...
邏輯推理 如何取得第90個雞蛋？
汪汪 哈哈，簡單。我第一次拿2個，剩下88個，是8 1 7 的整數倍。之後的每一輪，無論你拿幾個，我都湊成8個，第90個不就是我的了嗎。 眾妙 逆推法 1 最後你拿到了第90個雞蛋，那麼就是說，你的對手剛好拿不到第90個，不然他肯定會拿 2 對手在一次最多拿7顆雞蛋的時候剛好拿不到第90顆雞蛋，可以...
邏輯推理不可能證明神的存在，那為何西方哲學家樂此不疲？
活道本心 有兩點1.因為他們感受到了 神 的存在了。既然感受到了肯定好奇要探索一番。2 這種 神 的存在有種吸引人的魔力，所以樂此不疲。 看了上面的回答都很專業 提供一點自己不專業的想法 1 1 2是1 2 3的基礎，所以理性 題主所說的邏輯推理 和神的存在到底哪個是基礎呢 如果理性是基礎，那神還是...