We use cookies to improve your experience on our site and to show you relevant advertising. By browsing this website, you agree to our use of cookies. Learn more   

AtoZmath.com
Support us
(New) All problem can be solved using search box
I want to sell my website www.AtoZmath.com with complete code
 
 
Home What's new College Algebra Games Feedback About us
Algebra Matrix & Vector Numerical Methods Statistical Methods Operation Research Word Problems Calculus Geometry Pre-Algebra
2. Laws of logical connectives example ( Enter your problem )
( Enter your problem )
  1. Laws of logical connectives
  2. Prove Commutative laws
  3. Prove Associative laws
  4. Prove De-Morgan's laws
  5. Prove Distributive laws
  6. Prove Negation law
  7. Prove Absorption laws
  8. Laws for Tautology
  9. Laws for Contradiction
  10. Implication
  11. Double Implication
 		Other related methods
  1. Definitions of truth table
  2. Laws of logical connectives
  3. Truth table
  4. Valid or invalid argument in logic
5. Prove Distributive laws
(Previous example)		7. Prove Absorption laws
(Next example)

6. Prove Negation law


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)`
TFT
FTF


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 Submit Here


5. Prove Distributive laws
(Previous example)		7. Prove Absorption laws
(Next example)


Share this solution or page with your friends.
 
 
Home What's new College Algebra Games Feedback About us
 
Copyright © 2026. All rights reserved. Terms, Privacy
 
 

.