2008-12-26

[離散數學]四版習題10-65

65.Construct a formal proof the following theorem:
if (P or R) and(Q or R'),then(P or Q)
不知可否這樣解
SOL:
題目等價 [ (P'=>R) and (R=>Q) ] =>(P or Q)
把它變成一個推理問題
(P'=>R)
(R=>Q)
-------------
所以(P or Q)

因為=>具遞移性
所以 P'=>R and R=>Q
=>P'=>Q
=>P or Q 得証
於

2 則留言:

  1. Unknown2008年12月27日 凌晨12:08

    我個人是覺得..
    題目等價
    (P v R)and(Q v R')→(P or Q)
    變成推理問題是
    (P v R)
    (Q v R')
    ----------
    所以(P v Q)

    因為R跟R' 同時只能有一個為T
    所以P或Q必有一個為T

    回覆刪除
  2. qq222008年12月28日 下午6:57

    嗯你這一定可以因為老師也是這樣子導，只是不知道我用遞移性去說會不會對就是了...

    回覆刪除