Tabelas-verdade & Leis da lógica (continuação):

o Leis da Distributividade
o Leis de De Morgan
o Leis de Absorção

Professor Cláudio Bispo

 Tabelas-verdade & leis da lógica
Ainda falando do exemplo final da apresentação anterior temos:

Leis da Distributividade: Dada três proposições quaisquer , , e

,

∨ ∧ ≡ ∨ ∧ ∨
e
∧ ∨ ≡ ∧ ∨ ∧

Professor Cláudio Bispo

 Tabelas-verdade & leis da lógica
Tabelas-verdade das Leis da Distributividade.

∨ ∧ ≡ ∨ ∧ ∨ .

∧ ∨ ∧ ∨ ∨ ∨ ∧ ∨
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F

Professor Cláudio Bispo

 Tabelas-verdade & leis da lógica
Tabelas-verdade das Leis da Distributividade.

∧ ∨ ≡ ∧ ∨ ∧ .

∨ ∧ ∨ ∧ ∧ ∧ ∨ ∧
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F

Professor Cláudio Bispo

 Tabelas-verdade & leis da lógica

Leis de De Morgan: Dada duas proposições quaisquer , e ,

~ ∨ ≡~ ∧~
e
~ ∧ ≡~ ∨~

Professor Cláudio Bispo

 Tabelas-verdade & leis da lógica
Lembremos que no exemplo da negação da proposição: “Marcos é
pintor e gosta de pescar ” (na apresentação anterior) a tabela-
verdade mostrou que as proposições ~ ∧ e ~ ∨ ~ são
equivalentes. A tabela-verdade abaixo mostrará que as proposições
~ ∨ e ~ ∧ ~ são equivalentes:

∨ ~ ∨ ~ ~ ~ ∧~
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V

Professor Cláudio Bispo

 Tabelas-verdade & Teoria dos Conjuntos
Lembrando o enunciado das Leis de De Morgan na versão da Teoria
dos Conjuntos:
Sejam e conjuntos. Então:

∪ ∩

∩ ∪

Professor Cláudio Bispo

 Tabelas-verdade & Teoria dos Conjuntos
Vamos mostrar que ∪ ∩ .
Neste caso, o conjunto ∪ é caracterizado pela afirmação " ∈
$% " ∈ . O seu complementar é caracterizado pela negação desta
afirmação: ~ " ∈ ∨ " ∈ .Pela lei de De Morgan (que acabamos
de mostrar) esta afirmação é equivalente a " ∉ ∧ " ∉ , que
caracteriza o conjunto ∩ . Logo, os conjuntos são iguais.
Para provar que ∩ ∪ vamos usar a igualdade
∪ ∩ , que acabamos de provar, mais o fato de que o
complementar do complemento de qualquer conjunto, é o próprio
conjunto: ' '.
Realmente,
∪ ∪ ∩ ∩ .
Isto completa a prova das Leis de De Morgan da Teoria dos
Conjuntos.
Professor Cláudio Bispo
 Tabelas-verdade & Teoria dos Conjuntos
Exemplo:
As leis de De Morgan são usadas para reescrevermos as negações
de proposições. Considere a seguinte proposição:
“Todo número par é divisível por 2 ) existe um número inteiro n tal
que 2* 3”.
Sua negação é:
“Existe um número par que não é divisível por 2 ,- todo número
inteiro n é tal que 2* . 3”.

Professor Cláudio Bispo

 Tabelas-verdade & leis da lógica
Em certas situações podemos compactar uma proposição.

Leis de Absorção: Para quaisquer duas proposições, e ,

∨ ∧ ≡ ,

∧ ∨ ≡

Professor Cláudio Bispo

 Tabelas-verdade & leis da lógica
Vamos construir a tabela de ∨ ∧ . Começamos com a tabela
de ∧ e, depois, usamos as colunas correspondentes às proposições
e ∧ para completar a última coluna, que é a correspondente a
∨ ∧ .
∧ ∨ ∧
V V V V
V F F V
F V F F
F F F F

As colunas de e ∨ ∧ são iguais, provando que as

proposições são logicamente equivalentes: ∨ ∧ ≡ .

Professor Cláudio Bispo

EXERCÍCIOS

Professor Cláudio Bispo