導出原理
p∨q, ¬p∨r
─────────
q∨r
証明
1. p∨q P
2. ¬p∨r P
3. ¬q→p 1, T
4. p→r 2, T
5. ¬q→r 3, 4, HS
6. q∨r 5, T
QED 1-6, CP
Last active
September 28, 2017 04:35
-
-
Save ytakano/d4ce9618efd199ab709f1241c73d1b85 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment