Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 1. Assume: (p ∨ ¬q) ∧ (¬p ∨ ¬q)
- 2. Conclude: p ∨ ¬q (from 1)
- 3. Conclude: ¬p ∨ ¬q (from 1)
- 4. Suppose p:
- 5. Conclude ¬q (from 2,4)
- 6. Conclude p → ¬q (from 4-5)
- 7. Conclude ¬q ∨ ¬q (from 2, 6)
- 8. Conclude ¬q (from 7)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement