Você está na página 1de 22

49

LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Unidade II
Objetivos
Apresentar regras e estruturas adicionais sobre o uso de proposies. Conceituar implicao lgica,
tautologias, e as propriedade sobre proposies. Apresentar os fundamentos da deduo, mtodos
dedutivos e tcnicas de reduo da quantidade de conectivos.
Introduo
Nesta unidade, sero apresentados temas mais avanados sobre proposies, o que permitir ao
aluno, tcnicas adicionais as j estudadas na unidade anterior, possibilitando assim lidar com operaes
lgicas mais complexas.
3 OPERAES ADICIONAIS SOBRE PROPOSIES
3.1 Implicao lgica
3.1.1 Denio
Uma proposio P (p, q, r,...) implica logicamente uma proposio Q (p, q, r,...) se Q (p, q, r,...)
verdadeira todas as vezes que P (p, q, r,...) for verdadeira.
Verica-se facilmente a implicao observando-se a ltima coluna nas linhas da tabela-verdade
da proposio P, quando elas apresentarem valor verdadeiro. Se, na linha correspondente da tabela-
verdade de Q, obtm-se tambm o valor verdadeiro, conclui-se que P implica Q.
A notao de que a proposio P (p, q, r,...) implica a proposio Q (p, q, r,...) por:
P (p, q, r,...) Q (p, q, r,...)
3.1.2 Propriedades da implicao lgica
A implicao lgica tem as propriedades reexiva e transitiva:
Reexiva: P (p, q, r,...) P (p, q, r,...)
Transitiva: Se P (p, q, r,...) Q (p, q, r,...) e
Q (p, q, r,...) R (p, q, r,...), ento
P (p, q, r,...) R (p, q, r,...)
50
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Exemplos:
1. A tabela-verdade da proposio (p q) ~ p:
Tabela 30
p q p q ~p (p q) ~ p
V V V F F
V F V F F
F V V V V
F F F V F
Essa proposio verdadeira somente na linha 3 e, nessa mesma linha, a proposio q tambm
verdadeira.
Logo, tem-se uma implicao lgica:
(p q) ~p q
2. A tabela-verdade das proposies: p q, p q p q :
Tabela 31
p q p q p q p q
V V V V V
V F F V F
F V F V F
F F F F V
A proposio p q verdadeira somente na linha 1 e, nessa linha, as proposies p q e p q
tambm so verdadeiras. Logo, a primeira proposio implica cada uma das outras duas proposies.
Em smbolos:
p q p q e p q p q
3. A tabela-verdade da proposio (p q) p :
Tabela 32
t q p q (p q) p
V V V V
V F F F
F V V F
F F V F
51
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Essa proposio verdadeira somente na linha 1 e, nesta linha, a proposio q tambm
verdadeira.
Em smbolos:
(p q) p q
4. A tabela-verdade das proposies ( p q) ~q e ~p so:
Tabela 33
p q p q ~q (p q) ~ q) ~p
V V V F F F
V F F V F F
F V V F F V
F F V V V V
A proposio (p q) ~q verdadeira somente na linha 4, e nesta linha, a proposio ~p tambm
verdadeira.
Em smbolos:
(p q) ~ q ~p
3.1.3 Tautologias e implicao lgica
A proposio P (p, q, r,...) implica a proposio Q (p, q, r,...), isto : P (p, q, r,...)
Q (p, q, r,...)
Se e somente se a condicional:
P (p, q, r,...) Q (p, q, r,...) tautolgica
Portanto, a toda implicao lgica corresponde uma condicional tautolgica
e vice-versa (ALENCAR FILHO, 2002).
Da, se P (p, q, r,...) Q (p, q, r,...), ento, tambm se tem:
P (P
0
, Q
0
, R
0
,...) Q (P
0
, Q
0
, R
0
,...)
Quaisquer que sejam a proposies P
0
, Q
0
, R
0
,...
52
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Observao
Observao: os smbolos e so distintos, pois o primeiro de
operao lgica (aplicado, por exemplo, s proposies p e q, d a nova
proposio p q), enquanto o segundo de relao, estabelece que a
condicional P (p, q, r,...) Q (p, q, r,...) tautolgica (ALENCAR FILHO, 2002).
Exemplos (ALENCAR FILHO, 2002):
1. A condicional p ~q q tautolgica, pois a ltima coluna da sua tabela-verdade apresenta
somente valores verdadeiros.
Tabela 34
p q ~p p ~p p ~p q
V V F F V
V F F F V
F V V F V
F F V F V
2. A proposio (p q) p implica a proposio q, pois a condicional (p q) p q tautolgica,
conforme se v pela tabela-verdade:
Tabela 35
p q p q (pq) p (p q) p q
V V V V V
V F F F V
F V F F V
F F V F V
Portanto, (p q) p q.
3.2 Equivalncia lgica
3.2.1 Denio
Diz-se que duas ou mais proposies so logicamente equivalentes quando suas proposies
possuem a mesma tabela-verdade. De maneira mais formal, tem-se:
Uma proposio P (p, q, r,...) logicamente equivalente ou apenas equivalente
a uma proposio Q (p, q, r,...) se as tabelas-verdade dessas duas proposies
so idnticas (ALENCAR FILHO, 2002).
53
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
A notao para uma proposio P (p, q, r,...) ser equivalente a uma proposio Q (p, q, r,...) dada
por:
P (p, q, r,...) Q (p, q, r,...)
3.2.2 Propriedades da equivalncia lgica
A equivalncia lgica tem as seguintes propriedades: reexiva, simtrica e transitiva.
Em smbolos:
Reexiva: P (p, q, r,...) P (p, q, r,...)
Simtrica: Se P (p, q, r,...) Q (p, q, r,...)
Q (p, q, r,...) P(p, q, r,...)
Transitiva: Se P (p, q, r,...) Q (p, q, r,...)
Q (p, q, r) R (p, q, r,...)
P (p, q, r) R (p, q, r,...)
Exemplos (ALENCAR FILHO, 2002):
1. As proposies ~~p e p so equivalentes, isto , ~~p p (regra da dupla negao). o que
demonstra a tabela-verdade:
Tabela 36
p ~p ~~p
V F V
F V F
Notam-se as colunas destacadas, logo, a dupla negao equivale armao.
2. As proposies ~p p e p so equivalentes, isto , ~p p p o que demonstra a tabela:
Tabela 37
p ~ p ~p p
V F V
F V F
54
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
3. A condicional p q e a disjuno ~p q tm tabelas-verdade idnticas:
Tabela 38
p q p q ~p ~p q
V V V F V
V F F F F
F V V V V
F F V V V
Por consequncia, as duas proposies so equivalentes: p q ~p q.
4. As condicionais p p q e p q so equivalentes, isto p p q p q. o que demonstra
a tabela.
Tabela 39
p q p q p p q p q
V V V V V
V F F F F
F V F V V
F F F V V
5. A bicondicional p q e a conjuno (p q) (q p) tm tabelas-verdade idnticas:
Tabela 40
p q p q p q q p (p q) (q p)
V V V V V V
V F F F V F
F V F V F F
F F V V V V
Por consequncia, as duas proposies so equivalentes:
P q (p q) (q p)
3.2.3 Tautologias e equivalncia lgica
A proposio P (p, q, r,...) equivalente proposio Q (p, q, r,...), isto :
P (p, q, r,...) Q (p, q, r,...)
Se e somente se a bicondicional:
P (p, q, r,...) Q (p, q, r,...) tautolgica (ALENCAR FILHO, 2002).
55
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Logo, toda a equivalncia lgica corresponde a uma bicondicional tautolgica e vice-versa.
Se P (p, q, r,...) Q (p, q, r,...), ento tambm se tem:
P (P
0
, Q
0
, R
0
,...) Q (P
0
, Q
0
, R
0
,...)
Quaisquer que sejam as proposies P
0
, Q
0
, R
0
,...
Observao
Os smbolos e so distintos, pois o primeiro de operao lgica
(aplicado, por exemplo, s proposies p e q, d a nova proposio p q),
enquanto o segundo de relao (estabelece que a bicondicional P (p, q,
r,...) Q (p, q, r,...) tautolgica (ALENCAR FILHO, 2002).
3.2.4 Proposies associadas a uma condicional
Dada a condicional p q, chamam-se proposies associadas a p q as
trs seguintes proposies condicionais que contm p e q:
a) Proposio recproca de p q: q p
b) Proposio contrria de p q: ~p ~q
c) Proposio contrapositiva de p q: ~q ~ p
As tabelas-verdade dessas quatro proposies so:
Tabela 41
p q p q q p ~p ~q ~ q ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
E demonstram duas importantes propriedades:
A condicional p q e a sua contrapositiva ~q ~p so equivalentes, ou seja:
p q ~p ~q
A recproca q p e a contrria ~p ~q da condicional p q so
equivalentes, ou seja:
56
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
q p ~p ~q
As mesmas tabelas-verdade tambm demonstram que a condicional p q
e a sua recproca q p ou a sua contrria ~p ~q no so equivalentes.
A contrria de p q tambm denominada a inversa de p q, e a
contrapositiva de p q a contrria da recproca de p q, por isso tambm
denominada contrarrecproca de p q. Tambm se diz que p q a direta
em relao s associadas (ALENCAR FILHO, 2002).
Exemplos adaptados de Alencar Filho (2002):
1. Seja a condicional relativa a um quadriltero Q:
p q: se Q quadrado, ento Q retngulo
A recproca dessa proposio :
q p: se Q retngulo, ento quadrado.
Aqui, a condicional p q verdadeira, mas a sua recproca q p falsa.
2 A contrapositiva da condicional:
p q: Se Joo professor, ento miservel.
~q ~p: Se Joo no miservel, ento no professor.
3. Encontre a positiva da condicional Se x maior que zero, ento x no negativo.
O primeiro passo inferir as proposies bsicas e a elas atribuir uma letra das variveis proposicionais.
Logo, representando por p a proposio x maior que zero e por q a proposio x negativo, note
que em q no foi usada a negao. A condicional na forma simblica ca:
p ~q
Da que a sua contrapositiva :
~~q ~p q ~ p
Isso , em linguagem corrente: Se x negativo, ento x no maior que zero.
4. Seja demonstrada a proposio condicional:
p q: se x
2
mpar, ento x mpar.
57
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
A contrapositiva dessa condicional :
~q ~p: se x par, ento x
2
par.
3.3 Negao conjunta de duas proposies
A conjuno de duas proposies p e q negadas a proposio no p e no q. Esse tipo de negao
denominado de negao conjunta (ALENCAR FILHO, 2002).
Em smbolos:
~ p ~ q
A negao conjunta de duas proposies p e q tambm se indica pela notao p q, em que
apresentada uma seta para baixo. Note que o sentido da seta contrrio ao vrtice do smbolo de
conjuno, ou seja, seta para baixo, o vrtice para cima.
Em smbolos:
p q ~p ~ q
Como a proposio ~p ~q verdadeira somente no caso em que p e q so ambas falsas, ento a
tabela-verdade de p q a seguinte:
Tabela 42
P q p q
V V F
V F F
F V F
F F V
3.4 Negao disjunta de duas proposies
A negao disjunta de duas proposies p e q a proposio no p ou no q, isto , simbolicamente
~p ~ q (ALENCAR FILHO, 2002).
A negao disjunta de duas proposies p e q tambm se indica pela notao p q. Note que o
sentido da seta contrrio ao vrtice do smbolo de disjuno, ou seja, seta para cima, o vrtice para
baixo.
Em smbolos:
p q ~p ~ q
58
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Como a proposio ~p ~ q falsa somente no caso em que p e q so ambas verdadeiras, ento
a tabela-verdade de p q a seguinte :
Tabela 43
p q pq
V V F
V F V
F V V
F F V
Os smbolos e so conhecidos como conectivos de Scheffer.
4 PROPRIEDADES DAS PROPOSIES E FUNDAMENTOS DA DEDUO
4.1 Propriedades das principais proposies
A seguir, sero apresentas as propriedades relacionadas s proposies. A demonstrao destas ser
realizada por meio das tabelas-verdade.
4.1.1 Propriedades da conjuno
Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples, cujos valores
lgicos respectivos so verdadeiro e falso (ALENCAR FILHO, 2002).
1. Idempotente: p p p.
Para demonstrar a equivalncia dessas duas proposies, verica-se que as tabelas-verdade das
proposies p p e p so idnticas, ou seja, a bicondicional p p p tautolgica:
Tabela 44
p p p p p p
V V V
F F V
2. Identidade: p t p e p c c.
As tabelas-verdade das proposies p t e p, p c e c so idnticas respectivamente, ou seja, as
bicondicionais p t p e p c c so tautolgicas:
59
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Tabela 45
p t c p t p c p t p p c c
V V F V F V V
F V F F F V V
3. Associativa: (p q) r p ( q r).
Tabela 46
p q r p q (p q) r q r p (q r)
V V V V V V V
V V F V F F F
V F V F F F F
V F F F F F F
F V V F F F F
F V F F F F F
F V V F F F F
F F F F F F F
Observe-se que a bicondicional (p q) r p (q r ) tautolgica.
4. Comutativa: p q q p.
As tabelas-verdade das proposies p q e q q so idnticas, ou seja, a bicondicional p q q p
tautolgica:
Tabela 47
p q p q q p p q q p
V V V V V
V F F F V
F V F F V
F F F F V
4.1.2 Propriedades da disjuno
Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples, cujos valores
lgicos respectivos so V (verdadeiro) e F (falso) (ALENCAR FILHO, 2002).
1. Idempotente: p p p.
As tabelas-verdade das proposies p p e p so idnticas, ou seja, a bicondicional p p p
tautolgica.
60
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Tabela 48
p p p p p p
V V V
F F V
3. Identidade: p t t e p c p.
As tabelas-verdade das proposies p t e t, p c e c so idnticas respectivamente, ou seja, as
bicondicionais p t t e p c p so tautolgicas:
Tabela 49
p t c p t p c p t t p c p
V V F V V V V
F V F V F V V
3. Associativa: (p q) r p (q r).
As tabelas-verdade das proposies (p q) r e p (q r) so idnticas. Logo, a bicondicional
(p q) p (q r) tautolgica.
Tabela 50
p q r p q (p q) r q r p (q r)
V V V V V V V
V V F V V V V
V F V V V V V
V F F V V F V
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F
4. Comutativa: p q q p.
As tabelas-verdade das proposies p q e q p so idnticas, ou seja, a bicondicional p q q p
tautolgica:
Tabela 51
p q p q q q p q q p
V V V V V
V F V V V
F V V V V
F F F F V
61
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
4.1.3 Propriedades da conjuno e da disjuno
Sejam p, q e r proposies simples quaisquer.
1. Distributivas:
a. p (q r) (p q) (p r);
b. p (q r) (p q) (p r);
As tabelas-verdade das proposies p (q r) e (p q) (p r) so idnticas:
Tabela 52
p q r q r p (q r) p q p r (p q) (p r)
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
Logo, a bicondicional p (q r) (p q) (p r) tautolgica.
Analogamente, so idnticas as tabelas-verdade das proposies p (q r) e (p q) (p r):
Tabela 53
p q r q r p (q r) p q p r (p q) (p r)
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
Logo, a bicondicional p (q r) (p q) (p r) tautolgica.
62
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
2. Absoro:
p (p q) p e p (p q) p.
As tabelas-verdade das proposies p (p q) e p so respectivamente idnticas, ou seja, a
bicondicional p (p q) p tautolgica:
Tabela 54
p q p q p (p q) p (p q) p
V V V V V
V F V V V
F V V F V
F F F F V
Analogamente, so idnticas as tabelas-verdade das proposies p (p q) e p, ou seja, a bicondicional
p (p q) p tautolgica:
Tabela 55
p q p q p (p q) p (p q) p
V V V V V
V F F V V
F V F F V
F F F F V
3. Regras de De Morgan:
Essas propriedades so muito utilizadas nos mais diversos ramos da computao, logo, so muito
importantes.
a. ~ (p q) ~ p ~q;
b. ~(p q) ~ p ~q.
As tabelas-verdade das proposies ~ (p q) e ~p ~ q so idnticas:
Tabela 56
p q p q ~(p q) ~p ~ q ~ p ~q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V F V V
63
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Logo, a bicondicional ~(p q) ~ p ~q tautolgica.
Analogamente, so idnticas as tabelas-verdade das proposies ~(p q) e ~ p ~ q:
Tabela 57
p q p q ~(p q) ~ p ~ q ~p ~ q
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 F V V
Logo, a bicondicional ~(p q) ~p ~q tautolgica.
As regras de De Morgan mostram como possvel denir a disjuno a partir da conjuno e da
negao, ou a conjuno a partir da disjuno e da negao:
p q ~ (~ p ~ q);
p q ~ (~ p ~ q).
4.1.4 Negao da condicional
Como p q ~ p q, negando-se a condicional, tem-se:
~(p q ) ~ (~p q ) ~~p ~q p ~q
O pode ser vericado pela tabela-verdade das proposies ~(p q) e p ~q, que so idnticas:
Tabela 58
p q p q ~(p q) ~ q p ~q
V V V F F F
V F F V V V
F V V F F F
F F V F V F
4.1.5 Negao da bicondicional
Sabendo-se que pq (pq) (qp) e pq (~p q) (~q p), que foram examinados nos tpicos
anteriores, e aplicando-se a negao da condicional, obtm-se de forma anloga a negao da condicional:
~(p q) ~(~p q) ~ (~ q p)
~(p q) (~~p ~q) (~~ q ~ p)
64
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Portanto:
~ (p q) (p ~q) (~ p q)
A bicondicional p q no possui a propriedade idempotente, pois imediato que no so idnticas
as tabelas-verdade das proposies p p e p, mas possui as propriedades comutativa e associativa
(ALENCAR FILHO, 2002).
4.2 Mtodo dedutivo
As implicaes e equivalncias foram demonstradas usando-se as tabelas-verdade. Essa abordagem
perfeitamente vlida, porm, quando as sentenas lgicas tornam-se mais complexas, seu uso torna-se
invivel. Neste tpico, as demonstraes das implicaes e equivalncias sero realizadas por um
mtodo mais eciente, denominado mtodo dedutivo. Nele, usar-se- com frequncia as propriedades
das proposies estudas anteriormente (ALENCAR FILHO, 2002).
Para auxlio nas demonstraes, sero realizadas as seguintes suposies: sero dadas as proposies
simples p, q, r, a proposio t sempre verdadeira e a proposio c sempre falsa. Elas sero substitudas,
respectivamente, por proposies compostas P, Q, R, T (tautologia) e C (contradio) quando for o
caso.
Exemplos (ALENCAR FILHO, 2002):
1. Demonstrar as implicaes:
a. c p
b. p t
onde p uma proposio qualquer, c e t so proposies cujos valores lgicos respectivos so F e V.
Demonstrao:
Sabe-se, do exposto no tpico sobre implicaes, que p q e ~p q so proposies equivalentes,
e que uma implicao verdadeira se a condicional tautolgica, logo, se provamos que a condicional
referente implicao tautolgica, provamos ento que a proposio vlida.
Da equivalncia p q ~p q e do fato que V(c) = F e V(t)=V, seguem-se:
a. c p ~c p t p t;
b. p t ~p t t .
As tabelas-verdade de c p e p t mostram que essas condicionais so tautolgicas:
65
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Tabela 59
p c t c p p t
V F V V V
F F V V V
Porm, a meta aqui no usar o artifcio da tabela-verdade para demonstrar a proposio.
2. Demonstrar a implicao: p q p (simplicao):
Demonstrao:
Parte-se da equivalncia p q ~p q, depois, usa-se a propriedade de De Morgan que arma
que a negao de uma conjuno a disjuno das negaes e, por m, pela comutao da disjuno,
prova-se a tautologia T.
p q p ~(p q) p (~p ~q) p (~p p) ~ q T ~q T
3. Demonstrar a implicao: p p q (adio).
Demonstrao:
Se a condicional for tautolgica, prova-se a implicao. Para isso, usa-se a equivalncia
p q ~p q aplicada proposio que se deseja demonstrar, a partir da qual se chega
a uma expresso com duas disjunes, sobre as quais se aplica a propriedade distributiva, de
onde obtm-se a tautologia.
p p q ~ p (p q) (~ p p) p T q T
4. Demonstrar a implicao (p q) p q (modus ponens).
Demonstrao:
(p q) p p (~ p q) (p ~p) (p q) C (p q) p q q
5. Demonstrar a implicao (p q) ~ q ~p (modus tollens).
Demonstrao:
(p q) ~q (~p q) ~q (~p ~q) (q ~q)
(~ p ~q) C ~p ~q ~p
6. Demonstrar a implicao (p q) ~p q (silogismo disjuntivo).
66
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Demonstrao:
(p q) ~ p (p ~p) (q ~ p) C (q ~p) q ~ p q
7. Demonstrar a implicao p q p q.
Demonstrao:
p q p q ~ (p q) (p q) (~p ~q) (p q) (~p p) (~q q) T T T
8. Demonstrar a implicao p q p.
Demonstrao:
p (q p) ~p (q p) ~p (~q p) (~q p) (~p p) ~q T ~q T
9. Demonstrar a implicao p ~p q.
Demonstrao:
p (~p q) ~p (~p q) ~ p (~~p q) ~p (p q) (~p p) q T q T
10. Demonstrar a implicao: p q p r q.
Demonstrao:
(p q) (p r q) (p q) (p r q)
~(~p q) (~)p r) q)
(~~p ~q) ((~p ~r) q)
(p ~q) ~(p ~q)) ~r
T ~r T
4.3 Reduo do nmero de conectivos
So cinco conectivos fundamentais (~, , , , ). Ver-se- que possvel que trs deles podem
ser expressos em termos de apenas dois dos seguintes pares:
1. ~ e
2. ~ e
3. ~ e
67
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
Demonstrao:
1. , e pode ser escrito em funo de ~ e :
p q ~~ p ~~ q ~ (~ p ~ q)
p q ~p q
p q (p q) (q p) ~(~ p q) ~( ~q q))
2. , e pode ser escrito em funo de ~ e :
p q ~~p ~~q ~(~p ~ q)
p q ~p q ~(p ~q)
p q (p q) (q p) ~(p ~q) ~(~p q)
3. , e pode ser escrito em funo de ~e :
p q ~(~ p ~q) ~(p ~q)
p q ~ ~p q ~p q
p q (p q) (q p) ~((p q) ~(q p))
4.4 Forma normal das proposies
Uma proposio est na forma normal (FN) se e somente se a proposio contm apenas os conectivos
~, e .
Exemplos:
As proposies a seguir esto na FN:
a. ~p ~q
b. ~(~ p ~q)
c. (p q) (~q r)
Observao: Toda proposio pode ser levada para uma FN equivalente pela eliminao dos conectivos
e , se existirem, isto , pela substituio de p q por ~p q e de p q por (~ p q) (p ~q).
68
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
4.5 Princpio de dualidade
Seja P uma proposio que s contm os conectivos ~, e . A proposio que
resulta de P trocando cada smbolo por e cada smbolo por chama-se
dual de P. Assim, por exemplo, a dual de ~((p q) ~r) ~((p q) ~ r).
Princpio de dualidade: se P e Q so proposies equivalentes que s contm
os conectivos ~, e V, ento as suas duais respectivas P
1
e Q
1
tambm so
equivalentes.
Assim, por exemplo, da equivalncia p (p q) p deduz-se, pelo princpio
de dualidade, a equivalncia p (p q) p.
Analogamente, a partir de (p ~p) q q deduz-se, pelo princpio de
dualidade: (p ~ p) q q (ALENCAR FILHO, 2002).
Tabela 60
Tipos de tringulos
Tringulo
equiltero
(3 lados iguais)
issceles
(2 lados iguais)
escaleno
(todos os lados diferentes)
Acutngulo
ngulos internos < 90
o
Retngulo
1 ngulo = 90
o
Obtusngulo
1 ngulo > 90
o
Resumo
Resumo
Nesta unidade, foram apresentados aspectos mais avanados da lgica
proposicional, entre eles, o que uma equivalncia. Alm disso, vericou-se o
69
LGICA
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
que recproca, contrria e contrapositiva, e a relao entre tautologia e
implicao.
Finalmente, demonstrou-se o mtodo dedutivo e verificou-se
que o uso das propriedades das proposies fundamental nesse
mtodo.
Exerccios
Questo 1. (ICMS, 1997, adaptado) Se Rodrigo mentiu, ento ele culpado. Logo:
A) Rodrigo culpado.
B) Se Rodrigo no mentiu ento ele no culpado.
C) Rodrigo mentiu.
D Se Rodrigo no culpado, ento ele no mentiu.
E) Se Rodrigo culpado, ento ele mentiu.
Resposta correta: alternativa D.
Anlise das alternativas
Se Rodrigo mentiu, ento ele culpado:
Se p ento q ou p q.
Onde o p antecedente e condio suciente para que ocorra q.
Onde o q consequente e condio necessria para que ocorra p.
Dado que p q, posso armar que ~p ~q.
Analisando as alternativas, tome cuidado com a alternativa B, pois ao negar o antecedente (negando
a condio suciente) nada sei sobre o consequente (nada posso armar quanto condio necessria).
J a alternativa D, a vericao lgica, pois ao negar a condio necessria (o consequente) eu nego
a condio suciente (o antecedente).
H a possibilidade de engano com a alternativa E, ou seja, se Rodrigo culpado ento ele mentiu.
Veja que esta armao pode ser representada por q p. Na tabela-verdade possvel comprovar que
(Se Rodrigo mentiu, ento ele culpado: p q) e (Se Rodrigo culpado, ento ele mentiu: q p) no
so equivalentes lgicas. Observe:
70
Unidade II
R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

D
i
a
g
r
a
m
a

o
:

L

o

-

1
2
/
0
5
/
1
1


/
/


2


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
0
/
0
5
/
2
0
1
1


/
/


3


R
e
v
i
s

o
:

L
e
a
n
d
r
o

-

C
o
r
r
e

o
:

M

r
c
i
o

-

2
7
/
0
5
/
2
0
1
1
p q p q q p
V V V V
V F F V
F V V F
F F V V
Observe que as proposies p q e q p no apresentam os mesmos valores lgicos, ou seja,
armar uma no quer dizer armar a outra. Sendo assim:
A) Alternativa incorreta.
Justicativa: no condiz com a anlise inicial e nem com a tabela-verdade construda.
B) Alternativa incorreta.
Justicativa: no condiz com a anlise inicial e nem com a tabela-verdade construda.
C) Alternativa incorreta.
Justicativa: no condiz com a anlise inicial e nem com a tabela-verdade construda.
D) Alternativa correta.
Justicativa: Condiz com a anlise inicial
E) Alternativa incorreta.
Justicativa: no condiz com a anlise inicial e nem com a tabela-verdade construda.
Questo 2. (SAE-PE/2008) Leonardo disse a Fernanda: - Eu jogo futebol ou voc no joga golfe.
Fernanda retrucou: - isso no verdade.
Sabendo que Fernanda falou a verdade, correto armar que:
A) Leonardo joga futebol e Fernanda joga golfe.
B) Leonardo joga futebol e Fernanda no joga golfe.
C) Leonardo no joga futebol e Fernanda joga golfe.
D) Leonardo no joga futebol e Fernanda no joga golfe.
E) Leonardo no joga futebol ou Fernanda joga golfe.
Resoluo desta questo na Plataforma.