Research Space for Linear Algebra & Discrete Mathematics
我想你可能有些誤會如果把第二個括弧改成p v r 就沒問題了可以等價是因為P元素相同可以用想的如果P是1對答案沒影響(OR)如果P是0對答案沒影響(OR)但如果另外一邊改!p 就差很多囉例子就是你自己舉的那個
回樓上，若是你說的改成(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
抱歉 我應該這樣打比較不會讓你誤會(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請注意 他並不是"等價"的回來不會是對的
張貼留言
3 則留言:
我想你可能有些誤會
如果把第二個括弧改成
p v r 就沒問題了
可以等價是因為P元素相同
可以用想的
如果P是1對答案沒影響(OR)
如果P是0對答案沒影響(OR)
但如果另外一邊改!p 就差很多囉
例子就是你自己舉的那個
回樓上，
若是你說的改成(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
抱歉
我應該這樣打比較不會讓你誤會
(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
請注意 他並不是"等價"的
回來不會是對的
張貼留言