Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ∧I
- - A
- - B
- - ⊦ A ∧ B
- ∧E
- - A ∧ B
- - ⊦ A (or B)
- ∨I
- - A
- - ⊦ A ∨ B (or B ∨ A)
- ∨E
- - A → C
- - B → C
- - A ∨ B
- - ⊦ C
- →I
- - if (premises, A ⊦ B)
- - then (premises ⊦ A → B)
- →E
- - A
- - A → B
- - ⊦ B
- ¬I
- - A → B
- - A → ¬B
- - ⊦ ¬A
- ¬E
- - ¬A → B
- - ¬A → ¬B
- - ⊦ A
Advertisement
Add Comment
Please, Sign In to add comment
