Research Space for Linear Algebra & Discrete Mathematics
(p -> q) ^ (~r v s) ^ (p v r)= (~p v q) ^ (~r v s) ^ (p v r)然後根據Resolution, 把p與~p消掉把r與~r消掉, 最後可導出q v r之前的答案應該是錯了resolution的命題為(p v q) ^ (~p v r) -> (q v r)不過只有一個方向是對的, 回來並不對
張貼留言
1 則留言:
(p -> q) ^ (~r v s) ^ (p v r)
= (~p v q) ^ (~r v s) ^ (p v r)
然後根據Resolution, 把p與~p消掉
把r與~r消掉, 最後可導出q v r
之前的答案應該是錯了
resolution的命題為
(p v q) ^ (~p v r) -> (q v r)
不過只有一個方向是對的, 回來並不對
張貼留言