Advertisement
Guest User

Untitled

a guest
Feb 21st, 2019
74
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.09 KB | None | 0 0
  1. 1. p => q Premise
  2. 2. ~q Assumption
  3. 3. p Assumption
  4. 4. q Implication Elimination: 1, 3
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement