Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ∨E1
- - A ∨ B, ¬A ⊦ B
- ∨E2
- - A ∨ B, ¬B ⊦ A
- ¬E1
- - ¬¬A ⊦ A
- ¬E2
- - ¬A → B, A → B ⊦ B
- →I1
- - ¬A ⊦ A → B
- →I2
- - B ⊦ A → B
- →E1
- - A → B ⊦ ¬A ∨ B
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement