Propriedades 

  Sejam  p, q  e  r  proposições, V  uma proposição verdadeira e  F  uma proposição falsa. 

Dupla negação   ( p )  p   

Idempotência  p  p  p    pp  p 

Comutativa  p  q  q  p    p q  q  p  

Associativa  (p  q )  r  p  (q  r )    (p  q )  r  p  (q  r )  
Conjunção de uma proposição verdadeira com 
V  p  p  V  p   
outra proposição – Elemento neutro 
Conjunção de uma proposição falsa com outra 
F p  p F  F  
proposição – Elemento absorvente 
Disjunção de uma proposição verdadeira com 
V  p  p V  V  
outra proposição – Elemento absorvente 
Disjunção de uma proposição falsa com outra 
F p  p F  p 
proposição – Elemento neutro 
p  (q  r )  (p  q )  (p  r )   
Distributivas 
p  (q  r )  (p  q )  (p  r )  
Princípio da não contradição  p   p  F   

Princípio do terceiro excluído  p   p V  

 (p  q )   p   q   
Primeiras leis de Morgan 
 (p  q )   p   q  
Propriedades da implicação e da equivalência 

Negação da implicação   (p  q )  p   q   

Implicação como disjunção  (p  q )   p  q   
Disjunção como implicação  (p  q )  ( p  q )  ( q  p )   
Lei da Conversão – implicação contrarrecíproca  (p  q )  ( q   p)  
Transitividade da implicação  é(p  q )  (q  r )ù  (p  r )   
êë úû
Equivalência como dupla implicação  (p  q )  éêë(p  q )  (q  p )ùúû  
Negação da equivalência   (p  q )  éê(p   q )  (q   p )ùú   
ë û
Transitividade da equivalência  é(p  q )  (q  r )ù  (p  r )  
ëê ûú