RACIOCNIO LGICO

CONTEDO: LGICA DAS PROPOSIES

10 - CONVERSO DE CONECTIVOS
possvel transformar proposies ligadas pelos conectivos "Se...ento..." (CONDICIONAL),
"Ou...Ou..." (DISJUNO EXCLUSIVA) e "...se e somente se..." (BICONDICIONAL) em proposies
equivalentes que usam apenas os conectivos "e" (CONJUNO) e "ou" (DISJUNO). Estas
transformaes so importantes principalmente nas negaes de proposies compostas pela
condicional, pela disjuno exclusiva e pela bicondicional, bem como quando se trabalha com
programas de planilhas como o Excel.
- A CONDICIONAL
Construindo as tabelas verdade da condicional p q e da disjuno ~p q, tem-se:
p

p q

~p

~p q

F F V
V
F
F
V
Observe que as tabelas dos valores lgicos de p q e ~p q so iguais. Assim, pode-se concluir
que as duas proposies se equivalem.
Isto :
"Se Maria estudiosa ento Maria aprovada" equivalente a "Maria no estudiosa
ou Maria aprovada".

Isto ser aplicado nos itens posteriores.

Obs: o sinal significa "equivale a".
- A BICONDICIONAL
Conforme j visto anteriormente, a bicondicional uma conjuno de duas condicionais.
Isto p q (p q) (q p).
Levando em considerao o exposto na correspondncia da condicionais, pode-se escrever:
p q (p q) (q p) (~p q) (~q p).
Ser provado futuramente que p q (p q) (~p ~q) quando forem estudadas as
propriedades dos conectivos e for definida a proposio "contradio".

13

- A DISJUNO EXCLUSIVA
Revendo as tabelas da bicondicional e da disjuno exclusiva, tem-se:

p
p

q
q

p q
V V

V F

F V V F
Conforme se pode observar a disjuno exclusiva a negao da bicondicional. Pode-se ento
escrever:

11 - NEGAO DE PROPOSIO COMPOSTA

Negar proposies como,
(1) Maria bonita ou Joo foi ao cinema,
(2) ele bebe e no fica tonto,
(3) se Joo no foi ao cinema ento Maria comprou o filme,
primeira vista parece que basta negar cada proposio simples que compem a proposio
composta. Porm no bem assim, como ser visto a seguir por meio de tabelas verdade.
- NEGAO DA DISJUNO E DA CONJUNO
Negar uma disjuno consiste em negar cada uma das proposies combinadas e trocar o
conectivo "ou" pelo conectivo "e".
Da mesma forma, negar uma conjuno consiste em negar cada uma das proposies e trocar o
conectivo "e" pelo conectivo "ou".
As tabelas a seguir mostram a validade dessas afirmaes.
(1) Para a DISJUNO
p q

p ~(p
~p
~p ~q
q q)
~q

V V V

V F V

F V V

F F

1 2 3

Observando as colunas 4 e 7 da tabela v-se que

~(p q) ~p ~q.

Exemplos:
(I) a negao de "Maria bonita ou Maria estudiosa" "Maria no bonita e Maria no
estudiosa".
(II) a negao de "Maria no bonita ou Maria estudiosa" "Maria bonita e Maria no
estudiosa".

14

(2) Para a CONJUNO

p q

p
~(p q) ~p ~q
q

~p ~q

V V

V F

F V

F F

1 2

Da tabela, colunas 4 e 7, resulta

~(p q) ~p ~q

- NEGAO DA CONDICIONAL
Do exposto no item 10 anterior, a condicional p q, equivale a ~p q.
Tem-se ento: ~(p q) ~(~p q). Aplicando o princpio da negao da disjuno resulta:
~(p q) ~(~p q) ~(~p) ~q p ~q.
Portanto,
~(p q) p ~q.
Assim, a negao da proposio "se chove ento faz frio" "chove e no faz frio".
- NEGAO DA BICONDICIONAL
Da equivalncia p q (~p q) (~q p), tira-se ~(p q) (~p q) (~q p)].
Usando a negao da conjuno:
~(p q) (~p q) (~q p)] (~p q) ~(~q p).
Aplicando a negao da disjuno nos dois termos, resulta:
~(p q) (p ~q) (q ~p).
Usando a distributividade da disjuno em relao conjuno:
~(p q) [(p ~q) q] (p ~q) (~p)]
Reaplicando a distributividade da disjuno em relao conjuno:
~(p q) p q) ~q q)] p ~p) (~q ~p) ].
Ora, ~q q) e (p~p) so verdades absolutas. O julgamento de uma proposio qualquer ligada
a uma verdade absoluta pelo conectivo "e", depende apenas da veracidade ou no de tal proposio.
Deste modo, conclui-se que:
~(p q) p q) (~q~p).
Exemplo: a negao da proposio "Maria fica feliz se e somente se Pedro est presente"
"Maria fica feliz ou Pedro est presente e Maria no fica feliz e Pedro no est presente".
- A DISJUNO EXCLUSIVA
Revendo as tabelas da bicondicional e da disjuno exclusiva, tem-se:

p q

p
q

pq

V V

V F

F V

F F

Da tabela conclui-se que:

a negao do "se e somente" se a "disjuno exclusiva".

15

~(p q) p q.
Neste caso, a negao de "Maria fica feliz se e somente se Pedro est presente" tambm
"ou Maria fica feliz ou Pedro est presente".

12 - TAUTOLOGIA, CONTRADIO E CONTINGNCIA

(1)
(2)
(3)
(4)

Construindo as tabelas verdades das seguintes proposies

P(p, q) = (p q) (q p),
P(p, q) = ~(p q) (p q),
P(p, q) = ~p (p ~q),
P(p, q) = ~(p q) (p q), tem-se:
p

q q p (p q) (q p)

~(p p ~(p q) (p
q)
q
q)

~q

p
~q

~p (p ~q)

q ~p

~(p p
q) q

~(p q) (p q)

Como se pode perceber independente dos valores lgicos das proposies p e q, o valor lgico das
proposies compostas (1) e (2) sempre verdadeiro e o valor lgico das compostas (3) e (4)
sempre falso.
Toda proposio composta cujo nico valor lgico verdadeiro denomina-se TAUTOLOGIA
enquanto que as proposies que apresentam apenas o valor lgico falso so chamadas de
CONTRADIO. Quando no julgamento de uma proposio apresentarem os valores falso e
verdadeiro, a mesma denominada CONTINGNCIA.
Definem-se ento:
(1) TAUTOLOGIA a proposio composta cujo nico valor lgico
VERDADEIRO.
(2) CONTRADIO a proposio composta cujo nico valor lgico
FALSO.
(3) Proposies compostas que apresentam valores lgicos FALSO e

16

VERDADEIRO
so denominadas CONTINGNCIAS.

EXERCCIOS
01 - Negue as proposies:
a) Maria bonita e Maria estudiosa.
b) Maria bonita ou Maria estudiosa.
c) Maria no bonita e Maria no estudiosa.
d) Maria no bonita ou Maria no estudiosa.
e) Maria no bonita ou Maria estudiosa.
f) Maria bonita e Maria no estudiosa.
g) Maria bonita ou Maria no estudiosa.
h) Se cabea de bagre dura ento eu pesquei um bagre.
i) Se eu no for aula ento meu pai ir me por de castigo.
j) Joo casar com Maria, se e somente se Maria bonita.
02 - (Fiscal Trabalho/98) A negao da afirmao condicional "se estiver chovendo, eu levo o
guarda-chuva" :
a) se no estiver chovendo, eu levo o guarda-chuva.
b) no est chovendo e eu levo o guarda-chuva.
c) no est chovendo e eu no levo o guarda-chuva.
d) se estiver chovendo, eu no levo o guarda-chuva.
e) est chovendo e eu no levo o guarda-chuva.
03. (MPOG/2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente
equivalente a dizer que:
a) Andr artista se e somente se Bernardo no engenheiro.
b) Se Andr artista, ento Bernardo no engenheiro.
c) Se Andr no artista, ento Bernardo engenheiro
d) Se Bernardo engenheiro, ento Andr artista.
e) Andr no artista e Bernardo engenheiro.
04 - (ESAF-AFC-2002) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente
equivalente a dizer que verdade que:
a) Pedro no pobre ou Alberto no alto.
b) Pedro no pobre e Alberto no alto.
c) Pedro pobre ou Alberto no alto.
d) se Pedro no pobre, ento Alberto alto.
e) se Pedro no pobre, ento Alberto no alto.
05 - Dizer que "Amrico no mdico ou Lucas dentista" o mesmo que dizer:
A) se Amrico mdico, ento Lucas dentista.
B) se Amrico mdico no mdico, ento Lucas dentista.
C) se Lucas dentista, ento Amrico mdico.
D) se Amrico mdico, ento Lucas no dentista.
E) se Amrico no medico, ento Paulo no dentista.
06 - No verdade que "se eu morrer ento eu vou para o cu" ento:
A) eu vou morrer ou no vou para o cu.
B) eu no vou morrer e vou para o cu.
C) eu vou morrer ou eu vou para o cu.
D) eu no vou morrer ou eu no vou para o cu.
E) eu vou morrer e no vou para o cu.
07 - Mostre que:
a) p q p q
c) p q p
e) (p q) (q p)

b) p q q p
d) p q q
f) ~(p ~q) ~p q.

17

08 - Dadas as proposies abaixo, verifique quais so tautologias, quais so contradies e quais

so contingncias.
a) (p q) ((p q) (q r))
b) ((p q) p) q
c) (p q) (p ~q)
d) p (p q) r
e) ~(~p q) (p q)
f) p (q (q p)
g) (p q) ~(p q)
h) (q p) (p q)
i) (p q) ((p r) (q r))

18