Lógica Matemática

Equivalência Lógica
e
Implicação Lógica
 Equivalência Lógica
• Definição
– Diz-se que uma proposição P é logicamente
equivalente a uma proposição Q, se as
tabelas-verdade destas duas proposições são
idênticas.
• As proposições P e Q são ditas equivalentes e
escrevemos P ⇔ Q

2
 Equivalência Lógica
• Exemplo

A B A∧B A→A∧B A→B

V V V V V
V F F F F
F V F V V
F F F V V

A→A∧B⇔A→B
3
 Equivalência Lógica
• Teorema

A proposição P é equivalente à proposição Q, isto é:

P⇔Q

se e somente se a bi-condicional:

P ↔ Q (1)

é tautológica.

4
 Equivalência Lógica
• Se as proposições P e Q são equivalentes, então têm
tabelas-verdade idênticas, e por conseguinte o valor
lógico da bi-condicional (1) é sempre verdade, isto é, (1)
é tautológica.
• Reciprocamente, se a bi-condicional (1) é tautológica,
então, a última coluna da sua tabela-verdade apresenta
somente a letra V, e por conseguinte os valores lógicos
respectivos das proposições P e Q são ambos verdade
ou são ambos falsidade, isto é, estas duas proposições
são equivalentes.

5
 Equivalência Lógica
A→A∧B⇔A→B

A→A∧B↔A→B

A B A∧B A→A∧B A→B A→A∧B↔A→B

V V V V V V

V F F F F V

F V F V V V

F F F V V V

6
 Equivalência Lógica
• Os símbolos ↔ e ⇔ são distintos!
– ↔ indica uma operação lógica
• Aplicado às proposições P e Q, resulta em uma
nova proposição

– ⇔ indica uma relação

• Estabelece que a bi-condicional é tautológica

7
 Equivalência Lógica
• Propriedades
– Reflexiva
• P⇔P

– Simétrica
• Se P ⇔ Q então Q ⇔ P

– Transitiva
• Se P ⇔ Q e Q ⇔ R, então P ⇔ R

8
 Equivalência Lógica
• Algumas das equivalências mais importantes da
Lógica:
– Leis da Comutatividade
• P∧Q⇔Q∧P

• P∨Q⇔Q∨P

Obs.: Cada uma das equivalências pode ser provada, simplesmente

mostrando que a bi-condicional correspondente é uma tautologia, bastando,
para isso, construir sua Tabela Verdade.

9
 Equivalência Lógica
– Leis da Associatividade
• (P ∧ Q) ∧ R ⇔ P ∧ (Q ∧ R)

• (P ∨ Q) ∨ R ⇔ P ∨ (Q ∨ R)

– Leis da Distributividade
• P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R)

• P ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R)

10
 Equivalência Lógica
– Leis de De Morgan
∀ ¬ (P ∧ Q) ⇔ ¬ P ∨ ¬ Q

∀ ¬ (P ∨ Q) ⇔ ¬ P ∧ ¬ Q

– Leis da Idempotência
• P∧P⇔P

• P∨P⇔P

11
 Equivalência Lógica
– Lei da Dupla Negação
∀ ¬ (¬ P) ⇔ P

– Lei da Condicional
• P→Q⇔¬P∨Q

– Lei da Bi-condicional
• P ↔ Q ⇔ (P → Q) ∧ (Q → P)

• P ↔ Q ⇔ (P ∧ Q) ∨ ( ¬ P ∧ ¬ Q)

12
 Equivalência Lógica
– Lei da Contraposição
• P→Q⇔¬Q→¬P

– Lei da Absorção
• P→P∧Q⇔P→Q

– Lei de Clavius
∀¬ P → P ⇔ P

– Lei da Refutação por Absurdo

• (P → Q) ∧ (P → ¬ Q) ⇔ ¬ P
13
 Equivalência Lógica
– Lei do Dilema
• (P → Q) ∧ (¬ P → Q) ⇔ Q

– Lei da Demonstração por Absurdo (onde F é

uma contradição)
• P∧¬Q→F⇔ P→Q

– Lei de Exportação - Importação

• P → (Q → R) ⇔ P ∧ Q → R
14
 Equivalência Lógica
• O conceito de equivalência nos permite mostrar
que são suficientes as operações de negação e
uma das duas, conjunção ou disjunção, para
representar qualquer expressão proposicional:

– Eliminando o bi-condicional:
• P ↔ Q ⇔ (P ∧ Q) ∨ ( ¬ P ∧ ¬ Q)

15
 Equivalência Lógica
– Eliminando o condicional:
• P→Q⇔¬P∨Q

– Escrevendo a disjunção em termos de conjunção:

• P ∨ Q ⇔ ¬ (¬ P ∧ ¬ Q)

– Escrevendo a conjunção em termos de disjunção:

• P ∧ Q ⇔ ¬ (¬ P ∨ ¬ Q)

16
 Equivalência Lógica
• Ex.: Escrever a proposição

(P ↔ Q) → ¬ P

em termos da negação e disjunção

17
 Equivalência Lógica
(P ↔ Q) → ~ P Eliminando o condicional

~(P ↔ Q) ∨ ~ P Eliminando o bi-condicional

Conjunção em termos de
~( (P ∧ Q) ∨ ( ~ P ∧ ~ Q) ) ∨ ~ P disjunção

~ ( ~ (~ P ∨ ~ Q) ∨ ~ (P ∨ Q) ) ∨ ~ P

18
 Equivalência Lógica
• Exercícios
– Demonstrar por tabelas-verdade as seguintes
equivalências:
• P ∧ (P ∨ Q) ⇔ P

• (P → Q) ∧ (P → R) ⇔ P → Q ∧ R

19
 Implicação Lógica
• Definição
– Diz-se que uma proposição P implica
logicamente uma proposição Q, se Q é
verdadeira todas as vezes que P é
verdadeira:
• Dizemos que P implica Q e escrevemos P => Q

20
 Implicação Lógica
• Exemplo

A B A∧B A∨B A↔B

V V V V V
V F F V F
F V F V F
F F F F V
A ∧ B => A ∨ B

A ∧ B => A ↔ B
21
 Implicação Lógica
• Teorema
A proposição P implica a proposição Q, isto é:

P => Q

se e somente se a condicional:

P → Q (1)

é tautológica.
22
 Implicação Lógica
• Se P implica Q, então, não ocorre que os valores lógicos
simultâneos destas duas proposições sejam
respectivamente V e F, e por conseguinte a última
coluna da tabela-verdade da condicional (1) apresenta
somente a letra V, isto é, esta condicional é tautológica.
• Reciprocamente, se a condicional (1) é tautológica,
então, não ocorre que os valores lógicos simultâneos
das proposições P e Q sejam respectivamente V e F, e
por conseguinte a primeira proposição implica a
segunda.

23
 Implicação Lógica
• Exemplo

A B A∧B A↔B (A ∧ B) → (A ↔ B)

V V V V V
V F F F V
F V F F V
F F F V V
A ∧ B => A ↔ B

(A ∧ B) → (A ↔ B)
24
 Implicação Lógica
• Propriedades
– Reflexiva
• P => P

– Transitiva
• Se P => Q e Q => R, então P => R

25
 Implicação Lógica
• Algumas das implicações mais
importantes da Lógica:
– Regra da Adição
• P => P ∨ Q
Obs.: Cada uma das implicações pode ser provada, bastando para
isso construir a Tabela Verdade da condicional correspondente; se
a condicional for tautológica, será uma inferência.

26
 Implicação Lógica
– Regra da Simplificação
• P ∧ Q => P

– Regra da Simplificação Disjuntiva

• (P ∨ Q) ∧ (P ∨ ~Q) => P

– Regra da Absorção
• P → Q => P → (P ∧ Q)

27
 Implicação Lógica
– Regra do Silogismo Hipotético (ou Condicional)
• (P → Q) ∧ (Q → R) => P → R

– Regra do Silogismo Disjuntivo (ou Alternativo)

• (P ∨ Q) ∧ ~P => Q

– Regra do Silogismo Conjuntivo (ou Incompatibilidade)

• ~(P ∧ Q) ∧ Q => ~P

28
 Implicação Lógica
– Dilema Construtivo
• (P → Q) ∧ (R → S) ∧ (P ∨ R) => Q ∨ S

– Dilema Destrutivo
• (P → Q) ∧ (R → S) ∧ (~Q ∨ ~S) => ~P ∨ ~R

– Regra da Inconsistência (de uma

contradição se conclui qualquer proposição)
• (P ∧ ~P) => Q
29
 Implicação Lógica
– Modus Ponens
• (P → Q) ∧ P => Q

– Modus Tollens
• (P → Q) ∧ ~Q => ~P

– Regra da Atenuação
• P → Q => P → Q ∨ R

– Regra da Retorsão
• ~P → P => P
30
 Implicação Lógica
• Exercício
– Mostrar que:
• Q => P → Q

• Q => P ∧ Q ↔ P

– Verificar se P ↔ ~Q implica P → Q

31
 Relembrando
• Conectivos lógicos

P Q ¬P ¬Q P∧Q P∨Q P→Q P↔Q

V V F F V V V V
V F F V F V F F
F V V F F V V F
F F V V F F V V

32