2011-07-18

關於邏輯95清大

p10-88
老師上課時候說 裡面是v 外面是^ 可以相消。

想請問一下為什麼可以這麼做呢?

如果可以的話 那麼(pvq)^(!p v r) 等價 g^r

但是取 p =0 ,q =1 ,r =0 就是錯的了
於

3 則留言:

  1. AIdrifter2011年7月18日 晚上11:35

    我想你可能有些誤會
    如果把第二個括弧改成
    p v r 就沒問題了
    可以等價是因為P元素相同
    可以用想的
    如果P是1對答案沒影響(OR)
    如果P是0對答案沒影響(OR)

    但如果另外一邊改!p 就差很多囉
    例子就是你自己舉的那個

    回覆刪除
  2. Jeremy2011年7月19日 上午8:26

    回樓上，
    若是你說的改成(pvq)^(p v r) 等價 g^r
    取 p = 1 ,q = 0 ,r =0 ，就不行了。

    我會舉個這例子 是因為 老師在課堂上
    示範的時候是這樣寫的

    (95清大)
    Verify :[(p->q)^(!r v s)^(p v r)]
    ->(!q -> s)

    等價 [(!p v q)^(!r v s)^(p v r)]
    -> [q v s] (裡面是v 外面是^可相消)

    (!p消p，!r消r)

    等價(q ^ s ) -> (!q v s)
    等價True

    回覆刪除
  3. AIdrifter2011年7月19日 下午3:22

    抱歉
    我應該這樣打比較不會讓你誤會
    (pvq)^(p v r) =p v(g^r)


    至於這題 先談resolution這東西
    resolution的命題為
    (p v q) ^ (~p v r) -> (q v r)

    把p與~p消掉 把r與~r消掉
    最後可導出q v r
    請注意 他並不是"等價"的
    回來不會是對的

    回覆刪除