Guest User

Untitled

a guest
Mar 17th, 2018
94
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.17 KB | None | 0 0
  1. #1. p
  2. #2. p v ~p (addition #1)
  3. #3. ~p -> ~~p (material implication #2)
  4. #4. ~p -> p (simplification #3)
  5.  
  6. p | p v ~p | ~p -> p |
  7. T | T | T |
  8. F | T | F |
Add Comment
Please, Sign In to add comment