Vous êtes sur la page 1sur 2
Propriedades da negação, da conjunção e da disjunção. Sejam p, q e r proposições. Lei
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
elemento absorvente
p
∧ F
F
p
∨ V
V
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:

A primeira operação a efetuar é a negação; Em seguida, a conjunção e a disjunção; 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

(

)

(

)

(

pq q r pr

)

 

Relação da implicação com a negação e a disjunção

 

(

)

pq ~p q

 

Negação da implicação

 

~

(

)

pq p~q

 

Implicação da contrarrecíproca

 

(

)

(

pq ~q ~p

)

Princípio da dupla negação

(

)

(

)

(

p q pq q p

)

Tabelas de verdade

Equivalência

p

q p q

V

V

V

V

F

F

F

V

F

F

F

V

Conjunção

p

q

p q V F F F

V

V

V

F

F

V

F

F

Disjunção

p

q

p q V V V F

V

V

V

F

F

V

F

F

Implicação

p

q pq

V

V

V

V

F

F

F

V

V

F

F

V

Prof. Paula Gomes

2