Raciocinio Logico - UN03 - 00 - 07-07-2015 PDF

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
T1
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.
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?
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
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)
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.
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
exemplo
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).
exemplo
EXEMPLO 2:
p: Buenos Aires a capital da Argentina
q: 11 7 = 3
(F)
(V)
Soluo:
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
(F)
(V)
Soluo:
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:
pq
V
10
leia com ateno

voc vai precisar depois
na pg 14
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)
(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
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 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
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
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.
relembre
14
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.
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.
relembre
15
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
exemplo
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
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
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
exemplo
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
T4
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
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
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
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
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
Mdico
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
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
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
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
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
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
GRUPO
I
A
E
GRUPO
II
B
F
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

Raciocinio Logico - UN03 - 00 - 07-07-2015 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Raciocinio Logico - UN03 - 00 - 07-07-2015 PDF

Transféré par

Droits d'auteur :

Formats disponibles

U3

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

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

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Preste ateno e examine as seguintes sentenas:

Espero que voc esteja gostando de estudar conceito de proposies.

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Proposio simples e proposio composta

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Conectivos lgicos e princpios fundamentais da lgica

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

Thiago mdico e Joo

Thiago mdico ou Joo

Se Thiago Mdico ento

Vamos ver alguns exemplos para facilitar o aprendizado?

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

PRINCPIOS FUNDAMENTAIS DA LGICA

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

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

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

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

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

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

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

leia com ateno

voc vai precisar depois

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

Tabela verdade da conjuno:

lgebra de proposies e problemas de correlao

leia com ateno

Raciocnio Lgico | UNISUAM

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

Vamos analisar o que pode acontecer:

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

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

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

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

Tudo entendido at aqui?

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

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

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

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

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

Na segunda etapa, iremos calcular os valores lgicos da condicional

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

lgebra de proposies e problemas de correlao

Raciocnio Lgico | UNISUAM

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

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