証明:邏輯

2012-09-29 5:02 am
証明下列成對的命題是否為等價
a.(p⋁q)⋁(p⋀r) 和 (p⋁q)⋀r
b.(r⋁p)⋀(( ~r⋁(p⋀q))⋀(r⋁q)) 和 p⋀q
更新1:

解題時怎說明第1題命題不等價???....

回答 (1)

2012-09-29 5:45 am
✔ 最佳答案
(a) (p⋁q)⋀r = (p⋀q)⋁(p⋀r) 因此原本的兩個命題不等價

(b) (~r⋁(p⋀q)) = (~r⋁p)⋀(~r⋁q)

((~r⋁(p⋀q))⋀(r⋁q))

= (~r⋁p)⋀(~r⋁q)⋀(r⋁q)

= (~r⋁p)⋀(q⋁(~r⋀r))

= (~r⋁p)⋀q

(r⋁p)⋀((~r⋁(p⋀q))⋀(r⋁q))

= (r⋁p)⋀(~r⋁p)⋀q

= p⋀q

因此原本的兩個命題等價


收錄日期: 2021-04-26 19:18:53
原文連結 [永久失效]:
https://hk.answers.yahoo.com/question/index?qid=20120928000051KK00521

檢視 Wayback Machine 備份