Research Space for Linear Algebra & Discrete Mathematics
若前面已用了3和4推出了!r, 那麼!r為true的事實就可以用了, 所以[(!q^!r)∨(q^r)]^!r ≡ [(!q^1)∨(q^r)]^1 ≡ !q∨(q^r) ≡ (!q∨q)^(!q∨r) ≡ !q
如果是使用rule of inference呢?還是這種方式也是推論法則的一種?越搞越不懂了
這和平常在用那些rules of inference來作式子化簡沒甚麼不同, 剩下的只是把額外的訊息, 也就是!r為true的事實加進去而已; 根據題意, (!q^!r)∨(q^r)這個命題已知為真, 所以簡化到最後為使得!q∨r為真, 則!q必定為真, 或者你把命題在翻回原文去可能會更了解我們在做的事情: 首先由3,4可以確定Pythagoras was not fat (!r), 那麼將此結果套進2裡去, 我們就可以得到Euclid was not short (!q)的結論
的確耶帶回原文的邏輯其實一目了然謝謝你
張貼留言
4 則留言:
若前面已用了3和4推出了!r, 那麼!r為true的事實就可以用了, 所以
[(!q^!r)∨(q^r)]^!r ≡ [(!q^1)∨(q^r)]^1
≡ !q∨(q^r) ≡ (!q∨q)^(!q∨r) ≡ !q
如果是使用rule of inference呢?
還是這種方式也是推論法則的一種?
越搞越不懂了
這和平常在用那些rules of inference來作式子化簡沒甚麼不同, 剩下的只是把額外的訊息, 也就是!r為true的事實加進去而已; 根據題意, (!q^!r)∨(q^r)這個命題已知為真, 所以簡化到最後為使得!q∨r為真, 則!q必定為真, 或者你把命題在翻回原文去可能會更了解我們在做的事情: 首先由3,4可以確定Pythagoras was not fat (!r), 那麼將此結果套進2裡去, 我們就可以得到Euclid was not short (!q)的結論
的確耶
帶回原文的邏輯其實一目了然
謝謝你
張貼留言