Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 1. p => q Premise
- 2. ~q Assumption
- 3. p Assumption
- 4. q Implication Elimination: 1, 3
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement