Você está na página 1de 1

Propriedades das operações lógicas

 

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

 

~(~p) p

Lei da dupla negação

 

p

~p F

Princípio da não contradição

 

p

~p V

Princípio do terceiro excluído

p q é verdadeira se e só se p q e q p forem ambas verdadeiras

Princípio da dupla implicação

 

p

q q p

 

p

q q p

Propriedade comutativa da conjunção (e da disjunção)

 

(p

q) r p (q r)

 

(p

q) r p (q r)

Propriedade associativa da conjunção (e da disjunção)

p (q r) (p q) (p r) p (q r) (p q) (p r)

Propriedade distributiva da conjunção em relação à disjunção (e da disjunção em relação à conjunção)

 

p

V p

V

é o elemento neutro da conjunção

p

F F

F

é 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

p p

 

p

p p

Idempotência

 

~(p q) ~p ~q ~(p q) ~p ~q

Primeiras Leis de De Morgan

 

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 r) (p r)

Transitividade da Implicação

(p

q) (q p) (p q)

Dupla Implicação

Propriedades das operações lógicas

 

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

 

~(~p) p

Lei da dupla negação

 

p

~p F

Princípio da não contradição

 

p

~p V

Princípio do terceiro excluído

p q é verdadeira se e só se p q e q p forem ambas verdadeiras

Princípio da dupla implicação

 

p

q q p

 

p

q q p

Propriedade comutativa da conjunção (e da disjunção)

 

(p

q) r p (q r)

 

(p

q) r p (q r)

Propriedade associativa da conjunção (e da disjunção)

p (q r) (p q) (p r) p (q r) (p q) (p r)

Propriedade distributiva da conjunção em relação à disjunção (e da disjunção em relação à conjunção)

 

p

V p

V

é o elemento neutro da conjunção

p

F F

F

é 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

p p

 

p

p p

Idempotência

 

~(p q) ~p ~q ~(p q) ~p ~q

Primeiras Leis de De Morgan

 

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 r) (p r)

Transitividade da Implicação

(p

q) (q p) (p q)

Dupla Implicação