Research Space for Linear Algebra & Discrete Mathematics
這個應該和Modus Ponens差不多, 由於 p→q ≡ !q→!p, 所以 (p→q)^!q ≡ (!q→!p)^!q, 而Modus Ponens指的是(p→q)^p → q, 也就是如果p imply q, 且 p 又確定是true, 那麼 q 就一定是true, 這應該還滿直覺的, 所以同理 (!q→!p)^!q ≡ !p, 我覺得這個inference rule在意義上和反證法是很類似的
謝謝你這樣推論的確可以推出結果
這個應該和Modus Ponens差不多, 由於 p→q ≡ !q→!p, 所以 (p→q)^!q ≡ (!q→!p)^!q, 而Modus Ponens指的是(p→q)^p → q, 也就是如果p imply q, 且 p 又確定是true, 那麼 q 就一定是true, 這應該還滿直覺的, 所以同理 (!q→!p)^!q ≡ !p, 我覺得這個inference rule在意義上和反證法是很類似的
回覆刪除謝謝你
回覆刪除這樣推論的確可以推出結果