Вы находитесь на странице: 1из 29

U3

Raciocnio

lgico
lgico

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

LGEBRA DE
PROPOSIES E
PROBLEMAS DE
CORRELAO
Objetivo do estudo
- Ao final desta unidade esperamos que voc seja capaz
de atribuir valores lgicos a proposies simples e
compostas, relacionar duas ou mais proposies atravs
de um conectivo lgico e construir tabelas verdade para
proposies compostas; utilizar estruturas lgicas para
estabelecer relaes arbitrrias entre pessoas, lugares,
coisas e eventos, estando, dessa forma, completamente
apto a deduzir novas informaes a partir de um conjunto
de relaes e informaes previamente fornecidas.

Proposio
2

lgebra de proposies e problemas de correlao

T1

Raciocnio Lgico | UNISUAM

CONCEITOS DE PROPOSIES
Nesta aula iremos abordar os conceitos de proposio, proposio simples e composta,
conectivos lgicos e tabelas verdade. Iremos explicar os dois princpios fundamentais da lgica
e apresentar as operaes lgicas de negao, conjuno, disjuno, implicao e dupla
implicao, mostrando como construir uma tabela verdade a partir de uma proposio composta.
Vamos comear esta aula apresentando algumas ideias e conceitos bsicos que sero
bastante necessrios para o entendimento das operaes lgicas. Est pronto?

Proposio

Chama-se proposio a todo conjunto de palavras ou smbolos que exprimem um


pensamento de sentido completo. Ou seja, explicando melhor, uma proposio uma
declarao afirmativa ou negativa que faa sentido.
Portanto, uma proposio pode ser verdadeira ou falsa.
Quando ela for verdadeira, iremos atribuir-lhe o valor lgico (V); quando for falsa, iremos
atribuir-lhe o valor lgico (F).
Os seguintes princpios regem a Lgica Proposicional:
1) Princpio do terceiro excludo
Uma proposio s pode assumir um de dois valores possveis, ou verdadeiro ou falso, no
meio termo.
2) Princpio da no contradio
Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
3) Princpio da identidade
Se uma proposio verdadeira ela verdadeira e se uma proposio falsa ela falsa.

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Preste ateno e examine as seguintes sentenas:


Sentena 1: Ser que vai chover?
Isto no uma proposio, pois uma sentena interrogativa, que exprime dvida.
Sentena 2: Luiz Andr, vire para frente, preste ateno e cale a boca!
Isto no uma proposio, pois uma sentena imperativa.
Sentena 3: A Lua satlite da Terra.
Isto uma proposio, pois uma declarao afirmativa de sentido completo.
Sentena 4: A cidade do Rio de Janeiro a capital do Brasil.
Isto uma proposio, pois uma declarao afirmativa de sentido completo.
Como as sentenas 3 e 4 so proposies, podemos atribuir a cada uma delas um valor lgico.
A sentena 3 uma proposio lgica que assume o valor lgico verdadeiro (V), enquanto a
sentena 4 uma proposio lgica que assume que assume o valor lgico falso (F).
Sentena 5: O dobro de 4 no igual a 10.
Isto uma proposio, pois uma declarao negativa de sentido completo.
Analisando esta declarao, podemos atribuir-lhe valor lgico verdadeiro (V).
Sentena 6: O dobro do nmero x igual a 10.
Isto uma proposio, pois uma declarao afirmativa de sentido completo. Mas observe
que, neste caso, o valor lgico da proposio depende do valor atribudo varivel x. Este
tipo de sentena chamado de proposio aberta.
Observe outros exemplos de sentenas abertas:
- A cidade em que nasci a capital da Argentina.
- 2 x + 3 < 5.
- O triplo da minha idade igual idade de meu pai.
Agora tente voc mesmo examinar as seguintes sentenas, identificando inicialmente se a
sentena ou no uma proposio e depois, quando possvel, atribuindo-lhe um valor lgico:
1. Tiradentes morreu afogado.
2. O valor de sete mais dois igual a nove.
3. O valor de x somado a quinze menor do que vinte.
4. Braslia no a capital do Brasil.
5. Ser que eu estou entendendo a matria?

Soluo:
1. proposio. Valor lgico falso (F).
2. proposio. Valor lgico verdadeiro (V).
3. proposio. No se pode atribuir valor lgico, pois uma proposio aberta.
4. proposio. Valor lgico falso (F).
5. No proposio.

Espero que voc esteja gostando de estudar conceito de proposies.


Vamos continuar?

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Proposio simples e proposio composta


Existem proposies simples e proposies compostas.
A proposio simples, como o prprio nome indica, uma proposio isolada, que no
contm nenhuma outra proposio como parte de si mesma. Em geral representamos cada
proposio simples por letras minsculas, p, q, r, s,..., chamadas letras proposicionais.
Observe atentamente os exemplos a seguir:
p: Luza morena.
q: Paulo atleta.
r: O nmero 2 par.
s: 2 2 = 4 .
A proposio composta aquela que formada por duas ou mais proposies simples,
que so ligadas atravs de conectivos lgicos (que iremos explicar detalhadamente daqui
a pouco). Em geral representamos uma proposio composta por uma letra maiscula.
Observe atentamente os exemplos a seguir:
P: Luza no morena.
Q: Luza morena e Paulo atleta.
R: Luza morena ou Paulo atleta.
S: Se a Lua satlite da Terra ento a Lua branca.
T: O nmero 2 par, se e somente se, 2 2 = 4 .
Repare que as palavras em negrito em cada uma das proposies compostas acima so
justamente os conectivos lgicos.
Vamos treinar?
Determine se as proposies so Simples (S) ou Compostas (C):
a) Maria estuda e trabalha.
b) Mrio feio.
c) 3 um nmero mpar.
d) Mrcia jogadora ou estudante.
e) Paulo rico e feliz.
f) 32 mltiplo de 4.
g) Paris a capital da Frana.
h) Pedro estudioso e Maria bonita.
i) Celso pobre ento infeliz.
j) Joo velho.
l) Ou Carla vai festa ou fica em casa.
m) 13 nmero e primo.

Soluo:
a) Composta

g) Simples

b) Simples

h) Composta

c) Simples

i) Compota

d) Composta

j) Simples

e) Composta

l) Composta

f) Simples

m) Simples

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Conectivos lgicos e princpios fundamentais da lgica


Chamam-se conectivos lgicos as palavras utilizadas para formar novas proposies a
partir de proposies simples ou compostas.
Os cinco conectivos lgicos comumente usados so:
no,
e,
ou,
se... ento
se e somente se.

Veja na tabela abaixo como representamos cada um dos conectivos lgicos.


Operao

Conectivo

Estrutura Lgica

Exemplos

Negao

No p

A bicicleta no azul

Conjuno

peq

Thiago mdico e Joo


Engenheiro

Disjuno

p ou q

Thiago mdico ou Joo


Engenheiro

Condicional

Se p ento q

Se Thiago Mdico ento


Joo Engenheiro

Bicondicional

p se e somente se q

Thiago mdico se e
somente se Joo Mdico

Ento temos:
Negao (no): ~
Conjuno (e):
Disjuno (ou):
Condicional (se...ento): ,
Bicondicional (se e somente se):

exemplos

Vamos ver alguns exemplos para facilitar o aprendizado?


EXEMPLO 1:
Para afirmao p: Est chovendo e q: Eu estou dentro de casa.
O significado das afirmaes est chovendo e eu estou dentro de casa transformado quando
as duas so combinadas com conectivos lgicos:
Est chovendo e eu estou dentro de casa (p q)
Se est chovendo, ento eu estou dentro de casa. (p q)
Se eu estou dentro de casa, ento est chovendo. (q p)
Eu estou dentro de casa se e somente se est chovendo (q p)
No est chovendo (~P)

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

EXEMPLO 2:
Para afirmao p = Paulo no advogado.
Temos: Paulo no advogado.
Negao: NO p, onde a negao de p : Paulo advogado.
EXEMPLO 3:
Para afirmao p: O nmero 3 mpar e q: O nmero 4 par.
Temos: O nmero 3 mpar e o nmero 4 par.
Conjuno: p E q
EXEMPLO 4:
Para afirmao p: Joana professora e q: Joana mdica.
Temos: Joana professora ou mdica.
Disjuno: p OU q
EXEMPLO 5:
Para afirmao p: Ana mdica e q: Ana estudou anatomia.
Temos: Se Ana mdica ento Ana estudou anatomia.
Condicional: SE p ENTO q
EXEMPLO 6:
Para afirmao p: O nmero par e q: O nmero mltiplo de 2.
Temos: Um nmero par se e somente se o nmero mltiplo de 2.
Bicondicional: p SE E SOMENTE SE q
Espero que voc tenha gostado de estudar conectivos lgicos.

T2

PRINCPIOS FUNDAMENTAIS DA LGICA


Vamos comear recordando o que j foi comentado!
A lgica matemtica adota como regras fundamentais do pensamento os trs seguintes
princpios lgicos:
1) Princpio do terceiro excludo
Uma proposio s pode assumir um de dois valores possveis, ou verdadeiro ou falso, no
meio termo.
2) Princpio da no contradio
Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
3) Princpio da identidade
Se uma proposio verdadeira ela verdadeira e se uma proposio falsa ela falsa.
A aplicao destes trs princpios permite afirmar que, sempre que uma proposio for
verdadeira, ento a sua negao ser falsa e vice-versa, correto?
Para determinar o valor (verdade ou falsidade) das proposies compostas, conhecidos os
valores das proposies simples que as compem usaremos tabelas-verdade.

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Tabela verdade
Uma tabela verdade um tipo de tabela matemtica utilizada em lgica para determinar o
valor de uma proposio composta.
Na tabela verdade, cada proposio simples ou composta e todos os seus valores lgicos
possveis so representados.

exemplo

EXEMPLO:
Considere a proposio simples p: Paulo advogado.
Pelos dois princpios fundamentais da lgica, sabemos que essa proposio poder assumir
os valores (V) ou (F); portanto sua tabela verdade ser:

p
V
F
Considere agora o caso de uma proposio composta cujas proposies simples componentes
so p: Paulo advogado e q: Joana mdica.
O valor lgico da proposio composta depender unicamente dos valores lgicos das
proposies simples componentes.
Portanto, necessrio, ao construir a tabela verdade, representar nas duas primeiras colunas
todos os valores lgicos possveis para as proposies p e q. Logo:

P
V
V
F
F

q
V
F
V
F

Importante: No necessrio decorar tabelas verdade, pois elas so apenas um instrumento


para nos auxiliar quando precisamos tirar alguma concluso sobre algum resultado.
Utilizando tabelas-verdade
Agora que j aprendemos um pouco sobre tabelas verdade vamos utiliz-las no estudo das
operaes lgicas fundamentais, que so justamente as operaes definidas pelos cinco
conectivos que j estudamos anteriormente:

1 negao:

Chama-se negao de uma proposio p a proposio representada por no p cujo valor


lgico a verdade (V) quando p falsa (F) e a falsidade (F) quando p verdadeira (V).
Indica-se a negao da proposio p por ~p.
Tabela verdade da Negao:

p
V
F

~p
F
V

lgebra de proposies e problemas de correlao

exemplo

Raciocnio Lgico | UNISUAM

EXEMPLO:
A negao da proposio p: Clara fisioterapeuta a proposio ~p: Clara no fisioterapeuta.
Voc deve tomar cuidado, pois algumas vezes uma proposio contradiz outra proposio
sem ser a sua negao.
Veja o seguinte caso:
p: O lpis branco.
q: O lpis vermelho.
Essas duas proposies se contradizem, uma vez que no podem ser verdadeiras ao mesmo
tempo. Entretanto, como ambas podem ser falsas simultaneamente (caso a cor do lpis seja
azul), uma proposio no a negao da outra. Em outras palavras, o fato de o lpis no
ser branco nos permite afirmar que ele ser vermelho?
Claro que no!

2 disjuno:

Chama-se disjuno de duas proposies p e q a proposio representada por p ou q cujo


valor lgico a verdade (V) quando ao menos uma das proposies p e q verdadeira (V)
e a falsidade (F) quando ambas as proposies p e q so falsas.
Indica-se a disjuno das proposies p ou q por pVq.
Tabela verdade da disjuno:

p q

Observe que, em uma operao de disjuno, o resultado ser falso apenas quando todas
as proposies envolvidas na operao forem falsas.

exemplo

EXEMPLO 1:
p: 5 um nmero par
q: Braslia a capital do Brasil

(F)
(V)

Soluo:
Aplicando a tabela da verdade:

p q

Temos, 5 um nmero par ou Braslia a capital do Brasil, logo a proposio verdadeira (V).

lgebra de proposies e problemas de correlao

exemplo

Raciocnio Lgico | UNISUAM

EXEMPLO 2:
p: Buenos Aires a capital da Argentina
q: 11 7 = 3
(F)

(V)

Soluo:
Aplicando a tabela da verdade:

p q

Temos, Buenos Aires a capital da Argentina ou 11 - 7 = 3 , logo a proposio verdadeira (V).

leia com ateno

3 conjuno:

voc vai precisar depois

Chama-se conjuno de duas proposies p e q a proposio representada por p e q cujo


valor lgico a verdade (V) quando as proposies p e q so ambas verdadeiras e a falsidade
(F) nos demais casos.
Indica-se a conjuno das proposies p e q por p q.

na pg 12

Tabela verdade da conjuno:

pq

Observe que, em uma operao de conjuno, o resultado ser verdadeiro apenas quando
todas as proposies envolvidas na operao forem verdadeiras.

exemplo

EXEMPLO 1:
p: 5 um nmero par
q: Braslia a capital do Brasil

(F)
(V)

Soluo:
Aplicando a tabela da verdade:

pq

Temos, 5 um nmero par e Braslia a capital do Brasil, logo a proposio falsa (F).
EXEMPLO 2:
p: O girassol amarelo.
q: 9 um nmero mpar.

(V)
(V)

Soluo:
Aplicando a tabela da verdade:

pq

V
10

lgebra de proposies e problemas de correlao

leia com ateno


voc vai precisar depois
na pg 14

Raciocnio Lgico | UNISUAM

4 condicional:

Chama-se condicional uma proposio representada por se p ento q cujo valor lgico a
falsidade (F) no caso em que p verdadeira e q falsa e a verdade (V) em todos os demais
casos. Indica-se a implicao das proposies p e q por p q.
Tabela verdade da implicao ou condicional:

pq

Em uma condicional, a primeira proposio (p) chamada de antecedente ou hiptese e


a segunda proposio (q) chamada de consequente.
Observe que, em uma operao de implicao ou condicional, o resultado ser falso apenas
quando o antecedente for verdadeiro e o consequente for falso.
primeira vista, as duas ltimas linhas desta tabela verdade podem parecer estranhas para
voc. As afirmaes de que V V verdadeiro e V F falso so intuitivas. Mas
como entender que F F verdadeiro e F F tambm verdadeiro?
Imagine a seguinte situao: voc prometeu sua me que, sempre que estiver chovendo,
quando voc for sair de casa, voc levar o guarda-chuva com que ela lhe presenteou.
As proposies simples so as seguintes:
p: Est chovendo.
q: Eu levo o guarda-chuva.
A proposio condicional ou a implicao a seguinte:
P: Se est chovendo ento eu levo o guarda-chuva. ( P :

p q)

Vamos analisar o que pode acontecer:


I) Est chovendo (V) e voc leva o seu guarda chuva (V). Portanto voc manteve a
promessa feita sua me e o valor lgico da condicional ser (V).
II) Est chovendo (V) e voc no leva o guarda-chuva (F). Portanto, voc quebrou
a promessa feita sua me e o valor lgico da condicional ser (F).
III) No est chovendo (F) e voc leva o guarda-chuva (V). Mais uma vez voc
manteve a promessa feita sua me e o valor lgico da condicional ser (V).
IV) No est chovendo (F) e voc no leva o guarda-chuva (F). Voc fez algo de
errado ao no levar seu guarda-chuva? Pense bem! Voc tinha prometido lev-lo
apenas se chovesse; portanto, tambm neste caso voc manteve a sua promessa
e o valor lgico da condicional ser (V).
Considere agora outro exemplo com as seguintes proposies simples:
p: 5 um nmero par
(F)
q: Braslia a capital do Brasil
(V)
R: Se 5 um nmero par ento Braslia a capital do Brasil.
S: Se Braslia a capital do Brasil ento 5 um nmero par.

(V)
(F)

Repare que a proposio composta R verdadeira, porque o antecedente falso e o


consequente verdadeiro. J a proposio composta S ser falsa, porque o antecedente
verdadeiro e o consequente falso.

11

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

5 bicondicional:

Chama-se bicondicional uma proposio representada por p se e somente se q cujo valor


lgico a verdade (V) quando p e q so ambas verdadeiras ou so ambas falsas e a falsidade
(F) quando as proposies p e q tm valores lgicos diferentes.
Indica-se a dupla implicao das proposies p e q por p q.
Tabela verdade da dupla implicao ou bicondicional:

pq

Observe que, em uma operao de dupla implicao, o resultado ser verdadeiro apenas
quando todas as proposies envolvidas na operao tiverem o mesmo valor lgico, ou
seja, quando todas forem verdadeiras ou todas forem falsas.
Por exemplo, considere as seguintes proposies simples:
EXEMPLO 1:
p: 5 um nmero par
q: Braslia a capital do Brasil
~q: Braslia no a capital do Brasil

(F)
(V)
(F)

R: 5 um nmero par se e somente se Braslia a capital do Brasil.



S: 5 um nmero par se e somente se Braslia no a capital do Brasil.

(F)
(V)

EXEMPLO 2:
p: 6 = 36
q: Salvador a capital da Bahia
~q: Salvador no a capital da Bahia
Soluo:
R: 6 = 36 se e somente se Salvador a capital da Bahia.
S: 6 = 36 se e somente se Salvador no a capital da Bahia.

(V)
(F)

Tudo entendido at aqui?


Entender como montamos uma tabela verdade ser muito importante para realizarmos
operaes lgicas fundamentais e nos ajudar a responder se uma proposio
verdadeira ou falsa.
Vamos em frente?

T3

CONSTRUINDO TABELA-VERDADE
Agora podemos construir a tabela-verdade correspondente a qualquer proposio composta
dada, que nos mostrar todos os casos em que a proposio composta ser verdadeira (V)
ou falsa (F).

12

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

De modo geral, o nmero de linhas da tabela-verdade de uma proposio composta formada


n
por n proposies simples ser igual a 2 .
Vamos praticar para entender melhor?
EXEMPLO 1:
Construa a tabela verdade da seguinte proposio composta: p

(~ q).

Soluo:
Neste caso, temos uma proposio composta que constituda de 2 proposies simples,
p e q.
2
Portanto, a tabela-verdade ter 2 = 4 linhas.
Inicialmente, devemos completar as duas primeiras colunas com todos os valores lgicos
possveis para as proposies simples p e q.

~q

p (~ q)

Em seguida, devemos realizar a operao de negao da proposio q (~q). J aprendemos


que a proposio ~q ser (F) quando a proposio q for (V) e ser (V) quando a proposio
q for (F).

~q

p (~ q)

Finalmente, vamos fazer a conjuno p (~ q).


Conforme aprendemos no tpico anterior, quando temos um conectivo de conjuno ( ) o
resultado ser verdadeiro (V) apenas quando ambas as proposies simples tiverem valor
lgico verdadeiro (V). Relembre a tabela verdade do conectivo conjuno.

voc j leu isso no tpico 1 - pgina 10 - Un3

relembre

13

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Ou seja, em nosso exemplo, na tabela, devemos fazer a conjuno entre a primeira (p) e
terceira (~q) colunas. Assim, o resultado ser (V) apenas quando a primeira e a terceira
colunas tiverem valor lgico (V).
Chegamos ento ao resultado final:

~q

p (~ q)

E a, achou dificl?
No se preocupe, com muito treino ficar fcil. Ento vamos praticar mais!

exemplo

EXEMPLO 2:
Construa a tabela verdade da seguinte proposio composta:

( p q ) (q r ) .

Soluo:
Neste caso, temos uma proposio composta que constituda de 3 proposies simples,
p, q e r.
Portanto, a tabela-verdade ter

23 = 8

linhas.

Inicialmente, devemos completar as trs primeiras colunas com todos os valores lgicos
possveis para as proposies simples p, q e r, indicados na cor amarelo.

( p q)

Na segunda etapa, iremos calcular os valores lgicos da condicional


completando,
assim, a quarta coluna, indicada na cor roxa, que ter valor (F) apenas quando a proposio
p for (V) e a proposio q for (F). Relembre a tabela verdade do conectivo condicional.
condicional.

voc j leu isso no tpico 1 - pgina 14 - Un3

relembre

14

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Podemos calcular tambm os valores lgicos da disjuno q r completando a quinta


coluna, indicada na cor rosa, que ter valor (F) apenas quando as duas proposies q e r
tiverem valor lgico (F). Relembre a tabela verdade do conectivo disjuno.

voc j leu isso no tpico 1 - pgina 09 - Un3

relembre
Teremos ento:

pq

(p q) (q r)

Finalmente, na ltima etapa vamos realizar a dupla implicao p q q


seja, na tabela devemos fazer a bicondicional entre a quarta e a quinta colunas.

r ) . Ou

O resultado ser (V) apenas quando estas duas colunas tiverem o mesmo valor lgico.
Relembre a tabela verdade do conectivo bicondicional.

voc j leu isso no tpico 1 - pgina 12 - Un3

relembre

15

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Assim, chegamos ao resultado final:

pq

duas
proposies
sero
equivalentes
quando tiverem
exatamente a
mesma tabela
verdade

(p q) (q r)

Proposies Equivalentes
Construindo e comparando as tabelas verdade de duas
proposies compostas P e Q podemos verificar se os
valores lgicos das proposies componentes simples
dessas proposies P e Q so iguais.
Uma situao muito importante ocorre quando duas
proposies P e Q so iguais para quaisquer valores lgicos
de suas proposies componentes. Nesse caso, diremos que
essas proposies P e Q so proposies equivalentes.
Em outras palavras: duas proposies sero equivalentes
quando tiverem exatamente a mesma tabela verdade.
Veja que nos prximos dois exemplos isso ocorre. Preste
bastante ateno!

importante
Lembre-se sempre que voc dever usar a tabela
verdade do conectivo presente na proposio
composta para saber os valores lgicos das mesmas.

16

lgebra de proposies e problemas de correlao

exemplo

Raciocnio Lgico | UNISUAM

EXEMPLO 3:
Mostre que as proposies

( p q ) e (~ q ~ p ) so proposies equivalentes.

Soluo:
Para mostrar que duas proposies so equivalentes, basta construir suas tabelas verdade.
Se as tabelas forem iguais, ento as proposies sero equivalentes.
A tabela verdade da proposio p q dada por:

pq

A tabela verdade da proposio

(~ q ~ p ) dada por:

~q

~p

~q ~p

Portanto, as proposies so de fato equivalentes.


Isto significa dizer que a frase Se Flvia filha de Fernanda, ento rica irm de
Flvia logicamente equivalente frase Se rica no irm de Flvia, ento Flvia
no filha de Fernanda.

exemplo

EXEMPLO 4:
Mostre que as proposies

~ ( p q)

(~

p ~ q )

so proposies equivalentes.

Soluo:
Vamos construir as tabelas verdade destas duas proposies.
A tabela verdade da proposio ~ p q dada por:

17

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

pq

~(p q)

A tabela verdade da proposio

(~

p ~ q )

dada por:

~p

~q

~p ~q

Portanto, as proposies so de fato equivalentes.


Isso significa dizer que a forma correta de fazer a negao da frase Joo advogado e Maria
bonita a seguinte: Joo no advogado ou Maria no bonita.
Essas duas equivalncias lgicas estudadas nos dois ltimos exemplos so muito importantes
e utilizadas com bastante frequncia na resoluo de problemas de lgica em concursos
pblicos.
Vamos ver mais?

exemplo

EXEMPLO 5:
Se Vera viajou, Carla no foi ao casamento. Se Carla no foi ao casamento, Vanderleia viajou.
Se Vanderleia viajou, o navio afundou. Ora, o navio no afundou. Logo:
(a) Vera no viajou e Carla no foi ao casamento.
(b) Carla no foi ao casamento e Vera viajou.
(c) Carla no foi ao casamento e Vanderleia no viajou
(d) Carla no foi ao casamento ou Vanderleia viajou.
(e) Vera e Vanderleia no viajaram.
Soluo:
No se deixe atrapalhar pelo enunciado, que at parece ser um pouco confuso.
Apenas parece! Na realidade, no nada confuso.
Vamos isolar as proposies lgicas simples que aparecem no enunciado desta questo:
p: Vera viajou.
q: Carla no foi ao casamento.
r: Vanderleia viajou.
s: O navio afundou.
Observe que todas as frases do enunciado so da forma condicional, ou seja, se premissa
A ento premissa B. Observe tambm que a nica coisa que sabemos ao certo da leitura
do enunciado que o navio no afundou. Esta a nossa verdade absoluta nesta questo.
Portanto a proposio s tem valor lgico (F).

18

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Agora vamos utilizar a equivalncia lgica demonstrada no exemplo 3.


Se Vanderleia viajou, o navio afundou. Mas como temos certeza de que o navio no afundou,
ento conclumos que Vanderleia no viajou.
Portanto, a proposio r tem valor lgico (F).
Se Carla no foi ao casamento, Vanderleia viajou. Como temos certeza de que Vanderleia
no viajou, ento conclumos que Carla foi ao casamento.
Portanto, a proposio q tem valor lgico (F).
Se Vera viajou, Carla no foi ao casamento. Como temos certeza de que Carla foi ao
casamento, ento conclumos que Vera no viajou.
Portanto a proposio p tambm tem valor lgico (F).
Podemos concluir que:
Vanderleia no viajou, Carla foi ao casamento, Vera no viajou e o navio no afundou.
A resposta correta para a questo a E.
Viu como no difcil?

exemplo

EXEMPLO 6:
Dizer que no verdade que Andr artista e Bernardo no engenheiro logicamente
equivalente a dizer que verdade que:
(a) Andr artista se e somente se Bernardo no engenheiro.
(b) Andr artista ou Bernardo engenheiro
(c) Andr no artista ou Bernardo engenheiro.
(d) Se Bernardo engenheiro, ento Andr artista.
(e) Andr no artista e Bernardo engenheiro.
Soluo:
Nesta questo queremos saber, na realidade, qual a negao da afirmativa contida no
enunciado. Vamos isolar as proposies lgicas simples contidas nele:
p: Andr artista.
q: Bernardo engenheiro.
~q: Bernardo no engenheiro.:
Logo, a proposio composta expressa no enunciado a seguinte:

( p ~ q ) .

Utilizando a equivalncia lgica demonstrada no exemplo 4, sabemos que a negao da


proposio p ~ q logicamente equivalente a ~ p ~ ~ q , que o mesmo que
~ pq.

Portanto, a negao de Andr artista e Bernardo no engenheiro a frase Andr no


artista ou Bernardo engenheiro.

importante

A resposta correta da questo a C.

Sempre desmembre as proposies compostas,


isolando as proposies simples, assim o que
parecia confuso se torna simples.

19

lgebra de proposies e problemas de correlao

exemplo

Raciocnio Lgico | UNISUAM

EXEMPLO 7:
Se voc simplifica o exerccio, voc acha a resposta. A negao desta proposio :
(a) Voc simplifica o exerccio e no acha a resposta.
(b) Se voc simplifica o exerccio, voc no acha a resposta.
(c) Se voc no simplifica o exerccio, voc no acha a resposta.
(d) Voc no simplifica o exerccio e voc no acha a resposta.
Soluo:
Para resolver este problema, vamos novamente isolar as proposies lgicas simples que
aparecem no enunciado da questo:
p: Voc simplifica o exerccio.
q: Voc acha a resposta.
Portanto, queremos encontrar uma equivalncia lgica para a proposio
tabela verdade apresentada a seguir:

pq

~ (p q)

~ ( p q ) , cuja

Vamos expressar atravs de uma proposio cada uma das opes de resposta apresentadas.
No item (a) temos a proposio Voc simplifica o exerccio e no acha a resposta, que o
mesmo que; p ~ q .

No item (b) temos a proposio Se voc simplifica o exerccio, voc no acha a resposta,
que o mesmo que: p ~ q .

No item (c) temos a proposio Se voc no simplifica o exerccio, voc no acha a resposta,
que o mesmo que: ~ p ~ q .

No item (d) temos a proposio Voc no simplifica o exerccio e voc no acha a resposta,
que o mesmo que: ~ p ~ q .

Agora basta montarmos a tabela verdade destas proposies:

~p ~q

~p

~q

p ~q

p ~q

~p

~q

Observando atentamente as duas tabelas, conclumos que as proposies


p ~ q so logicamente equivalentes.

~ ( p q)

Portanto, a resposta correta para esta questo a A.


Espero que voc tenha gostando de estudar tabela verdade!

20

lgebra de proposies e problemas de correlao

T4

Raciocnio Lgico | UNISUAM

PROBLEMAS DE CORRELAO
Nesta aula iremos abordar problemas envolvendo o correlacionamento entre elementos
de um mesmo universo, atravs da resoluo de exerccios de correlao de nvel fcil e
intermedirio.
Vamos comear?
Problemas de correlao so aqueles em que so prestadas informaes de diferentes tipos,
como: nomes, profisses, atividades, locais, cores, esposas etc.
Nesse tipo de problema, devemos sempre procurar fazer a ligao, ou seja, a correlao
entre os dados apresentados no conjunto de informaes.
Voc saber que est tentando resolver um exerccio de correlao sempre que o problema
pedir que identifique quem usou o qu, quem foi aonde, quem estava com quem, de
que cor era etc.
Vamos comear apresentando um mtodo que pode ser utilizado para resolver problemas
desse tipo. A explicao ser feita atravs de um exemplo bem simples.
Leia com ateno!

Problemas de
correlao so
aqueles em que
so prestadas
informaes de
diferentes

EXEMPLO 1:
Trs homens, Carlos, Bruno e Jos, so casados com
Amanda, Eulina e Maria, mas no sabemos quem casado
com quem. Eles trabalham em Engenharia, Administrao
e Medicina, mas tambm no sabemos quem faz o qu.
Com base nas informaes a seguir, tente descobrir o nome
de cada marido, a profisso de cada um e o nome de suas
esposas.
1. O mdico casado com Maria.
2. Jos administrador de empresas.
3. Eulina no casada com Jos.
4. Carlos no mdico.
Bem, vamos iniciar a nossa tarefa!
Resoluo:
Para facilitar a resoluo deste tipo de problema, devemos
incialmente construir uma tabela, passo a passo, contendo
todas as informaes.
Neste caso os trs grupos de informaes so: homens,
esposas e profisses.
Escolha um dos grupos e coloque cada um de seus
elementos em uma linha.

21

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Vamos escolher os nomes dos homens:

Carlos
Bruno
Jos
Agora, o passo seguinte criar uma coluna para cada elemento dos outros grupos, no
caso as profisses e as esposas:

Mdico

Engenheiro Administrador

Amanda

Eulina

Maria

Carlos
Bruno
Jos
Por fim, toma-se o ltimo grupo das colunas (neste caso, o das esposas) e cria-se uma
linha para cada um de seus elementos, colocando-os abaixo da ltima linha:

Mdico

Engenheiro Administrador

Amanda

Eulina

Maria

Carlos
Bruno
Jos
Amanda
Eulina
Maria
Observe ainda que os buracos na tabela representam regies onde as informaes seriam
cruzadas com elas mesmas, o que desnecessrio.
A prxima etapa consiste na construo da Tabela Gabarito, que no servir apenas como
gabarito; em alguns casos ela fundamental para que se enxerguem as informaes que
no esto evidentes na tabela principal.
Homens
Carlos
Bruno
Jos

Profisses

Esposas

Achou complexo at aqui?


Vamos em frente e voc ver que mais simples do que parece.

22

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Agora vamos cruzar as informaes constantes no enunciado.


Iniciamos a resoluo marcando com S (sim) todas as afirmaes que aparecem nas
informaes fornecidas no enunciado e preenchendo com N (no) as casas restantes da
mesma linha e coluna onde cada S aparece.
Utilizando as afirmaes:
(1) O mdico casado com Maria; e
(2) Jos administrador de empresas, teremos:
Tabela principal:

Mdico

Engenheiro Administrador

Carlos

Bruno

Jos

Amanda

Eulina

Maria

Tabela gabarito:
Homens
Carlos
Bruno
Jos

Profisses

Amanda

Eulina

Maria

Esposas

Administrador

Repare que as letras N colocadas do diagrama esto nos dizendo que:


Do fato de Jos ser o administrador podemos concluir que ele no mdico, ele no
engenheiro, Bruno no o administrador e Carlos tambm no o administrador.
A seguir marca-se com N as negaes que aparecem nas dicas. Observe que temos as
seguintes negaes:
(3) Eulina no casada com Jos e
(4) Carlos no mdico.
Voc deve prestar muita ateno, pois no caso das negaes no se deve preencher com S as
casas restantes das mesmas linhas e colunas onde cada N aparece. Isso ocorre porque o fato
de Carlos no ser mdico no nos permite afirmar que ele seja administrador ou engenheiro.
Agora entramos na ltima etapa da resoluo do problema e podemos deduzir por
eliminao todas as correlaes restantes.
Se nem Carlos nem Jos so mdicos, logo Bruno o mdico.
Se Bruno mdico e Jos administrador, ento Carlos engenheiro.

23

lgebra de proposies e problemas de correlao

Mdico

Raciocnio Lgico | UNISUAM

Engenheiro Administrador

Carlos

Bruno

Jos

Amanda

Eulina

Maria

Tabela gabarito:
Homens
Carlos
Bruno
Jos

Profisses
Engenheiro
Mdico
Administrador

Amanda

Eulina

Maria

Esposas

Observe que, se o mdico casado com Maria, ento a tabela principal ficar assim:

Mdico

Engenheiro Administrador

Carlos

Bruno

Jos

Amanda

Eulina

Maria

Tabela gabarito:
Homens
Carlos
Bruno
Jos

Profisses
Engenheiro
Mdico
Administrador

Amanda

Eulina

Maria
N

Esposas
Maria

Se Jos no casado com Eulina nem Maria, logo Jos s pode ser casado com Amanda.
Tabela gabarito:
Homens
Profisses
Carlos
Engenheiro
Bruno
Mdico
Jos
Administrador

Esposas
Maria
Amanda

S restou ento para Carlos ser casado com Eulina.


Tabela gabarito:
Homens
Carlos
Bruno
Jos

Profisses
Engenheiro
Mdico
Administrador

Esposas
Eulina
Maria
Amanda

24

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

E este o formato final da tabela-gabarito. Agora j foram feitas todas as correlaes.


Percebeu como o mtodo de resoluo realmente simples? Basta seguir os passos
indicados, um de cada vez e sem pressa.
No prximo tpico vamos estudar outros problemas envolvendo correlao de elementos.
Mos a obra!

T5

CONTINUANDO A RESOLVER PROBLEMAS DE


CORRELAO
Vamos praticar mais um pouco? A prtica leva perfeio!

exemplo

EXEMPLO 2:
Jorge, Mauricio e Claudio so profissionais liberais. Um deles arquiteto, outro mdico e
outro advogado. Seus escritrios esto localizados em diferentes andares de um mesmo
edifcio. Os nomes de suas secretrias so, no necessariamente nesta ordem, Ana, Ceclia
e Jane. Sabendo-se que:
1. O escritrio do advogado est localizado no andar trreo;
2. Jane, ao invs de casar com seu chefe como a maioria das secretrias de fotonovelas,
est noiva de Claudio e almoa com ele todos os dias na casa da sua futura sogra;
3. Todos os dias, Ana sobe para encontrar a secretria de Maurcio, e ento almoam
juntas no refeitrio ao lado do escritrio de Mauricio;
4. Ontem, Jorge mandou sua secretaria descer para entregar algumas gravuras ao arquiteto.
A partir destes dados, determine a profisso e o nome da secretaria de cada um dos indivduos.
Resoluo:
Pelas informaes, chegamos s concluses:
1 - O Advogado est no trreo
2 - Jane no secretria de Cludio e no almoa com as colegas
3 - Ana almoa com a colega, que s pode ser Ceclia, que secretria de Maurcio
4 - Jorge no advogado nem arquiteto. Jorge mdico.
5 - Como Jorge mandou sua secretria descer e entregar gravuras ao arquiteto, este s pode
estar no segundo andar e Jorge no terceiro.

Andar

Nomes

Prosso

Jorge

Mdico

Arquiteto

Trreo

Advogado

Secretria

25

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

6 - Pela concluso 3, sabemos que Ana trabalha no trreo e que o arquiteto Mauricio, cuja
secretria Ceclia

Andar

Nomes

Prosso

Jorge

Mdico

Mauricio

Arquiteto

Ceclia

Advogado

Ana

Trreo

Secretria

7- O advogado s pode ser Claudio e a secretria de Jorge Jane

Andar

Nomes

Prosso

Secretria

Jorge

Mdico

Jane

Mauricio

Arquiteto

Ceclia

Trreo

Cludio

Advogado

Ana

exemplo

EXEMPLO 3:
Um funcionrio de uma seo da Procuradoria de Justia foi incumbido de colocar nas cinco
prateleiras de um armrio cinco tipos de documentos, distintos entre si. Para tal, recebeu as
seguintes instrues:
em cada prateleira, dever ficar apenas um tipo de documento.
os processos a serem examinados devero ficar em uma prateleira que fica acima da
prateleira dos impressos em branco e imediatamente abaixo da prateleira de relatrios tcnicos.
os registros financeiros devero ficar em uma prateleira acima da prateleira de
correspondncias recebidas, que, por sua vez, devero ficar na prateleira imediatamente
abaixo da prateleira dos processos a serem encaminhados.
Se o funcionrio conseguir cumprir todas as instrues recebidas, ento na prateleira mais
alta, devero ficar:
(a) os processos a serem encaminhados.
(b) as correspondncias recebidas.
(c) os registros financeiros.
(d) os relatrios tcnicos.
(e) os impressos em branco.
Resoluo:
Inicialmente vamos registrar as informaes passadas no enunciado.
Podemos identificar cinco tipos de documentos:
Processos
Relatrios Tcnicos
Correspondncias recebidas
Documentos em branco
Registros financeiros

26

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Tambm podemos identificar que:


1. Processos devem ficar acima de documentos em branco
2. Processos devem ficar imediatamente abaixo de relatrios tcnicos
3. Registros financeiros devem ficar acima de correspondncias recebidas
4. Correspondncias recebidas devem ficar imediatamente abaixo de processos
Olhando apenas para as sentenas (2) e (4), vemos que os Relatrios, Processos e
Correspondncias devem aparecer em prateleiras consecutivas, exatamente nesta ordem,
de cima para baixo.
Vamos analisar as possibilidades em uma tabela:

P5
P4
P3
P2
P1

POSSIBILIDADE I
Relatrios
Processos
Correspondncias

POSSIBILIDADE II
Relatrios
Processos
Correspondncias

POSSIBILIDADE III

Relatrios
Processos
Correspondncias

O prximo passo a ser dado utilizar as informaes referentes aos documentos em branco
e registros financeiros para decidir qual das trs possibilidades a correta.
Voc consegue fazer isto? Tente! S depois olhe a continuao...
Continuao da resoluo...
Pela sentena (1) sabemos que os processos devem estar acima dos documentos em branco.
Portanto, a possibilidade III deve ser descartada.
Pela sentena (3) sabemos que os registros financeiros devem estar acima das
correspondncias recebidas. Portanto, a possibilidade I tambm deve ser descartada.
Portanto, a possibilidade correta a de nmero II.
POSSIBILIDADE II
P5
P4
P3
P2
P1

Relatrios
Processos
Correspondncias

Com base nas sentenas (1) e (3), completamos a tabela com os registros financeiros na
prateleira P5 e os documentos em branco na prateleira P1. Logo:
P5
P4
P3
P2
P1

Registros financeiros
Relatrios tcnicos
Processos
Correspondncias recebidas
Documentos em branco

Portanto, conseguimos concluir que na prateleira mais alta devero ficar os registros
financeiros.
A resposta correta a letra C.

27

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Viu como as coisas no so to difceis!?


Se voc entendeu bem a resoluo do problema das prateleiras, est na hora de tentar fazer
sozinho o prximo problema.
Se encontrar alguma dificuldade, pare e leia novamente a resoluo do problema anterior.
S olhe a resposta depois de ter concludo a sua resoluo.
Vamos l!

exemplo

EXEMPLO 4:
Sete funcionrios de uma empresa (Arnaldo, Beatriz, Carlos, Douglas, Edna, Flvio e Geraldo)
foram divididos em 3 grupos para realizar uma tarefa. Essa diviso deve ser feita de modo que:
Cada grupo possua no mnimo 2 pessoas e no mximo 3 pessoas.
Edna deve estar no mesmo grupo que Arnaldo.
Beatriz, Arnaldo e Carlos no podem ficar no mesmo grupo de Geraldo.
Beatriz deve ficar no mesmo grupo de Flvio.
Carlos e Beatriz no podem ficar no mesmo grupo.
Ento, estaro necessariamente no mesmo grupo:
(a) Arnaldo e Carlos.
(b) Arnaldo e Douglas.
(c) Carlos e Flvio.
(d) Edna e Geraldo
(e) Flvio e Geraldo.
Agora com voc, tente resolver!
No vale olhar a resoluo antes de tentar resolver, ok?
Resoluo:
Observando as informaes existentes no enunciado, podemos chegar a dois tipos de
concluso:
I) Edna e Arnaldo tm que ficar no mesmo grupo
Beatriz e Flvio tm que ficar no mesmo grupo
II) Beatriz e Geraldo devem ficar em grupos diferentes
Arnaldo e Geraldo devem ficar em grupos diferentes
Carlos e Geraldo devem ficar em grupos diferentes
Carlos e Beatriz devem ficar em grupos diferentes
Para facilitar o nosso trabalho vamos representar estas informaes em uma tabela,
simbolizando cada pessoa pela letra inicial de seu nome.
Como Edna e Arnaldo devem estar no mesmo grupo, Beatriz e Flvio tambm devem estar
no mesmo grupo e o grupo pode ter no mximo 3 pessoas, conclumos que:
GRUPO
I
A
E

GRUPO
II
B
F

GRUPO
III

Observe agora que Geraldo no pode ficar no mesmo grupo de Arnaldo e nem no mesmo
grupo de Beatriz. Portanto, ele deve estar no terceiro grupo:

28

lgebra de proposies e problemas de correlao

GRUPO
I
A
E

GRUPO
II
B
F

Raciocnio Lgico | UNISUAM

GRUPO
III
G

Como o nmero mnimo de pessoas em cada grupo de duas, deve haver mais algum
formando o grupo III com Geraldo. Mas Geraldo no pode estar no mesmo grupo de Carlos;
logo, s sobra Douglas para completar o grupo de Geraldo.
GRUPO
I
A
E

GRUPO
II
B
F

GRUPO
III
G
D

Para completar a tabela, precisamos agora colocar Carlos em um dos grupos. Lembre-se de
que Carlos no pode ficar no mesmo grupo de Geraldo nem no de Beatriz.
Portanto, Carlos tem que ser colocado no grupo II. O formato final da tabela, ento, o
seguinte:
GRUPO
I
A
E
C

GRUPO
II
B
F

GRUPO
III
G
D

Analisando as alternativas da questo, podemos verificar que a resposta correta a letra A.


Podemos afirmar que Arnaldo e Carlos ficaro sempre no mesmo grupo.

Com isso terminamos nossa aula.


Espero que voc tenha gostado de aprender sobre correlao de elementos.

29