Método dedutivo

• Todas as implicações e equivalências foram demonstradas até aqui

pelo método das tabelas verdade. Vamos agora demonstrar por um
método mais prático denominado Método Dedutivo.

• No emprego do Método Dedutivo desempenham papel importante as

equivalências relativas à Álgebra das proporções.

• As equivalências lógicas na tabela a seguir podem ser usadas para

construir equivalências lógicas adicionais. A razão para isso é que uma
proposição composta pode ser substituída por outra proposição
composta que é logicamente equivalente a essa sem mudar o valor-
verdade da proposição original.
 Equivalência lógica
Equivalências Nome
p ∧ Verdade ⇔ p Propriedades dos elementos neutros
p V Falsidade ⇔ p
p V Verdade ⇔ verdade Propriedades da dominação
p ∧ falsidade ⇔ falsidade
pVp⇔p Propriedades idempotentes
p∧p⇔p
~(~p) ⇔ P Propriedade da dupla negação
pVq⇔qVp Propriedades comutativas
p∧q⇔q∧p
(p V q) V r ⇔ p V (q V r) Propriedades associativas
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) Propriedades distributivas
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
~(p ∧ q) ⇔ ~p ∨ ~q Leis de De Morgan
~(p ∨ q) ⇔ ~p ∧ ~ q
p ∨ (p ∧ q) ⇔ p Propriedades de absorção
p ∧ (p ∨ q) ⇔ p
p ∨ ~p ⇔ V Propriedades de negação
p ∧ ~p ⇔ F
Exemplos
1) Verifique se ~(p → q) e p ∧ ~q são logicamente equivalentes.
Solução:
~(p → q)
Propriedade envolvendo condicional
~(~p V q)
De Morgan
~(~p) ∧ ~q
propriedade da dupla negação
p ∧ ~q

Portanto: ~(p → q)  p ∧ ~q
2) Verifique se ~(p ∨ (~p ∧ q)) e ~p ∧ ~q são logicamente equivalentes desenvolvendo as
equivalências lógicas:
Solução
~(p ∨ (~p ∧ q))
De Morgan
~p ∧ (~ (~p ∧ q))
De Morgan
~p ∧ (~(~p) V ~q)
Dupla negação
~p ∧ (p V ~q)
Distributiva
(~p ∧ p) V (~p ∧ ~q)
Propriedade da negação
Falsidade V (~p ∧ ~q)
Comutativa
(~p ∧ ~q) V Falsidade
Elemento neutro
~p ∧ ~q Portanto: ~(p ∨ (~p ∧ q))  ~p ∧ ~q
3) (p ∧ q) → (p ∨ q) é uma tautologia ou contradição.
Solução
Para mostrar que essa proposição é uma tautologia, vamos usar equivalências para
demonstrar que é logicamente equivalente a V.
(p ∧ q) → (p ∨ q)
Propriedade envolvendo condicional
~(p ∧ q) ∨ (p ∨ q)
De Morgan
(~p ∨ ~q) ∨ (p ∨ q)
Associativa e comutativa da disjunção
(~p ∨ p) ∨ (~q ∨ q)
Propriedade da negação
(Verdade) ∨ (Verdade)
Tabela verdade
Verdade

Portanto (p ∧ q) → (p ∨ q) é uma tautologia

4) Simplifique as proposições:
a) ~(~p → ~q)
Resolução
~( ~p → ~q)
propriedade da condicional
~( ~(~p)  ~q)
dupla negação
~(p  ~q)
Morgan
(~p ∧ ~(~q))
dupla negação
~p ∧ q forma simplificada
Isso significa que ~(~p → ~q)  ~p ∧ q
b)~(p  q)  (~p ∧ q)
Resolução
~(p  q)  (~p ∧ q)
Morgan
( ~p ∧ ~q)  ( ~p ∧ q)
Distributiva (inverso)
~p ∧ (~q  q)
Negação
~p ∧ verdade
Elemento neutro
~p forma simplificada

Significa que: ~(p  q)  (~p ∧ q)  ~p

 Exercícios
1. Demonstre, se as proposições compostas são ou não logicamente
equivalentes, desenvolvendo uma série de equivalências lógicas

a) p  ( p  q )  p

b) ~ (~p  ~q)  p  q

c) p  p  r  ~r

d) (p  q)  q  ~p  q

e) (p  r)  (q  r)  (p  q)  r

f) p  (p  q)  (p  ~q)  falsidade
2) Simplifique as proposições:

a) ~(p  ~q)

b) ~(~p  ~q)

c) ~(~p  q)

d) (p  q)  ~p

e) (p  q)  (~p  q)

f) p  (~p  q)

g) (p  q)  q
3) Use as leis de De Morgan para encontrar a negação de cada uma das
proposições abaixo.
a) Luiz trabalhará na indústria ou irá para a faculdade.
b) Carlos conhece Java e cálculo.
c) James é jovem e forte.
d) Rita mudará para Oregon ou Washington.

4) Mostre que cada uma das proposições compostas é uma tautologia

utilizando as equivalências e depois fazendo a tabela verdade.
a) p  (p  q)
b) ~p  (p  q)
c) (p  q)  (p  q)
5) Verifique se cada uma das proposições compostas são equivalentes
utilizando as equivalências lógicas e depois fazendo a tabela verdade.
a) (p  q)  (p  r) e p  (q  r)
b) ~p  (q  r) e q  (p  r)
c) (p  r)  (q  r) e (p  q)  r
Respostas número 1
a) p  ( p  q ) propriedade da absorção
p
Outra maneira p  ( p  q ) distributiva
(p  p) V (p  q) idempotentes
p V (p  q) absorção
p
Portanto são equivalentes

b) ~ (~p  ~q) Morgan

~(~p)  ~(~q) Dupla negação
pq
Portanto são equivalentes
Respostas

c) p  p  r Propriedade da condicional
~p  p  r Comutativa
p  ~p  r Negação
Verdade  r Dominação
verdade
Portanto não é equivalente a ~r
d) (p  q)  q propriedade da condicional
~(p  q)  q Morgan
(~p  ~q)  q Comutativa
q  (~p  ~q) Distributiva
(q  ~p)  (q  ~q) Negação
(q  ~p)  verdade Elemento Neutro
q  ~p Comutativa
~p  q
Portanto é equivalente
e) (p  r)  (q  r)  (p  q)  r
Solução
(p  r)  (q  r) condicional
(~p  r)  (~q  r) comutativa e associativa
(~p  ~q)  (r  r) idempotente
(~p  ~q)  r Morgan (inverso)
~(p  q)  r condicional (inverso)
(p  q)  r
f) p  (p  q)  (p  ~q)  falsidade
Resolução
p  (p  q)  (p  ~q) condicional
p  (~p  q)  (~p  ~q) distributiva
(p  ~p)  (p  q)  (~p  ~q) negação
Falsidade  (p  q)  (~p  ~q) comutativa
(p  q)  falsidade  (~p  ~q) elemento neutro
(p  q)  (~p  ~q) Morgan
(p  q)  ~(p  q) negação
falsidade
Respostas número 2
a) ~(p  ~q) Morgan
~p  ~(~q) Dupla negação
~p  q

b) ~(~p  ~q) Morgan

~(~p)  ~(~q) Dupla negação
pq

c) ~(~p  q) Morgan
~(~p)  ~q Dupla negação
p  ~q
d) (p  q)  ~p comutativa
~p  (p  q) distributiva
( ~p  p)  (~p  q) negação
Falsidade  (~p  q) elemento neutro
~p  q

e) (p  q)  (~p  q) condicional
(~p  q)  (~(~p)  q) dupla negação
(~p  q)  ( p  q) comutativa
(q  ~p)  (q  p) distributiva (inverso)
q  (~p  p) negação
q  falsidade
q
f) p  ( ~p  q) condicional
p  ( ~(~p)  q) dupla negação
p  (p  q) absorção
p

g) (p  q)  q condicional
(~p  q)  q condicional
~(~p  q)  q Morgan
(~(~p)  ~q)  q dupla negação
(p  ~q)  q comutativa
q  (p  ~q) distributiva
(q  p)  (q  ~q) negação
(q  p)  verdade elemento neutro
qp
Resposta 3
a) Luiz não trabalhará na indústria e não irá para a faculdade.
b) Carlos não conhece Java ou não conhece cálculo.
c) James não é jovem ou não é forte.
d) Rita não mudará para Oregon e não mudará para Washington.

Resposta 4
a) p  (p ~p  (p  q) q) condicional
~p  (p  q) associativa p q pq p  (p  q)

(~p  p)  q negação V V V V
V F V V
Verdade  q dominação F V V V
verdade F F F V
b) ~p  (p  q) condicional
~p  (~p  q) condicional p q ~p pq ~p  (p q)
~(~p)  (~p  q) dupla negação V V F V V

p  (~p  q) associativa V F F F V

(p  ~p)  q negação F V V V V

verdade  q dominação F F V V V

verdade

c) (p  q)  (p  q) condicional
(p  q)  (~p  q) condicional
~(p  q)  (~p  q) Morgan
(~p  ~q)  (~p  q) Associativa / comutativa
pq pq (p  q) (p q)
(~p  ~p)  (~q  q) p q
V V V V V
Idempotente negação
V F F F V
~p  verdade negação F V F V V
verdade F F F V V
 Número 5
a) (p  q)  (p  r) implicação
(~p  q)  (~p  r) distributiva inversa
~p  (q  r) implicação inversa
p  (q  r)
São equivalentes
p q r pq pr (p  q)  (p  r) p q r qr p  (q  r)
V V V V V V V V V V V
V V F V F F V V F F F
V F V F V F V F V F F
V F F F F F V F F F F
F V V V V V F V V V V
F V F V V V F V F F V
F F V V V V F F V F V
F F F V V V F F F F V
 b) ~p  (q  r) implicação
~p  (~q  r) implicação
~(~p )  (~q  r) dupla negação
p  (~q  r) comutativa
~q  (p  r) implicação inversa
~(~q)  (p  r) dupla negação
q  (p  r) são equivalentes
p q r ~p qr ~p  (q  r) p q r pr q  (p  r)
V V V F V V V V V V V
V V F F F V V V F V V
V F V F V V V F V V V
V F F F V V V F F V V
F V V V V V F V V V V
F V F V F F F V F F F
F F V V V V F F V V V
F F F V V V F F F F V
c) (p  r)  (q  r) implicação
(~p  r)  (~q  r) distributiva inversa
(~p  ~q)  r Morgan inversa
~(p  q)  r implicação inversa
(p  q)  r
Não é equivalente
p q r pr qr (p  r)  (q  r) p q r p q (p q)  r
V V V V V V V V V V V
V V F F F F V V F V F
V F V V V V V F V F V
V F F F V F V F F F V
F V V V V V F V V F V
F V F V F F F V F F V
F F V V V V F F V F V
F F F V V V F F F F V