Propriedades das operações lógicas Propriedades das operações lógicas

Sejam p, q e r proposições de valores lógicos V ou F Sejam p, q e r proposições de valores lógicos V ou F

~(~p)  p Lei da dupla negação ~(~p)  p Lei da dupla negação

p  ~p  F Princípio da não contradição p  ~p  F Princípio da não contradição

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

p  q é verdadeira se e só se p  q é verdadeira se e só se
Princípio da dupla implicação Princípio da dupla implicação
p  q e q  p forem ambas verdadeiras p  q e q  p forem ambas verdadeiras

pqqp pqqp
Propriedade comutativa da conjunção (e da disjunção) Propriedade comutativa da conjunção (e da disjunção)
pqqp pqqp

(p  q)  r  p  (q  r) (p  q)  r  p  (q  r)
Propriedade associativa da conjunção (e da disjunção) Propriedade associativa da conjunção (e da disjunção)
(p  q)  r  p  (q  r) (p  q)  r  p  (q  r)

p  (q  r)  (p  q)  (p  r) Propriedade distributiva da conjunção em relação à p  (q  r)  (p  q)  (p  r) Propriedade distributiva da conjunção em relação à

p  (q  r)  (p  q)  (p  r) disjunção (e da disjunção em relação à conjunção) p  (q  r)  (p  q)  (p  r) disjunção (e da disjunção em relação à conjunção)

pVp V é o elemento neutro da conjunção pVp V é o elemento neutro da conjunção

pFF F é o elemento absorvente da conjunção pFF F é o elemento absorvente da conjunção

pVV V é o elemento absorvente da conjunção pVV V é o elemento absorvente da conjunção

pFp F é o elemento neutro da disjunção pFp F é o elemento neutro da disjunção

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

~(p  q)  ~p  ~q ~(p  q)  ~p  ~q
Primeiras Leis de De Morgan Primeiras Leis de De Morgan
~(p  q)  ~p  ~q ~(p  q)  ~p  ~q

p  q  ~p  q Implicação e disjunção p  q  ~p  q Implicação e disjunção

(p  q)  (~q  ~p) Implicação contrarrecíproca da implicação p  q (p  q)  (~q  ~p) Implicação contrarrecíproca da implicação p  q

(p  q)  (q  r)  (p  r) Transitividade da Implicação (p  q)  (q  r)  (p  r) Transitividade da Implicação

(p  q)  (q  p)  (p  q) Dupla Implicação (p  q)  (q  p)  (p  q) Dupla Implicação