Вы находитесь на странице: 1из 2

Propriedades da negação, da conjunção e da disjunção.

Sejam p, q e r proposições.

Lei da dupla negação ( )


~ ~p ⇔p

Conjunção Disjunção
Idempotência
p∧p⇔p p∨p⇔p

Conjunção Disjunção
Comutatividade
p ∧q ⇔ q ∧ p p ∨q ⇔ q ∨ p

Conjunção Disjunção
Associatividade
( p ∧ q ) ∧ r ⇔ p ∧ (q ∧ r ) ( p ∨ q ) ∨ r ⇔ p ∨ (q ∨ r )
Conjunção Disjunção
Existência de
p ∧V ⇔ p p∨F ⇔ p
elemento neutro
V ∧p⇔p F∨p⇔p

Conjunção Disjunção
Existência de
p ∧F ⇔ F p ∨V ⇔ V
elemento absorvente
F ∧p ⇔F V ∨ p ⇔V

disjunção em relação à conjunção conjunção em relação à disjunção


Distributividade da
( )
p ∨ q ∧r ⇔ p ∨q ∧ p ∨r ( ) ( ) ( )
p ∧ q ∨r ⇔ p ∧q ∨ p ∧r ( ) ( )
Princípio da não
contradição
( )
p∧ ~p ⇔F

Princípio do 3º
excluído
( )
p ∨ ~ p ⇔V

Conjunção Disjunção
Primeiras leis de De
Morgan ( )
~ p ∧ q ⇔~ p ∨ ~ q ( )
~ p ∨ q ⇔~ p ∧ ~ q

Prioridades das operações lógicas:

Na ausência de parêntesis, tem-se:

1º A primeira operação a efetuar é a negação;


2º Em seguida, a conjunção e a disjunção;
3º Por último, a equivalência e a implicação.

1
Propriedades da implicação e equivalência.
Sejam p, q e r proposições.

Propriedade transitiva da implicação ( p ⇒ q ) ∧ (q ⇒ r ) ⇒ ( p ⇒ r )


Relação da implicação com a negação e a
disjunção
( p ⇒ q ) ⇔~ p ∨ q
Negação da implicação ( )
~ p ⇒ q ⇔ p∧ ~ q

Implicação da contrarrecíproca ( p ⇒ q ) ⇔ (~ q ⇒~ p )
Princípio da dupla negação ( p ⇔ q ) ⇔ ( p ⇒ q ) ∧ (q ⇒ p )

Tabelas de verdade

• Equivalência • Disjunção

p q p ⇔q p q p ∨q
V V V V V V
V F F V F V
F V F F V V
F F V F F F

• Conjunção • Implicação

p q p ∧q p q p ⇒q
V V V V V V
V F F V F F
F V F F V V
F F F F F V

Prof. Paula Gomes