Prove Negation law
1. not(not p) = p
Solution:
To prove `~(~p)=p`, we have to first prepare the following truth table
`(1)` | `(2)=~(1)` | `(3)=~(2)` |
`p` | `~p` | `~(~p)` |
T | F | T |
F | T | F |
from this table, we can say that columns (3) and (1) are identical.
`:. ~(~p)=p`
This material is intended as a summary. Use your textbook for detail explanation.
Any bug, improvement, feedback then