Aula 03 - Raciocínio Lógico - Text.Marked

RACIOCNIO LGICO p/ POLCIA FEDERAL
TEORIA E EXERCCIOS COMENTADOS

Prof. Arthur Lima Aula 03

Prof. Arthur Lima www.estrategiaconcursos.com.br 1

AULA 03: LGICA PROPOSICIONAL

SUMRIO PGINA
1. Teoria 01
2. Resoluo de questes 20
3. Lista das questes apresentadas na aula 52
4. Gabarito 63

Ol!
Vamos dar incio nossa terceira aula. Hoje veremos a teoria de estruturas
lgicas e lgica de argumentao. Resolveremos vrios exerccios para voc
comear a fixar os conceitos.
Lembre-se que este tema um dos focos do seu edital. Sugiro que voc
sempre tente resolver os exerccios antes de ler a minha resoluo. E, sempre que
preciso, retorne aos pontos tericos nos quais voc encontre dificuldade.

1. TEORIA

1.1 Introduo
Para comear este assunto, voc precisa saber que uma proposio uma
frase que admita um valor lgico (V verdadeiro ou F falso). Ex.: A bola azul.
Veja que no existe meio termo: ou a bola realmente de cor azul, tornando a
proposio verdadeira, ou a bola de outra cor, sendo a proposio falsa. Observe
que nem toda frase pode ser considerada uma proposio. Por exemplo, a
exclamao Bom dia! no pode ser classificada como verdadeira ou falsa. O
mesmo ocorre com as frases Qual o seu nome? ou V dormir, que tambm no
tm um valor lgico (V ou F). No estudo de lgica de argumentao, usamos letras
minsculas (principalmente p, q e r) para simbolizar uma proposio.
importante tambm conhecer alguns princpios relativos s proposies. O
princpio da no-contradio diz que uma proposio no pode ser, ao mesmo
tempo, Verdadeira e Falsa. Ou uma coisa ou outra. J o princpio da excluso do


terceiro termo diz que no h um meio termo entre Verdadeiro ou Falso. Portanto,
se temos uma proposio p (exemplo: 2 mais 2 no igual a 7), sabemos que:
- se essa frase verdadeira, ento ela no pode ser falsa, e vice-versa (no-
contradio), e
- no possvel que essa frase seja meio verdadeira ou meio falsa, ela deve ser
somente Verdadeira ou somente Falsa (excluso do terceiro termo).
Uma observao importante: no se preocupe tanto com o contedo da
proposio. Quem nos dir se a proposio verdadeira ou falsa o enunciado do
exerccio. Ao resolver exerccios voc ver que, a princpio, consideramos todas as
proposies fornecidas como sendo verdadeiras, a menos que o exerccio diga o
contrrio. Se um exerccio disser que a proposio 2 + 2 = 7 Verdadeira, voc
deve aceitar isso, ainda que saiba que o contedo dela no realmente correto. Isto
porque estamos trabalhando com Lgica formal.
Vejamos duas proposies exemplificativas:
p: Chove amanh.
q: Eu vou escola.
Note que, de fato, p e q so duas proposies, pois cada uma delas pode ser
Verdadeira ou Falsa.
Duas ou mais proposies podem ser combinadas, criando proposies
compostas, utilizando para isso os operadores lgicos. Vamos conhec-los
estudando as principais formas de proposies compostas. Para isso, usaremos
como exemplo as duas proposies que j vimos acima. Vejamos como podemos
combin-las:

a) Conjuno (e): trata-se de uma combinao de proposies usando o
operador lgico e, ou seja, do tipo p e q. Por exemplo: Chove amanh e eu
vou escola. Utilizamos o smbolo ^ para representar este operador. Ou seja,
ao invs de escrever p e q, podemos escrever p q .
Veja que, ao dizer que Chove amanh e eu vou escola, estou afirmando que
as duas coisas acontecem (chover e ir escola). Em outras palavras, esta
proposio composta s pode ser Verdadeira se as duas proposies simples que
a compem forem verdadeiras, isto , acontecerem. Se chover e, mesmo assim, eu


no for escola, significa que a conjuno acima Falsa. Da mesma forma, se no
chover e mesmo assim eu for escola, a expresso acima tambm Falsa.
Portanto, para analisar se a proposio composta Verdadeira ou Falsa,
devemos olhar cada uma das proposies que a compem. J vimos que se p
acontece (p Verdadeira) e q acontece (q Verdadeira), a expresso p e q
Verdadeira. Esta a primeira linha da tabela abaixo. J se p acontece (V), isto , se
chove, e q no acontece (F), ou seja, eu no vou escola, a expresso inteira
torna-se falsa. Isto tambm ocorre se p no acontece (F) e q acontece (V). Estas
so as duas linhas seguintes da tabela abaixo. Finalmente, se nem p nem q
acontecem (ambas so Falsas), a expresso inteira tambm ser falsa. Veja esta
tabela:
Valor lgico de p
(Chove amanh)
Valor lgico de q
(Eu vou escola)
Valor lgico de p e q
( p q )
V V V
V F F
F V F
F F F

A tabela acima chamada de tabela-verdade da proposio combinada p e q.
Nesta tabela podemos visualizar que a nica forma de tornar a proposio
verdadeira ocorre quando tanto p quanto q so verdadeiras. E que, para desmenti-
la (tornar toda a proposio falsa), basta provar que pelo menos uma das
proposies que a compem falsa.

b) Disjuno (ou): esta uma combinao usando o operador ou, isto , p ou
q (tambm podemos escrever p q ). Ex.: Chove amanh ou eu vou escola.
Veja que, ao dizer esta frase, estou afirmando que pelo menos uma das coisas
vai acontecer: chover amanh ou eu ir escola. Se uma delas ocorrer, j estou
dizendo a verdade, independentemente da outra ocorrer ou no. Agora, se
nenhuma delas acontecer (no chover e, alm disso, eu no for escola), a minha
frase estar falsa. A tabela abaixo resume estas possibilidades:
Valor lgico de p
(Chove amanh)
Valor lgico de q
(Eu vou escola)
Valor lgico de p ou q
( p q )


V V V
V F V
F V V
F F F
Como voc pode ver na coluna da direita, a nica possibilidade de uma
Disjuno do tipo p ou q ser falsa ocorre quando tanto p quanto q no acontecem,
isto , so falsas.
Talvez voc tenha estranhado a primeira linha da tabela. Na lngua
portuguesa, ou utilizado para representar alternativas excludentes entre si (isto
, s uma coisa poderia acontecer: chover ou ento eu ir escola). Assim, talvez
voc esperasse que, caso p fosse verdadeira e q tambm fosse verdadeira, a frase
inteira seria falsa. Veja que isto no ocorre aqui. Veremos isso no prximo item, ao
estudar a disjuno exclusiva.

c) Disjuno exclusiva (Ou exclusivo): esta uma combinao do tipo ou p ou
q (simbolizada por p q ). Ex.: Ou chove amanh ou eu vou escola.
Aqui, ao contrrio da Disjuno que vimos acima, a proposio composta s
verdadeira se uma das proposies for verdadeira e a outra for falsa. Isto , se eu
digo Ou chove amanh ou eu vou escola, porm as duas coisas ocorrem
(amanh chove e, alm disso, eu vou escola), a frase ser falsa como um todo.
Veja abaixo a tabela-verdade deste operador lgico, chamado muitas vezes de Ou
exclusivo, em oposio ao ou alternativo que vimos acima:
Valor lgico de p
(Chove amanh)
Valor lgico de q
(Eu vou escola)
Valor lgico de Ou p ou
q
( p q )
V V F
V F V
F V V
F F F
Marquei em vermelho a nica mudana que temos em relao ao caso
anterior.


d) Condicional (implicao): uma condicional uma combinao do tipo se p,
ento q (simbolizada por p q ). Usando o nosso exemplo, podemos montar a
proposio composta Se chove amanh, eu vou escola.
Esta a proposio composta mais comum em provas de concurso. Chamamos
este caso de Condicional porque temos uma condio (se chove amanh) que,
caso venha a ocorrer, faz com que automaticamente a sua consequncia (eu vou
escola) tenha que acontecer. Isto , se p for Verdadeira, isto obriga q a ser
tambm Verdadeira.
Se a condio p (se chove amanh) no ocorre ( Falsa), q pode ocorrer (V)
ou no (F), e ainda assim a frase Verdadeira. Porm se a condio ocorre (p V)
e o resultado no ocorre (q F), estamos diante de uma proposio composta que
Falsa como um todo. Tudo o que dissemos acima leva a esta tabela:
Valor lgico de p
(Chove amanh)
Valor lgico de q
(Eu vou escola)
Valor lgico de Se p,
ento q ( p q )
V V V
V F F
F V V
F F V

e) Bicondicional (se e somente se): uma bicondicional uma combinao do
tipo p se e somente se q (simbolizada por p q ). Ex.: Chove amanh se e
somente se eu vou escola.
Quando algum nos diz a frase acima, ela quer dizer que, necessariamente,
as duas coisas acontecem juntas (ou ento nenhuma delas acontece). Assim,
sabendo que amanh chove, j sabemos que a pessoa vai escola. Da mesma
forma, sabendo que a pessoa foi escola, ento sabemos que choveu. Por outro
lado, sabendo que no choveu, sabemos automaticamente que a pessoa no foi
escola.
Note, portanto, que a expresso p q s verdadeira quando tanto p
quanto q acontecem (so Verdadeiras), ou ento quando ambas no acontecem
(so Falsas). Se ocorrer outro caso (chover e a pessoa no for escola, por
exemplo), a expresso p q Falsa. Isso est resumido na tabela abaixo:


Valor lgico de p
(Chove amanh)
Valor lgico de q
(Eu vou escola)
Valor lgico de p se e
somente se q ( p q )
V V V
V F F
F V F
F F V
Novamente, marquei em vermelho a nica coisa que mudou em relao
condicional p q .

1.2 Negao de proposies simples
Representamos a negao de uma proposio simples p pelo smbolo ~p
(leia no-p).Tambm podemos usar a notao
p
, que menos usual. Sabemos
que o valor lgico de p e ~p so opostos, isto , se p uma proposio
verdadeira, ~p ser falsa, e vice-versa.
Quando temos uma proposio simples (por ex.: Chove agora, Todos os
nordestinos so fortes, Algum brasileiro mineiro), podemos negar essa
proposio simplesmente inserindo No verdade que... em seu incio. Veja:
- No verdade que chove agora
- No verdade que todos os nordestinos so fortes
- No verdade que algum brasileiro mineiro
Entretanto, na maioria dos exerccios sero solicitadas outras formas de
negar uma proposio. Para descobrir a negao, basta voc se perguntar: o que
eu precisaria fazer para provar que quem disse essa frase est mentindo? Se voc
for capaz de desmenti-lo, voc ser capaz de neg-lo.
Se Joo nos disse que Chove agora, bastaria confirmar que no est
chovendo agora para desmenti-lo. Portanto, a negao seria simplesmente No
chove agora.
Entretanto, caso Joo nos diga que Todos os nordestinos so fortes,
bastaria encontrarmos um nico nordestino que no fosse forte para desmenti-lo.
Portanto, a negao desta afirmao pode ser, entre outras possibilidades:
- Pelo menos um nordestino no forte
- Algum nordestino no forte
- Existe nordestino que no forte


J se Joo nos dissesse que Algum nordestino forte, basta que um nico
nordestino seja realmente forte para que a frase dele seja verdadeira. Portanto, aqui
mais difcil desmenti-lo, pois precisaramos analisar todos os nordestinos e
mostrar que nenhum deles forte. Assim, a negao seria, entre outras
possibilidades:
- Nenhum nordestino forte
- No existe nordestino forte
A tabela abaixo resume as principais formas de negao de proposies
simples. Veja que, assim como voc pode usar as da coluna da direita para negar
frases com as expresses da coluna da esquerda, voc tambm pode fazer o
contrrio.
Proposio p Proposio ~p
Meu gato preto Meu gato no preto
Todos gatos so pretos Algum/pelo menos um/existe gato (que) no
preto
Nenhum gato preto Algum/pelo menos um/existe gato (que)
preto

Note ainda que ~(~p) = p, isto , a negao da negao de p a prpria
proposio p. Isto , negar duas vezes igual a falar a verdade.

1.3 Negao de proposies compostas
Quando temos alguma das proposies compostas (conjuno, disjuno,
disjuno exclusiva, condicional ou bicondicional), podemos utilizar o mesmo truque
para obter a sua negao: buscar uma forma de desmentir quem estivesse falando
aquela frase. Vejamos alguns exemplos:

a) Conjuno: Chove hoje e vou praia. Se Joo nos diz essa frase, ele est
afirmando que as duas coisas devem ocorrer (se tiver dvida, retorne tabela-
verdade da conjuno). Isto , para desmenti-lo, bastaria provar que pelo menos
uma delas no ocorre. Isto , a primeira coisa no ocorre ou a segunda coisa no
ocorre (ou mesmo as duas no ocorrem). Veja que para isso podemos usar uma
disjuno, negando as duas proposies simples como aprendemos no item


anterior: No chove hoje ou no vou praia. Da mesma forma, se Joo tivesse
dito Todo nordestino forte e nenhum gato preto, poderamos negar utilizando
uma disjuno, negando as duas proposies simples: Algum nordestino no
forte ou algum gato preto.

b) Disjuno: Chove hoje ou vou praia. Essa afirmao verdadeira se pelo
menos uma das proposies simples for verdadeira. Portanto, para desmentir quem
a disse, precisamos provar que as duas coisas no acontecem, isto , as duas
proposies so falsas. Assim, a negao seria uma conjuno: No chove hoje e
no vou praia. J a negao de Todo nordestino forte ou nenhum gato preto
seria Algum nordestino no forte e algum gato preto.

c) Disjuno exclusiva: Ou chove hoje ou vou praia. Recorrendo tabela-
verdade, voc ver que a disjuno exclusiva s verdadeira se uma, e apenas
uma das proposies verdadeira, sendo a outra falsa. Assim, se mostrssemos
que ambas so verdadeiras, ou que ambas so falsas, estaramos desmentindo o
autor da frase. Para isso, podemos usar uma bicondicional: Chove hoje se e
somente se eu vou praia. Veja que esta frase indica que ou acontecem as duas
coisas (chover e ir praia) ou no acontece nenhuma delas.

d) Condicional: Se chove hoje, ento vou praia. Lembra-se que a condicional s
falsa caso a condio (p) seja verdadeira e o resultado (q) seja falso? Portanto,
justamente isso que deveramos provar se quisssemos desmentir o autor da frase.
A seguinte conjuno nos permite negar a condicional: Chove hoje e no vou
praia.

e) Bicondicional: Chove hoje se e somente se vou praia. O autor da frase est
afirmando que as duas coisas (chover e ir praia) devem ocorrer juntas, ou ento
nenhuma delas pode ocorrer. Podemos desmenti-lo provando que uma das coisas
ocorre ( verdadeira) enquanto a outra no ( falsa). A disjuno exclusiva nos
permite fazer isso: Ou chove hoje, ou vou praia.

Veja na tabela abaixo as principais formas de negao de proposies
compostas:


Proposio composta Negao
Conjuno ( p q )
Ex.: Chove hoje e vou praia
Disjuno ( ~ ~ p q )
Ex.: No chove hoje ou no vou praia
Disjuno ( p q )
Ex.: Chove hoje ou vou praia
Conjuno ( ~ ~ p q )
Ex.: No chove hoje e no vou praia
Disjuno exclusiva ( p q )
Ex.: Ou chove hoje ou vou praia
Bicondicional ( p q )
Ex.: Chove hoje se e somente se vou praia
Condicional ( p q )
Ex.: Se chove hoje, ento vou praia
Conjuno ( ~ p q )
Ex.: Chove hoje e no vou praia
Bicondicional ( p q )
Ex.: Chove hoje se e somente se vou
praia.
Disjuno exclusiva ( p q )
Ex.: Ou chove hoje ou vou praia

1.4 Construo da tabela-verdade de proposies compostas
Alguns exerccios podem exigir que voc saiba construir a tabela-verdade de
proposies compostas. Para exemplificar, veja a proposio [(~ ) ] A B C . A
primeira coisa que voc precisa saber que a tabela-verdade desta proposio ter
sempre 2
n
linhas, onde n o nmero de proposies simples envolvidas. Como s
temos 3 proposies simples (A, B e C), esta tabela ter 2
3
, ou seja, 8 linhas.
Para montar a tabela verdade de uma expresso como [(~ ) ] A B C ,
devemos comear escrevendo criando uma coluna para cada proposio e, a
seguir, colocar todas as possibilidades de combinaes de valores lgicos (V ou F)
entre elas:
Valor lgico
de A
Valor lgico
de B
Valor lgico
de C
V V V
V V F
V F V
V F F
F V V
F V F
F F V


F F F

Agora, note que em [(~ ) ] A B C temos o termo ~B entre parnteses.
Devemos, portanto, criar uma nova coluna na nossa tabela, inserindo os valores de
~B. Lembre-se que os valores de no-B so opostos aos valores de B (compare as
colunas em amarelo):
Valor lgico
de A
Valor lgico
de B
Valor lgico
de C
Valor lgico
de ~B
V V V F
V V F F
V F V V
V F F V
F V V F
F V F F
F F V V
F F F V

Agora que j temos os valores lgicos de ~B, e tambm temos os de C,
podemos criar os valores lgicos da expresso entre colchetes: [(~ ) ] B C . Observe
que se trata de uma conjuno (e), que s tem valor lgico V quando ambos os
membros (no caso, ~B e C) so V:
Valor lgico
de A
Valor lgico
de B
Valor lgico
de C
Valor lgico
de ~B
Valor lgico
de [(~ ) ] B C
V V V F F
V V F F F
V F V V V
V F F V F
F V V F F
F V F F F
F F V V V
F F F V F


Agora que j temos os valores lgicos de A e tambm os valores lgicos de
[(~ ) ] B C , podemos analisar os valores lgicos da disjuno [(~ ) ] A B C .
Lembre-se que uma disjuno s F quando ambos os seus membros so F
(marquei esses casos em amarelo):
Valor
lgico de
A
Valor
lgico de
B
Valor
lgico de
C
Valor
lgico de
~B
Valor lgico
de
[(~ ) ] B C
Valor lgico
de
[(~ ) ] A B C
V V V F F V
V V F F F V
V F V V V V
V F F V F V
F V V F F F
F V F F F F
F F V V V V
F F F V F F

Assim, podemos omitir a 4 e 5 coluna, de modo que a tabela-verdade da
expresso [(~ ) ] A B C :
Valor
lgico de
A
Valor
lgico de
B
Valor
lgico de
C
Valor lgico
de
[(~ ) ] A B C
V V V V
V V F V
V F V V
V F F V
F V V F
F V F F
F F V V
F F F F
Veja que essa tabela nos d os valores lgicos da expresso [(~ ) ] A B C
para todos os possveis valores das proposies simples que a compem (A, B e
C).



1.5 Tautologia e contradio
Ao construir tabelas-verdade para expresses, como fizemos acima,
podemos verificar que uma determinada expresso sempre verdadeira,
independente dos valores lgicos das proposies simples que a compem. Trata-
se de uma tautologia. Por outro lado, algumas expresses podem ser sempre
falsas, independente dos valores das proposies que a compem. Neste caso,
estaremos diante de uma contradio. Vejamos alguns exemplos:

a) Veja abaixo a tabela-verdade de ~ p p (ex.: Sou bonito e no sou bonito). Pela
simples anlise desse exemplo, j vemos uma contradio (no d para ser bonito e
no ser ao mesmo tempo). Olhando na coluna da direita dessa tabela, vemos que
ela falsa para todo valor lgico de p:
Valor lgico de p Valor lgico de ~p Valor lgico de
~ p p
V F F
F V F
Obs.: notou que essa tabela-verdade possui apenas duas linhas? Isso porque temos
apenas 1 proposio simples (p), e 2
1
= 2.

b) Veja abaixo a tabela-verdade de ~ p p (ex.: Sou bonito ou no sou bonito). Pela
simples anlise desse exemplo, j vemos uma tautologia (essa frase sempre ser
verdadeira, independente da minha beleza). Olhando na coluna da direita dessa
tabela, vemos que ela verdadeira para todo valor lgico de p:
Valor lgico de p Valor lgico de ~p Valor lgico de
~ p p
V F V
F V V

A maioria das proposies compostas apresenta valor Verdadeiro para
algumas combinaes de valores lgicos das suas proposies simples, e Falso


para outras combinaes. Essas proposies compostas, que no so Tautologias
e nem Contradies, so conhecidas como Contingncias.

1.6 Equivalncia de proposies lgicas
Dizemos que duas proposies lgicas so equivalentes quando elas
possuem a mesma tabela-verdade. Como exemplo, vamos verificar se as
proposies p q e ~ ~ q p so equivalentes.
Faremos isso calculando a tabela verdade das duas, para poder compar-las.
Mas intuitivamente voc j poderia ver que elas so equivalentes. Imagine que
p q Se chove, ento vou praia. Sabemos que se a condio (chove) ocorre,
necessariamente o resultado (vou praia) ocorre. Portanto, se soubermos que o
resultado no ocorreu (no vou praia), isso implica que a condio no pode ter
ocorrido (no chove). Isto , podemos dizer que Se no vou praia, ento no
chove. Ou seja, ~ ~ q p .
A tabela-verdade de p q encontra-se abaixo. Calcule-a sozinho, para
exercitar:
Valor
lgico de
p
Valor
lgico de q
Valor
lgico de
p q
V V V
V F F
F V V
F F V

J a tabela-verdade de ~ ~ q p foi obtida abaixo:
Valor
lgico de
p
Valor
lgico de q
Valor
lgico de
~q
Valor
lgico de
~p
Valor lgico
de ~ ~ q p
V V F F V
V F V F F
F V F V V
F F V V V


Repare na coluna da direita de cada tabela. Percebeu que so iguais? Isso
nos permite afirmar que ambas as proposies compostas so equivalentes.
Veja ainda a tabela verdade de ~p ou q:
Valor lgico
de p
Valor
lgico de q
Valor lgico
de ~p
Valor lgico
de ~p ou q
V V F V
V F F F
F V V V
F F V V

Perceba que a tabela-verdade de ~p ou q igual s duas anteriores (pq e
~q~p). Assim, essas 3 proposies so equivalentes.
No usei este exemplo toa. Ele cai bastante em concursos, portanto bom
voc gravar: p q , ~ ~ q p e ~p ou q so proposies equivalentes!!!

1.6.1 Leis de De Morgan
O seu edital cobrou ainda duas equivalncias lgicas conhecidas como Leis
de De Morgan. So elas:
a) ~ ( ) p q equivalente a ~ ~ p q
Observe que esta equivalncia simplesmente nos diz que a negao de p e
q dada por no-p ou no-q, como j vimos. Exemplo: sendo p = faz sol, e q =
vou praia, as duas sentenas abaixo so equivalentes:
- No verdade que faz sol e vou praia
- No faz sol ou no vou praia

b) ~ ( ) p q equivalente a ~ ~ p q
Repare que esta equivalncia simplesmente nos diz que a negao de p ou
q dada por no-p e no-q, como foi visto anteriormente. Exemplo: usando as
mesmas proposies p e q, as sentenas abaixo so equivalentes:
- No verdade que faz sol ou vou praia
- No faz sol e no vou praia


Vamos demonstrar as duas equivalncias acima montando as respectivas
tabelas-verdade. Comeando pela primeira equivalncia, temos:

p q ~p ~q
p q p q
~ ( ) p q ~ ~ p q
~ ( ) p q
~ ~ p q
V V F F V V F F F F
V F F V F V V V F F
F V V F F V V V F F
F F V V F F V V V V

Observe que as colunas de ~ ( ) p q e ~ ~ p q so iguais, demonstrando
que essas duas proposies so equivalentes. Da mesma forma, as colunas de
~ ( ) p q e ~ ~ p q so iguais.
Se voc se lembrar dessas duas equivalncias em sua prova, assim como da
equivalncia da condicional p q que vimos anteriormente, voc tem boa chance
de conseguir resolver vrias questes sem a necessidade de esquematizar tabelas-
verdade.

1.7 Condio necessria e condio suficiente
Quando temos uma condicional pq, sabemos que se a condio p
acontecer, com certeza o resultado q deve acontecer (para que pq seja uma
proposio verdadeira). Portanto, podemos dizer que p acontecer suficiente para
afirmarmos que q acontece. Em outras palavras, p uma condio suficiente para
q.
Por exemplo, se dissermos Se chove, ento o cho fica molhado,
suficiente saber que chove para afirmarmos que o cho fica molhado. Chover uma
condio suficiente para que o cho fique molhado. Por outro lado, podemos dizer
que sempre que chove, o cho fica molhado. necessrio que o cho fique
molhado para podermos afirmar chove. Portanto, o cho fica molhado uma
condio necessria para podermos dizer que chove (se o cho estivesse seco,
teramos certeza de que no chove). Ou seja, q uma condio necessria para p.
Resumidamente, quando temos uma condicional pq, podemos afirmar que
p suficiente para q, e, por outro lado, q necessria para p.


Por outro lado, quando temos uma bicondicional p q , podemos dizer que
p necessria e suficiente para q, e vice-versa. Para a proposio Chove se e
somente se o cho fica molhado ser verdadeira, podemos dizer que preciso
(necessrio) que chova para que o cho fique molhado. No dada outra
possibilidade. E suficiente saber que chove para poder afirmar que o cho fica
molhado. Da mesma forma, suficiente saber que o cho ficou molhado para
afirmar que choveu; e a nica possibilidade de ter chovido se o cho tiver ficado
molhado, isto , o cho ter ficado molhado necessrio para que tenha chovido.

1.8 Proposies abertas
Proposies abertas so proposies que possuem uma ou mais variveis,
como o exemplo abaixo (do tipo pq):
Se 2X divisvel por 5, ento X divisvel por 5
Temos a varivel X nessa frase, que pode assumir diferentes valores. Se X
for igual a 10, teremos:
Se 20 divisvel por 5, ento 10 divisvel por 5
Esta frase verdadeira, pois p V e q V.
Se X = 11, teremos:
Se 22 divisvel por 5, ento 11 divisvel por 5
Esta frase verdadeira, pois p F e q tambm F.
J se X = 12.5, teremos:
Se 25 divisvel por 5, ento 12.5 divisvel por 5
Agora a frase falsa, pois p V e q F!
Portanto, quando temos uma proposio aberta, no podemos afirmar de
antemo que ela verdadeira ou falsa, pois isso depender do valor que as
variveis assumirem.

1.9 Argumentos
Veja o exemplo abaixo:
a: Todo nordestino loiro
b: Jos nordestino
Concluso: Logo, Jos loiro.


Temos premissas (a e b) e uma concluso que derivada daquelas
premissas. Isso um argumento: um conjunto de premissas que leva a uma
concluso.
Dizemos que um argumento verdadeiro se, aceitando que as premissas
so verdadeiras, a concluso verdadeira. Veja que no nos interessa aqui
questionar a realidade das premissas. Todos ns sabemos que dizer que todo
nordestino loiro uma inverdade. Mas o que importa que, se assumirmos que
todos os nordestinos so loiros, e tambm assumirmos que Jos nordestino, a
concluso lgica que Jos deve ser loiro.
Os argumentos podem ter diversas premissas. Entretanto, o tipo de
argumento que vimos acima, com 2 premissas e 1 concluso, chamado de
silogismo. Note que temos uma PREMISSA MAIOR, mais geral (todo nordestino
loiro); uma PREMISSA MENOR, mais especfica (Jos nordestino); e uma
CONCLUSO (Logo, Jos loiro).
Sofisma ou falcia um raciocnio errado com aparncia de verdadeiro.
Consiste em chegar a uma concluso invlida a partir de premissas vlidas, ou
mesmo a partir de premissas contraditrias entre si. Por exemplo:
Premissa 1: A maioria dos polticos corrupta.
Premissa 2: Joo poltico.
Concluso: Logo, Joo corrupto.
Veja que o erro aqui foi a generalizao. Uma coisa dizer que a maioria dos
polticos corrupta, outra dizer que todos os polticos so corruptos. No
possvel concluir que Joo corrupto, j que ele pode fazer parte da minoria, isto ,
do grupo dos polticos que no so corruptos.
Observe esta outra falcia:
Premissa 1: Se faz sol no domingo, ento vou praia.
Premissa 2: Fui praia no ltimo domingo.
Concluso: Logo, fez sol no ltimo domingo.
A primeira premissa do tipo condicional, sendo formada por uma condio
(se faz sol...) e um resultado (ento vou praia). Com base nela, podemos assumir
que se a condio ocorre (isto , se efetivamente faz sol), o resultado
obrigatoriamente tem de acontecer. Mas no podemos assumir o contrrio, isto ,
que caso o resultado ocorra (ir praia), a condio ocorreu. Isto , eu posso ter ido
praia mesmo que no tenha feito sol no ltimo domingo.



1.10 Lgica de Primeira Ordem
A lgica de primeira ordem uma extenso da lgica proposicional que
estudamos at aqui. Nela so utilizados diversos smbolos matemticos para
escrever sentenas que podem assumir os valores lgicos V ou F. Aqui temos
sentenas abertas, isto , sentenas onde existe uma ou mais variveis que podem
assumir diversos valores, tornando a proposio V ou F, conforme o caso. Para
voc entender melhor do que estamos tratando, vejamos um exemplo. Tente ler a
expresso abaixo:
( )( )( 0) x x x <
Esta expresso pode ser lida assim: existe valor x pertencente ao conjunto
dos nmeros reais tal que x menor do que zero. Observe que, uma vez
decifrada a expresso, muito fcil julg-la como V ou F. De fato existem valores
no conjunto dos nmeros reais que so menores do que 0, portanto essa
proposio Verdadeira. Exemplificando, x = -5 ou ento x = -17,45 so alguns
exemplos de valores x que pertencem aos nmeros reais e so menores do que 0.
Por outro lado, veja a expresso abaixo:
( )( )( 0) x x x <
Veja que simplesmente trocamos o smbolo por . Agora, a expresso
lida assim: todo valor x pertencente ao conjunto dos nmeros reais menor do que
zero. Veja que essa simples troca de smbolo torna essa proposio Falsa, pois
existem valores no conjunto dos nmeros reais que NO so menores do que zero.
Exemplificando, x = 0 e x = 3 so valores superiores a zero.
Faamos agora mais uma pequena modificao na primeira proposio:
( )( )( 0) x x x <
Agora substitumos o conjunto dos nmeros reais pelo conjunto dos nmeros
naturais: existe valor x pertencente ao conjunto dos nmeros naturais que menor
do que zero. Esta alterao tambm torna a sentena Falsa, pois o conjunto dos
nmeros naturais no possui nenhum nmero negativo.
Portanto, repare que, no estudo da lgica de primeira ordem, faz-se
necessrio se habituar ao uso de alguns smbolos matemticos. Os principais so:
x existe x...
x para todo x..., ou: qualquer x...


pertence
no pertence
conjunto dos nmeros naturais
conjunto dos nmeros inteiros
conjunto dos nmeros racionais
conjunto dos nmeros reais
vazio
Tambm bom lembrar quais elementos compem cada um dos principais
conjuntos numricos que citei acima:
- Nmeros naturais ( ): nmeros positivos construdos com os algarismos de 0 a 9, sem
casas decimais. Ex.: {0, 1, 2, 3 , 15, 16, 17... }
- Nmeros inteiros ( ): nmeros naturais positivos e negativos. Ex.: {... -3, -2, -1, 0, 1, 2,
3...}
- Nmeros racionais ( ): aqueles que podem ser representados pela diviso de 2 nmeros
inteiros. Ex.: fraes (1/2, 3/5, -13/25 etc.); nmeros decimais de representao finita (1,25;
-2,45 etc.); dzimas peridicas (ex.: 0,36363636...).
- Nmeros reais ( ): nmeros racionais e irracionais juntos (os irracionais so aqueles
nmeros que possuem infinitas casas decimais que no se repetem. Ex.: 3,141592... =
Veja que o conjunto dos nmeros reais contm todos os demais conjuntos, enquanto
conjunto dos nmeros racionais contm os nmeros inteiros e naturais, e o conjunto dos
nmeros inteiros contm o dos nmeros naturais.
No estudo da lgica de primeira ordem, temos proposies da forma P(x), onde a
proposio P apresenta uma determinada caracterstica a respeito dos elementos x que
compem um conjunto C. Essa caracterstica apresentada nos predicados destas
proposies. Em nosso exemplo, a caracterstica era x < 0.
Chamamos P(x) de proposio funcional, pois o seu valor lgico (V ou F) funo
do conjunto C e do prprio significado da proposio. Podemos ter tambm proposies
funcionais baseadas em mais de uma varivel (ex.: P(x, y, z)).
Ao longo desta e das prximas aulas veremos algumas questes envolvendo lgica
de primeira ordem, onde voc poder exercitar os conceitos aqui mencionados.


2. RESOLUO DE QUESTES

1. CESPE TRE/BA 2009) A negao da proposio O presidente o membro
mais antigo do tribunal e o corregedor o vice-presidente O presidente o
membro mais novo do tribunal e o corregedor no o vice-presidente.
RESOLUO:
Para desmentir o autor da primeira frase (que uma conjuno),
precisaramos provar que pelo menos uma das suas afirmaes no verdadeira.
Assim, a negao seria simplesmente: O presidente no o membro mais antigo do
tribunal OU o corregedor no o vice-presidente. Item ERRADO.
Resposta: E

2. CESPE STF 2008)
Filho meu, ouve minhas palavras e atenta para meu conselho.
A resposta branda acalma o corao irado.
O orgulho e a vaidade so as portas de entrada da runa do homem.
Se o filho honesto ento o pai exemplo de integridade.

Tendo como referncia as quatro frases acima, julgue o itens seguintes.

( ) A primeira frase composta por duas proposies lgicas simples unidas pelo
conectivo de conjuno.

( ) A segunda frase uma proposio lgica simples.

( ) A terceira frase uma proposio lgica composta.

( ) A quarta frase uma proposio lgica em que aparecem dois conectivos
lgicos.

RESOLUO:


ERRADO. Trata-se de um pedido do pai. No possvel atribuir valores
lgicos (V ou F), portanto no temos proposies.

CERTO. Aqui possvel atribuir valor V ou F.

ERRADO. Temos uma proposio simples.

lgicos.
ERRADO. Temos apenas 1 conectivo lgico, que a condicional ou
implicao.
Resposta: E C E E

3. CESPE BANCO DO BRASIL 2007) Na lgica sentencial, denomina-se
proposio uma frase que pode ser julgada como verdadeira (V) ou falsa (F), mas
no, como ambas. Assim, frases como Como est o tempo hoje? e Esta frase
falsa no so proposies porque a primeira pergunta e a segunda no pode ser
nem V nem F. As proposies so representadas simbolicamente por letras
maisculas do alfabeto A, B, C etc. Uma proposio da forma A ou B F se A e
B forem F, caso contrrio V; e uma proposio da forma Se A ento B F se A
for V e B for F, caso contrrio V. Um raciocnio lgico considerado correto
formado por uma seqncia de proposies tais que a ltima proposio
verdadeira sempre que as proposies anteriores na seqncia forem verdadeiras.
Considerando as informaes contidas no texto acima, julgue os itens
subseqentes.

( ) correto o raciocnio lgico dado pela seqncia de proposies seguintes:
Se Antnio for bonito ou Maria for alta, ento Jos ser aprovado no concurso.
Maria alta.
Portanto Jos ser aprovado no concurso.



Se Clia tiver um bom currculo, ento ela conseguir um emprego.
Ela conseguiu um emprego.
Portanto, Clia tem um bom currculo.

( ) Na lista de frases apresentadas a seguir, h exatamente trs proposies.
A frase dentro destas aspas uma mentira.
A expresso X + Y positiva.
O valor de 4 3 7 + = .
Pel marcou dez gols para a seleo brasileira.
O que isto?

RESOLUO:
Maria alta.
A informao Maria alta, da segunda premissa, faz com que Se Antnio
for bonito ou Maria for alta seja Verdadeiro, pois pelo menos sabemos que Maria
alta. Quando a proposio p da condicional pq V, a proposio q precisa ser V
tambm. Portanto, Jos ser aprovado no concurso. Item CERTO.

A informao Ela conseguiu um emprego faz com que, na condicional pq
(primeira premissa), a proposio q seja Verdadeira. Com isso, p pode ser V ou F e
ainda assim a condicional verdadeira. Portanto, no podemos garantir que ela tem
um bom currculo. Item ERRADO.



A frase dentro destas aspas uma mentira. no uma proposio, pois no
pode ser nem F nem V (veja que ela similar frase Esta frase falsa, do
enunciado).
A expresso X + Y positiva. temos uma sentena aberta. Para podermos julg-
la como F ou V, precisariam ser determinados os valores de X e Y. Como isso no
feito, no temos uma proposio, no sentido do enunciado.
O valor de 4 3 7 + = . aqui temos uma proposio
Pel marcou dez gols para a seleo brasileira. outra proposio
O que isto? no proposio, pois uma pergunta.
Assim, temos apenas 2 proposies.
Resposta: C E E

4. FCC Banco do Brasil 2011) Um jornal publicou a seguinte manchete:
Toda Agncia do Banco do Brasil tem dficit de funcionrios.
Diante de tal inverdade, o jornal se viu obrigado a retratar-se, publicando uma
negao de tal manchete. Das sentenas seguintes, aquela que expressaria de
maneira correta a negao da manchete publicada :
a) Qualquer Agncia do Banco do Brasil no tm dficit de funcionrios
b) Nenhuma Agncia do Banco do Brasil tem dficit de funcionrios
c) Alguma Agncia do Banco do Brasil no tem dficit de funcionrios
d) Existem Agncias com dficit de funcionrios que no pertencem ao Banco do
Brasil
e) O quadro de funcionrios do Banco do Brasil est completo
RESOLUO:
Olhando a manchete publicada pelo jornal, bastaria que um leitor constatasse
que em pelo menos uma agncia do BB no h dficit e ele j teria argumento
suficiente para desmentir o jornal, afinal o jornal tinha dito que todas as agncias
possuem dficit. Uma forma desse leitor expressar-se seria dizendo:
Pelo menos uma agncia do BB no tem dficit de funcionrios.
Uma outra forma de dizer esta mesma frase seria:
Alguma agncia do BB no tem dficit de funcionrios.
Portanto, essa foi a frase que o jornal precisou usar para a retratao
(negao) da anterior.


Resposta: C

5. FCC BAHIAGS 2010) Se a soma dos dgitos de um nmero inteiro n
divisvel por 6, ento n divisvel por 6. Um valor de n que mostra ser falsa a frase
acima :
a) 30
b) 33
c) 40
d) 42
e) 60
RESOLUO:
Estamos diante de uma proposio aberta, pois temos uma varivel (n) que,
dependendo de seu valor, pode tornar a proposio falsa ou verdadeira.
Observe que a proposio do enunciado uma condicional, isto , uma frase
do tipo p q. Sabemos que s h uma forma da condicional ser falsa: se a
condio (p) for verdadeira, mas ainda assim o resultado (q) for falso (se ficou em
dvida, volte na explicao de Condicionais da aula passada). Com isso, vamos
analisar as alternativas:
n = 30: a soma de seus dgitos no divisvel por 6 (3 + 0 = 3), o que torna a
condio p Falsa. Como a condio falsa, o resultado (q) pode ser
verdadeiro ou falso que a frase continua verdadeira. A ttulo de curiosidade,
note que neste caso q Verdadeira (pois 30 divisvel por 6).
n = 33: a soma dos seus dgitos divisvel por 6 (3+3=6), ou seja, p
Verdadeira. Entretanto, o resultado q Falso, pois 33 no divisvel por 6.
Portanto, n = 33 torna a proposio composta Falsa. Este o gabarito.
n = 40: neste caso, p Falsa e q Falsa. Com isso, a frase Verdadeira
(para espanto daqueles no acostumados com o estudo da Lgica)
n = 42: neste caso, p e q so Verdadeiras, tornando pq Verdadeira
n = 60: idem ao anterior.
Resposta: B.

6. FCC ALESP 2010) Durante uma sesso no plenrio da Assemblia
Legislativa, o presidente da mesa fez a seguinte declarao, dirigindo-se s galerias
da casa:


Se as manifestaes desrespeitosas no forem interrompidas, ento eu no
darei incio votao.
Esta declarao logicamente equivalente afirmao:
a) se o presidente da mesa deu incio votao, ento as manifestaes
desrespeitosas foram interrompidas
b) se o presidente da mesa no deu incio votao, ento as manifestaes
desrespeitosas no foram interrompidas
c) se as manifestaes desrespeitosas forem interrompidas, ento o presidente da
mesa dar incio votao
d) se as manifestaes desrespeitosas continuarem, ento o presidente da mesa
comear a votao
e) se as manifestaes desrespeitosas no continuarem, ento o presidente da
mesa no comear a votao.
RESOLUO:
Observe que temos uma condicional ( p q ). A proposio ~ ~ q p
logicamente equivalente a ela, como vimos na teoria de hoje. Como ~q eu darei
incio votao e ~p as manifestaes desrespeitosas foram interrompidas,
temos:
Se o presidente da mesa deu incio votao, ento as manifestaes
desrespeitosas foram interrompidas. (letra A)
Resposta: A
Resolvendo com mais calma, usando a lgica intuitiva, note que ao dizer a
sua frase, o presidente da mesa no prometeu que comearia a votao caso as
manifestaes parassem. Ele simplesmente disse que no comearia a votar
enquanto houvesse as manifestaes. Portanto, no podemos afirmar o que est
dito na alternativa C, por exemplo.
Na frase do presidente, temos uma condio (manifestaes no fossem
interrompidas) que, enquanto fosse verdade, obrigaria a ocorrncia do resultado
(votao no comear). Por outro lado, caso percebssemos que o resultado deixou
de ocorrer (isto , a votao comeou), podemos concluir que a condio deixou de
existir (ou seja, as manifestaes foram interrompidas). Da deduzimos a frase da
letra A.


7. CESPE TRT/17 2009) A negao da proposio O juiz determinou a
libertao de um estelionatrio e de um ladro expressa na forma O juiz no
determinou a libertao de um estelionatrio nem de um ladro.
RESOLUO:
Observe que a primeira frase pode ser escrita na forma O juiz determinou a
libertao de um estelionatrio E o juiz determinou a libertao de um ladro. Isto
, temos uma proposio do tipo p e q onde:
p: O juiz determinou a libertao de um estelionatrio
q: O juiz determinou a libertao de um ladro
Sabemos que uma proposio do tipo p e q s verdadeira se ambos p e q
forem verdadeiros. Portanto, basta que um dos dois (p ou q), ou ambos, sejam
falsos para que a proposio inteira seja falsa. Com isso, sabemos que para neg-la
basta dizer que o juiz no determinou a libertao de um estelionatrio OU o juiz
no determinou a libertao de um ladro. Reescrevendo: O juiz no determinou a
libertao de um estelionatrio ou de um ladro.
Lembrando da teoria que vimos hoje, a negao de p q ~ ~ p q , o que
leva ao resultado que obtivemos.
Resposta: E (errado).

8. CESPE Polcia Militar/AC 2008) Se A a proposio Todo bom soldado
pessoa honesta, considere as proposies seguintes:
B Nenhum bom soldado pessoa desonesta.
C Algum bom soldado pessoa desonesta.
D Existe bom soldado que no pessoa honesta.
E Nenhuma pessoa desonesta um mau soldado.
Nesse caso, todas essas 4 ltimas proposies podem ser consideradas como
enunciados para a proposio A.
RESOLUO:
A proposio A uma proposio categrica (Todo), o que nos remete ao
uso de diagramas lgicos. Esta proposio afirma que todos os elementos do
conjunto bons soldados so tambm elementos do conjunto pessoas honestas,
ou seja, o conjunto bons soldados est contido no conjunto pessoas honestas:



Para desmentir o autor dessa frase, basta encontrarmos um nico soldado
que no pertena ao conjunto das pessoas honestas. Assim, podemos escrever a
negao de A (A) das seguintes formas:
- Pelo menos um soldado no pessoa honesta
- Existe soldado que no pessoa honesta
- Algum soldado no pessoa honesta
Vejamos as alternativas do enunciado:

Imagine o conjunto das pessoas desonestas. Ele deve encontrar fora do
conjunto das pessoas honestas no h interseco entre eles. Por conseqncia,
no haver tambm interseco entre o conjunto dos bons soldados e o conjunto
das pessoas desonestas. Ou seja, no h nenhum bom soldado que desonesto.
Veja, portanto, que a frase B equivalente frase A, e no a sua negao.
Dizer que todo bom soldado honesto equivale a dizer que nenhum bom soldado
desonesto.

Como vimos acima, esta uma forma de negar a frase A. Veja que dizer
pessoa desonesta equivale a dizer no pessoa honesta.

Pessoas honestas
Bons soldados


Esta outra forma que vimos para negar a frase A.

Esta no uma forma de negar A. Veja que no podemos afirmar nada sobre
os maus soldados, afinal no foi nos dada nenhuma informao sobre eles.

Portanto, apenas as frases C e D so formas de escrever a proposio A. Item
ERRADO.
Resposta: E

9. FCC SEFAZ/SP 2009) Considere a afirmao:
Pelo menos um ministro participar da reunio ou nenhuma deciso ser tomada.
Para que essa afirmao seja FALSA:
a) suficiente que nenhum ministro tenha participado da reunio e duas decises
tenham sido tomadas.
b) suficiente que dois ministros tenham participado da reunio e alguma deciso
tenha sido tomada.
c) necessrio e suficiente que alguma deciso tenha sido tomada,
independentemente da participao de ministros na reunio.
d) necessrio que nenhum ministro tenha participado da reunio e duas decises
e) necessrio que dois ministros tenham participado da reunio e nenhuma
deciso tenha sido tomada.
RESOLUO:
Essa afirmao do enunciado uma disjuno (ou). Ela s ser falsa se
ambas as proposies que a compem sejam falsas. Vamos, portanto, obter a
negao de cada uma delas separadamente:

p: Pelo menos um ministro participar da reunio
Como negar uma proposio com Pelo menos um? Basta usar Nenhum.
Assim, temos: Nenhum ministro participar da reunio.

q: nenhuma deciso ser tomada.


Podemos negar essa proposio dizendo: Pelo menos uma deciso ser
tomada.

Como queremos que ambas as proposies sejam falsas, basta que a
conjuno abaixo seja verdadeira:
Nenhum ministro participar da reunio e pelo menos uma deciso ser tomada.
Portanto, se sabemos que nenhum ministro participou da reunio e, mesmo
assim, 1 ou mais decises foram tomadas, isto suficiente para podermos afirmar
que a afirmao FALSA. A alternativa A cita o caso em que sabemos que nenhum
ministro participou e, ainda assim, 2 decises foram tomadas, o que suficiente
para desmentir a afirmao do enunciado.
Resposta: A

10. CESPE POLCIA FEDERAL 2004) Uma noo bsica da lgica a de que
um argumento composto de um conjunto de sentenas denominadas premissas e
de uma sentena denominada concluso. Um argumento vlido se a concluso
necessariamente verdadeira sempre que as premissas forem verdadeiras. Com
base nessas informaes, julgue os itens que se seguem.

( ) Toda premissa de um argumento vlido verdadeira.

( ) Se a concluso falsa, o argumento no vlido.

( ) Se a concluso verdadeira, o argumento vlido.

( ) vlido o seguinte argumento: Todo cachorro verde, e tudo que verde
vegetal, logo todo cachorro vegetal.
RESOLUO:

ERRADO. No necessariamente as premissas so verdadeiras. Entretanto,
se as premissas forem verdadeiras, a concluso tem de ser verdadeira.



ERRADO. O argumento no vlido quando, ao assumir que as premissas
so verdadeiras, a concluso falsa.

ERRADO. Se a concluso verdadeira quando as premissas so falsas,
nada se pode afirmar sobre a validade do argumento.

CERTO. Temos a seguinte estrutura:
Premissa 1: todo cachorro verde
Premissa 2: tudo que verde vegetal
Concluso: todo cachorro vegetal
Veja que, se assumirmos que as premissas 1 e 2 so verdadeiras, a
concluso necessariamente tambm ser verdadeira. Portanto, o argumento
vlido.
Resposta: E E E C

11. FCC SEFAZ/SP 2009) Considere as seguintes afirmaes:
I. Se ocorrer uma crise econmica, ento o dlar no subir.
II. Ou o dlar subir, ou os salrios sero reajustados, mas no ambos.
III. Os salrios sero reajustados se, e somente se, no ocorrer uma crise
econmica.
Sabendo que as trs afirmaes so verdadeiras, correto concluir que,
necessariamente,
a) o dlar no subir, os salrios no sero reajustados e no ocorrer uma crise
econmica.
b) o dlar subir, os salrios no sero reajustados e ocorrer uma crise econmica.
c) o dlar no subir, os salrios sero reajustados e ocorrer uma crise econmica.
d) o dlar subir, os salrios sero reajustados e no ocorrer uma crise econmica.
e) o dlar no subir, os salrios sero reajustados e no ocorrer uma crise
econmica.
RESOLUO:
Resumindo as proposies, temos:


I. Crise dlar no sobe
II. Ou dlar sobe ou salrios reajustados
III. Salrios reajustados no crise
Voc deve resolver esse tipo de questo assumindo (chutando) que uma
das proposies simples Verdadeira. Feito isso, voc dever analisar as demais
proposies, e ver se voc chega em um absurdo. Se chegar, porque o seu chute
estava errado (assim, basta voltar e chutar o contrrio). Se no chegar, porque
seu chute j estava certo.
Vamos chutar que ocorreu uma crise, isto , a primeira proposio simples do
item I Verdadeira.
Como o item I uma condicional (pq), caso a condio p seja V, a
conseqncia q deve ser V tambm. Portanto, o dlar no sobe.
Sabendo disso, podemos partir para o item II. Note que a primeira parte do
item II F (pois o dlar no sobe). Isso obriga a segunda parte ser V (isto , os
salrios so reajustados), para que a afirmao II seja verdadeira.
Vejamos agora o item III. Note que a primeira parte V (salrios
reajustados), mas a segunda F (pois assumimos que ocorreu a crise). Isto um
absurdo, pois torna a afirmao III falsa, e sabemos que ela verdadeira. Onde est
o erro? Na hiptese que chutamos!
Devemos ento chutar o oposto, isto , que no ocorreu uma crise. Assim, a
primeira parte do item I F, de modo que a segunda parte (dlar no sobe) pode
ser V ou F e ainda assim a afirmao I continua verdadeira.
Por outro lado, a segunda parte do item III V (no crise), o que obriga a
primeira parte a ser V (salrios reajustados) para que a afirmao III seja
verdadeira.
Com isso, vemos que a segunda parte do item II V (salrios reajustados), o
que obriga a primeira parte a ser F (portanto, o dlar no sobe) para que a
afirmao II seja verdadeira. Sabendo disso, podemos voltar no item I e verificar que
a sua segunda parte V, o que mantm a afirmao I verdadeira.
Repare que agora conseguimos fazer com que as 3 afirmaes fossem
verdadeiras, como disse o enunciado. Portanto, no ocorreu uma crise, os salrios
so reajustados e o dlar no sobe.
Resposta: E


12. CESPE Polcia Federal 2009) As proposies [ (~ )] (~ ) A B A e
[(~ ) ] (~ ) A B A so equivalentes.
RESOLUO:
Duas proposies so equivalentes quando possuem a mesma tabela-
verdade. Portanto, devemos construir a tabela verdade de cada uma delas.
Inicialmente, veja que ambas possuem apenas 2 proposies simples (A e
B). O nmero de linhas da tabela-verdade igual a 2
n
, onde n o nmero de
proposies simples (neste caso, n = 2). Portanto, teremos 4 linhas em cada tabela.
Vamos comear montando a tabela para [ (~ )] (~ ) A B A . Devemos seguir
os passos abaixo:

1. Escrever todas as possveis combinaes de valores lgicos (V ou F) para A e B:
Valor lgico
de A
Valor lgico
de B
V V
V F
F V
F F

2. Inserir mais 1 coluna, colocando os valores lgicos de ~B (ser o oposto do valor
lgico de B):
Valor lgico
de A
Valor lgico
de B
Valor lgico
de ~B
V V F
V F V
F V F
F F V

3. Inserir mais 1 coluna, colocando os valores lgicos de (~ ) A B . Como trata-se
de uma disjuno (ou), ela s falsa quando A e (~B) so ambos falsos:
Valor lgico
de A
Valor lgico
de B
Valor lgico
de ~B
Valor
de (~ ) A B


V V F V
V F V V
F V F F
F F V V

4. Inserir mais 1 coluna, colocando os valores lgicos de ~A (sero o oposto de A):
Valor lgico
de A
Valor lgico
de B
Valor lgico
de ~B
Valor
de (~ ) A B
Valor lgico
de ~A
V V F V F
V F V V F
F V F F V
F F V V V

5. Inserir a ltima coluna, colocando os valores lgicos de [ (~ )] (~ ) A B A . Por se
tratar de uma condicional, ela s ser falsa quando a condio ([ (~ )] A B ) for falsa
e o resultado (~ ) A verdadeiro:
Valor
lgico de
A
Valor
lgico de
B
Valor
lgico de
~B
Valor
de (~ ) A B
Valor
lgico de
~A
[ (~ )] (~ ) A B A
V V F V F F
V F V V F F
F V F F V V
F F V V V V

Podemos obter a tabela verdade de [(~ ) ] (~ ) A B A seguindo os mesmos
passos. Tente mont-la. O resultado ser a tabela abaixo:
Valor
lgico de
A
Valor
lgico de
B
Valor
lgico de
~A
Valor de
(~ ) A B
Valor
lgico de
~A
Valor de
[(~ ) ] (~ ) A B A
V V F F F F
V F F F F F
F V V V V V


F F V F V V

Note que as tabelas-verdade de [ (~ )] (~ ) A B A igual de
[(~ ) ] (~ ) A B A . Portanto, essas proposies so equivalentes.
Resposta: C (certo).

13. CESPE Polcia Militar/AC 2008) Considere as seguintes proposies:
A 6 - 1 = 7 ou 6 + 1 > 2
B 6 + 3 > 8 e 6 - 3 = 4
C 9 3 > 25 ou 6 7 < 45
D 5 + 2 um nmero primo e todo nmero primo mpar.
Nesse caso, entre essas 4 proposies, apenas duas so F.

RESOLUO:
Vejamos:
A 6 - 1 = 7 ou 6 + 1 > 2
Nessa disjuno, sabemos que 6 + 1 maior que 2. Assim, a proposio
inteira V.

B 6 + 3 > 8 e 6 - 3 = 4
Aqui vemos que 6 3 no igual a 4. Isso torna a segunda proposio
simples Falsa. Como temos uma conjuno (e), onde uma proposio F, ento a
frase inteira F.

C 9 3 > 25 ou 6 7 < 45
Veja que 9 x 3 maior que 25, o que suficiente para afirmar que a
disjuno V.

Aqui temos uma conjuno, onde a primeira parte V (5 + 2 = 7, que
primo), porm a segunda parte F (o nmero 2 primo, porm par). Assim, a
conjuno F.


Portanto, apenas 2 proposies so F (B e D). Item CERTO.
Resposta: C

14. CESPE POLCIA FEDERAL 2004) Quando Paulo estuda, ele aprovado
nos concursos em que se inscreve. Como ele no estudou recentemente, no deve
ser aprovado neste concurso.
Em cada um dos itens a seguir, julgue se o argumento apresentado tem estrutura
lgica equivalente do texto acima.

( ) Quando Paulo gosta de algum, ele no mede esforos para oferecer ajuda.
Como Maria gosta muito de Paulo, ele vai ajud-la a responder as questes de
direito constitucional.

( ) Quando os crticos literrios recomendam a leitura de um livro, muitas pessoas
compram o livro e o lem. O livro sobre viagens maravilhosas, lanado
recentemente, no recebeu comentrios favorveis dos crticos literrios, assim, no
deve ser lido por muitas pessoas.

( ) Sempre que Paulo insulta Maria, ela fica aborrecida. Como Paulo no insultou
Maria recentemente, ela no deve estar aborrecida.

( ) Toda vez que Paulo chega a casa, seu cachorro late e corre a seu encontro.
Hoje Paulo viajou, logo seu cachorro est triste.

RESOLUO:
Quando Paulo estuda, ele aprovado nos concursos em que se inscreve. Como ele
no estudou recentemente, no deve ser aprovado neste concurso.
Sendo p = Paulo estuda, e q = Paulo aprovado, veja que a estrutura lgica
acima :
p q
~p ~q
Vejamos a estrutura lgica de cada uma das alternativas.


p q
r q
Aqui, p = Paulo gosta de algum, q = Paulo ajuda, r = Maria gosta de Paulo.
A estrutura lgica diferente, portanto, o item ERRADO.

p (q e r)
~p ~r
Aqui, p = crticos recomendam; q = pessoas compram; e r = pessoas lem.
Item ERRADO.

p q
~p ~q
Aqui, considerei p = Paulo insulta, e q = Maria fica aborrecida. Item CERTO,
pois a estrutura idntica.

p (q e r)
~p s
Aqui, p = Paulo chega em casa, q = o cachorro late, r = o cachorro corre a
seu encontro, s = o cachorro est triste. Veja que mesmo considerando que Paulo
viajou a negao de Paulo chega em casa (o que no necessariamente
verdade), o item est ERRADO.

Resposta: E E C E



A 3 + 4 = 7 ou 7 - 4 = 3
B 3 + 4 = 7 ou 3 + 4 > 8
C 3
2
= -1 ou 3
2
= 9
D 3
2
= -1 ou 3
2
= 1
Nesse caso, entre essas 4 proposies, apenas duas so V.
RESOLUO:
Vamos analisar cada proposio:
A 3 + 4 = 7 ou 7 - 4 = 3
Veja que 3 + 4 realmente igual a 7. Para uma disjuno (ou) ser V, basta
que pelo menos uma das proposies simples seja V. Nem precisaramos analisar
se 7 4 realmente igual a 3.

B 3 + 4 = 7 ou 3 + 4 > 8
Assim como vimos acima, 3+4 realmente igual a 7, o que j torna a
disjuno V.

C 3
2
= -1 ou 3
2
= 9
Como 3
2
realmente igual a 9, j temos elementos suficientes para dizer que
essa disjuno V.

D 3
2
= -1 ou 3
2
= 1
Veja que ambas as proposies simples desta disjuno so F. Isso torna a
disjuno Falsa.

Portanto, 3 proposies so V e uma F, o que torna o item ERRADO.
Resposta: E

16. FMP/RS TCE/MT 2011) Se vero, ento vai esquentar. Se vai esquentar,
ento chove. Se chove, ento Manoel no vai praia. Se Manoel no vai praia,
ento Maria fica em casa. Se Maria fica em casa, ento a me de Maria faz doces.
A me de Maria no fez doces. Logo:


a) Choveu
b) Manoel foi praia
c) Maria ficou em casa
d) Esquentou
e) vero
RESOLUO:
Veja que temos uma srie de condicionais (p q), e devemos sempre
assumir que todas elas so verdadeiras (exceto se o exerccio disser o contrrio). E
lembre que uma condicional s no verdadeira se p V e q F.
O exerccio nos deu ainda uma proposio simples: A me de Maria no fez
doces. Essa proposio tambm deve ser verdadeira, portanto sabemos que a me
de Maria efetivamente no fez doces. Com isto em mos, vamos analisar as
proposies anteriores. Vamos comear analisando a ltima condicional, pois ela
faz referncia a algo que j sabemos (me de Maria):

Se Maria fica em casa, ento a me de Maria faz doces.
Sabemos que a segunda parte dessa proposio (a me da Maria faz
doces) falsa. Portanto, a condio (Maria fica em casa) precisa ser falsa
tambm, para que a condicional p q continue verdadeira. Com isso, descobrimos
que Maria no fica em casa.

Se Manoel no vai praia, ento Maria fica em casa.
Novamente vemos que a segunda parte (Maria fica em casa) falsa, o que
obriga a primeira parte (Manoel no vai praia) a ser falsa tambm, para manter a
condicional pq verdadeira. Assim, sabemos que Manoel vai praia.

Se chove, ento Manoel no vai praia.
De novo, vemos que q F, o que obriga p a ser F tambm. Portanto, no
chove.

Se vai esquentar, ento chove.
Novamente, q F, obrigando p a ser F. Isto , no vai esquentar.

Se vero, ento vai esquentar.


Aqui tambm q F, obrigando p a ser F tambm. Assim, no vero.
Assim, sabemos que:
- A me de Maria no fez doces
- Maria no fica em casa
- Manoel vai praia
- no chove
- no vai esquentar
- no vero
Resposta: B.

17. CESPE Polcia Militar/AC 2008) Considere as seguintes sentenas:
I O Acre um estado da Regio Nordeste.
II Voc viu o cometa Halley?
III H vida no planeta Marte.
IV Se x < 2, ento x + 3 > 1.
Nesse caso, entre essas 4 sentenas, apenas duas so proposies.
RESOLUO:
Veja que a primeira frase uma afirmao, que pode ser Verdadeira ou Falsa
(neste caso, sabemos que falsa). Portanto, trata-se de uma proposio. O mesmo
vale para a terceira frase.
A segunda frase uma pergunta, no podendo ser valorada como V ou F.
Assim, no uma proposio.
A ltima frase uma condicional. Trata-se de uma proposio aberta, que
pode ser V ou F dependendo dos valores da varivel x. Portanto, 3 sentenas so
proposies (I, III e IV). Item ERRADO.
Resposta: E

18. CESPE MPE/RR 2008) Uma proposio simples uma frase afirmativa,
constituda esquematicamente por um sujeito e um predicado, que pode ter um dos
dois valores: falso F , ou verdadeiro V , excluindo-se qualquer outro.
Novas proposies podem ser formadas a partir de proposies simples e dos
chamados conectivos: e, simbolizado por ^; ou, simbolizado por v; se ... ento,
simbolizado por ; e se e somente se, simbolizado por . Tambm usado


o modificador no, simbolizado por . As proposies so representadas por letras
do alfabeto: A, B, C etc. So as seguintes as valoraes para algumas proposies
compostas:

H expresses que no podem ser valoradas como V nem como F, como, por
exemplo: Ele contador, x + 3 = 8. Essas expresses so denominadas
proposies abertas. Elas tornam-se proposies, que podero ser julgadas como
V ou F, depois de atribudos determinados valores ao sujeito, ou varivel. O
conjunto de valores que tornam a proposio aberta uma proposio valorada como
V denominado conjunto verdade.
Com base nessas informaes, julgue os itens que se seguem, a respeito de
estruturas lgicas e lgica de argumentao.

( ) Considere a seguinte proposio.
A: Para todo evento probabilstico X, a probabilidade P(X) tal que0 ( ) 1 P X
Nesse caso, o conjunto verdade da proposio A tem infinitos elementos.

( ) Considere como V as seguintes proposies.
A: Jorge briga com sua namorada Slvia.
B: Slvia vai ao teatro.
Nesse caso, (AB) a proposio C: Se Jorge no briga com sua namorada
Slvia, ento Slvia no vai ao teatro.

( ) Considere as seguintes proposies.
Nesse caso, independentemente das valoraes V ou F para A e B, a expresso
(AvB) correspondente proposio C: Jorge no briga com sua namorada Slvia e
Slvia no vai ao teatro.



( ) Se A e B so proposies, ento (AB) tem as mesmas valoraes que
[(A)(B)]^[(B)(A)].

RESOLUO:
A proposio A seria: Para algum evento probabilstico X, a probabilidade
P(X) tal que P(X) < 0 ou P(X) > 1. Como sabemos que impossvel um evento ter
probabilidade negativa ou superior a 1, ento para nenhum valor de X a expresso
A verdadeira. Isto , o conjunto-verdade (conjunto de valores de X que tornam a
proposio verdadeira) da proposio A vazio. Item ERRADO.

A proposio AB seria: Se Jorge briga com sua namorada Slvia, ento
Slvia vai ao teatro.
A negao de uma condicional AB, isto , (AB), seria A e B: Jorge
briga com sua namorada Slvia e Slvia no vai ao teatro. Item ERRADO.

A disjuno AvB seria: Jorge briga com sua namorada Slvia OU Slvia vai ao
teatro.


A negao dessa disjuno, isto , (AvB), seria A e B: Jorge no briga
com sua namorada Slvia E Slvia no vai ao teatro. Item CERTO.

[(A)(B)]^[(B)(A)].
Veja que (AB) a negao de uma bicondicional (dupla implicao). Ns
vimos que essa negao pode ser feita com um ou exclusivo: Ou A, ou B; que
tambm pode ser representado por AB. Esta proposio verdadeira apenas
quando A V e B F, ou A F e B V.
Vamos imaginar que A V e B F. Com isso, AB ser verdadeiro. Para
esses mesmos valores lgicos de A e B, vamos analisar a expresso
[(A)(B)]^[(B)(A)].
Observando que A F e B V, temos: [ F V ] ^ [ V F]. Sabemos que
F V uma condicional verdadeira, porm V F uma condicional falsa. Com
isso, a conjuno (^) torna-se falsa.
Como vemos, para os mesmos valores lgicos de A e B, as expresses AB
e [(A)(B)]^[(B)(A)] tem valores diferentes. Item ERRADO.
Obs.: ao invs de analisar um caso nico, como fizemos aqui, voc poderia
escrever a tabela-verdade de cada uma dessas proposies. Tente montar essa
tabela da esquerda para a direita:
A B
AB
A B [(A)(B)] [(B)(A)] [(A)(B)]^[(B)(A)]
V V F F F V V V
V F V F V V F F
F V V V F F V F
F F F V V V V V

Resposta: E E C E

19. FGV - MEC - 2008) Com relao naturalidade dos cidados brasileiros,
assinale a alternativa logicamente correta:
a) Ser brasileiro condio necessria e suficiente para ser paulista.
b) Ser brasileiro condio suficiente, mas no necessria para ser paranaense.
c) Ser carioca condio necessria e suficiente para ser brasileiro.
d) Ser baiano condio suficiente, mas no necessria para ser brasileiro.


e) Ser maranhense condio necessria, mas no suficiente para ser brasileiro.
RESOLUO:
Vamos analisar cada alternativa, para voc fixar bem os conceitos de
condio necessria, condio suficiente e condio necessria e suficiente.

Falso. Observe que necessrio a pessoa ser brasileira para ser paulista.
No existem paulistas que no so brasileiros. Porm no basta ser brasileiro para
ser paulista, isto , no suficiente saber que algum brasileiro para concluir que
esse algum paulista. Portanto, ser brasileiro condio necessria para ser
paulista, mas no suficiente.
Uma forma rpida de ver montando a condicional: Se voc paulista,
ento voc brasileiro. Numa condicional pq como esta, p condio suficiente
para q, e q condio necessria para p. Portanto, ser paulista condio
suficiente para ser brasileiro, e ser brasileiro condio necessria para ser
paulista.

Falso. No h como ser paranaense sem ser brasileiro, isto , necessrio
que algum seja brasileiro para que seja paranaense. Mas no basta saber que
algum brasileiro para concluir que esse algum paranaense, isto , ser
brasileiro no condio suficiente para ser paranaense.

Falso. De fato suficiente saber que algum carioca para afirmar que essa
pessoa brasileira. Mas no necessrio ser carioca para ser brasileiro.

Verdadeiro. Assim como na letra C, sabemos que suficiente saber que
algum baiano para afirmar que esse algum brasileiro, porm no necessrio
ser baiano para ser brasileiro.



Falso. Ser maranhense condio suficiente, mas no necessria para ser
brasileiro.
Resposta: D

20. CONSULPLAN PREF. ITABAIANA 2010) Qual das proposies abaixo
verdadeira?
A) O ar necessrio vida e a gua do mar doce
B) O avio um meio de transporte ou o ao mole.
C) 6 mpar ou 2 + 3 5.
D) O Brasil um pas e Sergipe uma cidade.
E) O papagaio fala e o porco voa.
RESOLUO:
Vamos analisar cada alternativa.
Segundo nossos conhecimentos gerais, a primeira parte verdadeira, porm
a segunda falsa. Como esta proposio uma conjuno, ela est falsa, pois s
seria verdadeira se ambas as proposies fossem verdadeiras.
A primeira parte verdadeira e a segunda falsa. Como se trata de uma
disjuno, ela verdadeira, pois basta que uma das proposies simples seja
verdadeira. Eis o gabarito.
C) 6 mpar ou 2 + 3 5.
Temos uma disjuno onde ambas as proposies simples so falsas,
levando a uma sentena falsa.
Temos uma conjuno onde uma proposio falsa, tornando a sentena
falsa.
Outra conjuno com uma das proposies falsa.
Resposta: B.



21. FGV - CODESP/SP - 2010) Se A no azul, ento B amarelo. Se B no
amarelo, ento C verde. Se A azul, ento C no verde. Logo, tem-se
obrigatoriamente que:
a) A azul
b) B amarelo
c) C verde
d) A no azul
e) B no amarelo
RESOLUO:
Para resolver esse exerccio, vamos chutar que A no azul (incio da
primeira proposio) falsa, isto , A azul verdadeira. Feito isso, vamos
analisar as condicionais.
Ainda sobre a primeira sentena, se a proposio p (A no azul) da
condicional falsa, a proposio q pode ser verdadeira ou falsa e mesmo assim a
condicional ser verdadeira. Portanto, ainda no podemos afirmar se B amarelo
V ou F. Vejamos a terceira frase:

Se A azul, ento C no verde
Nessa terceira frase, sabemos que A azul verdadeira (pois definimos
que A no azul falsa). Portanto, C no verde tem de ser verdadeira
tambm. Com isso em mos, vamos verificar a segunda sentena:

Se B no amarelo, ento C verde.
Sabemos que C verde falso. Assim, B no amarelo precisa ser falsa
tambm para garantir que a condicional seja verdadeira. Portanto, B amarelo
seria verdadeira.

Em resumo, quando chutamos que A no azul falsa, obtivemos:
- A azul
- B amarelo
- C no verde.


E se tivssemos assumido que A no azul verdadeira? Analisando a
primeira condicional novamente, isso obrigaria B amarelo a ser verdadeira
tambm, sob pena de tornar a condicional pq falsa.
Isto , chutando A no azul verdadeira ou falsa, chegamos mesma
concluso em relao a B. Assim, podemos garantir que B realmente amarelo,
como afirma a letra B.
Resposta: B

22. FGV - MEC - 2008) O silogismo uma forma de raciocnio dedutivo. Na sua
forma padronizada, constitudo por trs proposies: as duas primeiras
denominam-se premissas e a terceira, concluso. As premissas so juzos que
precedem a concluso. Em um silogismo, a concluso conseqncia necessria
das premissas.
So dados 3 conjuntos formados por 2 premissas verdadeiras e 1 concluso no
necessariamente verdadeira.

I.
Premissa 1: Alguns animais so homens.
Premissa 2: Jlio um animal.
Concluso: Jlio homem.

II.
Premissa 1: Todo homem um animal.
Premissa 2: Joo um animal.
Concluso: Joo um homem.

III.
Premissa 2: Jos um homem.
Concluso: Jos um animal.

(so) silogismo(s) somente:
a) I
b) II


c) III
d) I e III
e) II e III
RESOLUO:
Vamos analisar os 3 conjuntos dados. Em cada um deles, assumiremos que
as 2 premissas so verdadeiras e veremos se isso torna a concluso verdadeira ou
no. Se torn-la verdadeira, temos um silogismo.

I.
Falso. Veja que nem todos os animais so homens, apenas alguns (premissa
1). possvel que Jlio seja algum dos animais que no homem. Assim, no se
pode concluir que Jlio homem.

II.
Falso. A premissa 1 diz que todo homem animal, mas no garante que todo
animal homem. Isto , podem existir animais que so homens e animais que no
so homens. Se Joo um animal (premissa 2), ele pode estar em qualquer um
desses 2 grupos. No podemos afirmar que ele est no grupo dos animais que so
homens, como diz a concluso.

III.
Verdadeiro. A premissa 1 suficiente para afirmar que todos os homens
esto contidos no conjunto dos animais. Portanto, se Jos um homem, ele
tambm est contido nesse conjunto. Portanto, ele um animal (concluso).
Resposta: C.


Obs.: na aula de diagramas lgicos voltaremos a esse exerccio para resolv-
lo utilizando esta ferramenta.

23. FGV - CODESP/SP - 2010) A negao da sentena Se tenho dinheiro, ento
sou feliz :
a) Se no tenho dinheiro, ento no sou feliz
b) Se no sou feliz, ento no tenho dinheiro
c) No tenho dinheiro e sou feliz
d) No tenho dinheiro ou sou feliz
e) Tenho dinheiro, e no sou feliz
RESOLUO:
Para desmentir o autor dessa frase, seria preciso mostrar que, mesmo tendo
dinheiro, determinada pessoa no feliz. Letra E.
Trata-se de uma condicional pq, cuja negao p e ~q.
Resposta: E.

24. FGV - CODESP/SP - 2010) Em cada uma das cinco portas A, B, C, D e E, est
escrita uma sentena, conforme a seguir:
Porta A: Eu sou a porta de sada
Porta B: A porta de sada a C
Porta C: A sentena escrita na porta A verdadeira
Porta D: Se eu sou a porta de sada, ento a porta de sada no a porta E
Porta E: Eu no sou a porta de sada
Sabe-se que dessas cinco sentenas h uma nica verdadeira e que h somente
uma porta de sada. A porta de sada a porta:
a) D
b) A
c) B
d) C
e) E
RESOLUO:
Para resolver esse exerccio, vamos admitir que uma sentena seja
verdadeira e as outras 4 sejam falsas. Mas, se elas forem falsas, as negaes delas


sero verdadeiras. Vejamos ento como seria a negao de cada uma das
sentenas:
Sentena Negao
Porta A: Eu sou a porta de sada Eu no sou a porta de sada
Porta B: A porta de sada a C A porta de sada no a C
Porta C: A sentena escrita na porta A
verdadeira
A sentena escrita na porta A no
verdadeira
Porta D: Se eu sou a porta de sada,
ento a porta de sada no a porta E
Eu sou a porta de sada e a porta de
sada a porta E
Porta E: Eu no sou a porta de sada Eu sou a porta de sada

Repare na negao da sentena D. Essa negao nunca pode ser
verdadeira, afinal ela diz que tanto a prpria porta D quanto a porta E so a sada.
Temos certeza que essa frase falsa. Se ela falsa, ento a sentena D deve ser
verdadeira: Se eu sou a porta de sada, ento a porta de sada no a porta E.
Ora, j descobrimos que apenas a porta D tem uma sentena verdadeira,
portanto a negao da sentena escrita em cada uma das outras portas tambm
verdadeira.
Veja que a negao da frase da porta E : Eu sou a porta de sada. Sendo
essa frase verdadeira, nosso gabarito a letra E.
Resposta: E

25. CESPE MPS 2009) Julgue os itens que se seguem, acerca de tautologia,
proposies e operaes com conjuntos.

( ) Considerando as proposies P e Q e os smbolos lgicos: (negao); v (ou);
^ (e); (se, ... ento), correto afirmar que a proposio (P)^Q (P)v Q uma
tautologia.

( ) Se A for um conjunto no vazio e se o nmero de elementos do conjunto A B
for igual ao nmero de elementos do conjunto A B , ento o conjunto B ter pelo
menos um elemento.


( ) A negao da proposio Pedro no sofreu acidente de trabalho ou Pedro est
aposentado Pedro sofreu acidente de trabalho ou Pedro no est aposentado.

RESOLUO:
tautologia.
Vamos construir a tabela-verdade dessa proposio:
p q ~p ~q (P)^Q (P)v Q (P)^Q
(P)v Q
V V F F F V V
V F F V F F V
F V V F V V V
F F V V F V V
Observando a coluna da direita, vemos que a expresso sempre
Verdadeira, independentemente dos valores lgicos de P e Q. Portanto, trata-se de
uma Tautologia. Item CERTO.

( ) Se A for um conjunto no vazio e se o nmero de elementos do conjunto
A B for igual ao nmero de elementos do conjunto A B , ento o conjunto B ter
pelo menos um elemento.
Se o nmero de elementos comuns aos 2 conjuntos (interseco) igual ao
total de elementos dos 2 conjuntos (unio), podemos afirmar que os conjuntos A e B
so iguais. Como A no vazio, ele tem pelo menos um elemento. O mesmo ocorre
com B. Item CERTO.

Para desmentir o autor da primeira proposio, precisaramos provar que
nenhuma das afirmaes verdadeira (pois se trata de uma disjuno). Assim, a
negao feita com a conjuno: Pedro sofreu acidente de trabalho E Pedro no
est aposentado. Item ERRADO.


Resposta: C C E

26. CESPE PREVIC 2011) Um argumento uma sequncia finita de
proposies, que so sentenas que podem ser julgadas como verdadeiras (V) ou
falsas (F). Um argumento vlido quando contm proposies assumidas como
verdadeiras nesse caso, denominadas premissas e as demais proposies
so inseridas na sequncia que constitui esse argumento porque so verdadeiras
em consequncia da veracidade das premissas e de proposies anteriores. A
ltima proposio de um argumento chamada concluso. Perceber a forma de um
argumento o aspecto primordial para se decidir sua validade. Duas proposies
so logicamente equivalentes quando tm as mesmas valoraes V ou F. Se uma
proposio for verdadeira, ento a sua negao ser falsa, e vice-versa. Com base
nessas informaes, julgue o item a seguir.

( ) A negao da proposio Se um trabalhador tinha qualidade de segurado da
previdncia social ao falecer, ento seus dependentes tm direito a penso
logicamente equivalente proposio Um trabalhador tinha qualidade de segurado
da previdncia social ao falecer, mas seus dependentes no tm direito a penso.

RESOLUO:
A primeira proposio p q, onde p = o trabalhador era segurado e q = os
dependentes tem direito a penso (resumidamente).
J a segunda proposio p e ~q. Temos, de fato, a negao de pq, pois a
condio (p) foi cumprida e, mesmo assim, o resultado (q) no ocorreu. Item
CERTO.
Resposta: C
***************************
Pessoal, por hoje isso. At a prxima aula, quando daremos continuidade
resoluo de exerccios sobre lgica proposicional e de argumentao. Garanta que
voc entendeu bem a teoria da aula de hoje, para aproveitar bem as prximas
aulas. Abrao,
Arthur Lima (arthurlima@estrategiaconcursos.com.br)


3. LISTA DAS QUESTES APRESENTADAS NA AULA

1. CESPE TRE/BA 2009) A negao da proposio O presidente o membro
mais antigo do tribunal e o corregedor o vice-presidente O presidente o
membro mais novo do tribunal e o corregedor no o vice-presidente.

2. CESPE STF 2008)
Filho meu, ouve minhas palavras e atenta para meu conselho.
A resposta branda acalma o corao irado.
O orgulho e a vaidade so as portas de entrada da runa do homem.
Se o filho honesto ento o pai exemplo de integridade.

Tendo como referncia as quatro frases acima, julgue o itens seguintes.




lgicos.

3. CESPE BANCO DO BRASIL 2007) Na lgica sentencial, denomina-se
proposio uma frase que pode ser julgada como verdadeira (V) ou falsa (F), mas
no, como ambas. Assim, frases como Como est o tempo hoje? e Esta frase
falsa no so proposies porque a primeira pergunta e a segunda no pode ser
nem V nem F. As proposies so representadas simbolicamente por letras
maisculas do alfabeto A, B, C etc. Uma proposio da forma A ou B F se A e
B forem F, caso contrrio V; e uma proposio da forma Se A ento B F se A
for V e B for F, caso contrrio V. Um raciocnio lgico considerado correto
formado por uma seqncia de proposies tais que a ltima proposio
verdadeira sempre que as proposies anteriores na seqncia forem verdadeiras.


Considerando as informaes contidas no texto acima, julgue os itens
subseqentes.

Maria alta.


A frase dentro destas aspas uma mentira.
A expresso X + Y positiva.
O valor de 4 3 7 + = .
Pel marcou dez gols para a seleo brasileira.
O que isto?

4. FCC Banco do Brasil 2011) Um jornal publicou a seguinte manchete:
Toda Agncia do Banco do Brasil tem dficit de funcionrios.
Diante de tal inverdade, o jornal se viu obrigado a retratar-se, publicando uma
negao de tal manchete. Das sentenas seguintes, aquela que expressaria de
maneira correta a negao da manchete publicada :
a) Qualquer Agncia do Banco do Brasil no tm dficit de funcionrios
b) Nenhuma Agncia do Banco do Brasil tem dficit de funcionrios
c) Alguma Agncia do Banco do Brasil no tem dficit de funcionrios
d) Existem Agncias com dficit de funcionrios que no pertencem ao Banco do
Brasil
e) O quadro de funcionrios do Banco do Brasil est completo


5. FCC BAHIAGS 2010) Se a soma dos dgitos de um nmero inteiro n
divisvel por 6, ento n divisvel por 6. Um valor de n que mostra ser falsa a frase
acima :
a) 30
b) 33
c) 40
d) 42
e) 60

6. FCC ALESP 2010) Durante uma sesso no plenrio da Assemblia
Legislativa, o presidente da mesa fez a seguinte declarao, dirigindo-se s galerias
da casa:
Se as manifestaes desrespeitosas no forem interrompidas, ento eu no
darei incio votao.
Esta declarao logicamente equivalente afirmao:
a) se o presidente da mesa deu incio votao, ento as manifestaes
desrespeitosas foram interrompidas
b) se o presidente da mesa no deu incio votao, ento as manifestaes
desrespeitosas no foram interrompidas
c) se as manifestaes desrespeitosas forem interrompidas, ento o presidente da
mesa dar incio votao
d) se as manifestaes desrespeitosas continuarem, ento o presidente da mesa
comear a votao
e) se as manifestaes desrespeitosas no continuarem, ento o presidente da
mesa no comear a votao.

7. CESPE TRT/17 2009) A negao da proposio O juiz determinou a
libertao de um estelionatrio e de um ladro expressa na forma O juiz no
determinou a libertao de um estelionatrio nem de um ladro.

8. CESPE Polcia Militar/AC 2008) Se A a proposio Todo bom soldado
pessoa honesta, considere as proposies seguintes:


Nesse caso, todas essas 4 ltimas proposies podem ser consideradas como
enunciados para a proposio A.

9. FCC SEFAZ/SP 2009) Considere a afirmao:
Pelo menos um ministro participar da reunio ou nenhuma deciso ser tomada.
Para que essa afirmao seja FALSA:
a) suficiente que nenhum ministro tenha participado da reunio e duas decises
b) suficiente que dois ministros tenham participado da reunio e alguma deciso
tenha sido tomada.
c) necessrio e suficiente que alguma deciso tenha sido tomada,
independentemente da participao de ministros na reunio.
d) necessrio que nenhum ministro tenha participado da reunio e duas decises
e) necessrio que dois ministros tenham participado da reunio e nenhuma
deciso tenha sido tomada.

10. CESPE POLCIA FEDERAL 2004) Uma noo bsica da lgica a de que
um argumento composto de um conjunto de sentenas denominadas premissas e
de uma sentena denominada concluso. Um argumento vlido se a concluso
necessariamente verdadeira sempre que as premissas forem verdadeiras. Com
base nessas informaes, julgue os itens que se seguem.






11. FCC SEFAZ/SP 2009) Considere as seguintes afirmaes:
I. Se ocorrer uma crise econmica, ento o dlar no subir.
II. Ou o dlar subir, ou os salrios sero reajustados, mas no ambos.
III. Os salrios sero reajustados se, e somente se, no ocorrer uma crise
econmica.
Sabendo que as trs afirmaes so verdadeiras, correto concluir que,
necessariamente,
a) o dlar no subir, os salrios no sero reajustados e no ocorrer uma crise
econmica.
b) o dlar subir, os salrios no sero reajustados e ocorrer uma crise econmica.
c) o dlar no subir, os salrios sero reajustados e ocorrer uma crise econmica.
d) o dlar subir, os salrios sero reajustados e no ocorrer uma crise econmica.
e) o dlar no subir, os salrios sero reajustados e no ocorrer uma crise
econmica.

12. CESPE Polcia Federal 2009) As proposies [ (~ )] (~ ) A B A e
[(~ ) ] (~ ) A B A so equivalentes.

A 6 - 1 = 7 ou 6 + 1 > 2
B 6 + 3 > 8 e 6 - 3 = 4
C 9 3 > 25 ou 6 7 < 45
Nesse caso, entre essas 4 proposies, apenas duas so F.

14. CESPE POLCIA FEDERAL 2004) Quando Paulo estuda, ele aprovado
nos concursos em que se inscreve. Como ele no estudou recentemente, no deve
ser aprovado neste concurso.
Em cada um dos itens a seguir, julgue se o argumento apresentado tem estrutura
lgica equivalente do texto acima.






A 3 + 4 = 7 ou 7 - 4 = 3
B 3 + 4 = 7 ou 3 + 4 > 8
C 3
2
= -1 ou 3
2
= 9
D 3
2
= -1 ou 3
2
= 1
Nesse caso, entre essas 4 proposies, apenas duas so V.

16. FMP/RS TCE/MT 2011) Se vero, ento vai esquentar. Se vai esquentar,
ento chove. Se chove, ento Manoel no vai praia. Se Manoel no vai praia,
ento Maria fica em casa. Se Maria fica em casa, ento a me de Maria faz doces.
A me de Maria no fez doces. Logo:
a) Choveu
b) Manoel foi praia
c) Maria ficou em casa
d) Esquentou
e) vero

17. CESPE Polcia Militar/AC 2008) Considere as seguintes sentenas:


I O Acre um estado da Regio Nordeste.
II Voc viu o cometa Halley?
III H vida no planeta Marte.
IV Se x < 2, ento x + 3 > 1.
Nesse caso, entre essas 4 sentenas, apenas duas so proposies.

18. CESPE MPE/RR 2008) Uma proposio simples uma frase afirmativa,
constituda esquematicamente por um sujeito e um predicado, que pode ter um dos
dois valores: falso F , ou verdadeiro V , excluindo-se qualquer outro.
Novas proposies podem ser formadas a partir de proposies simples e dos
chamados conectivos: e, simbolizado por ^; ou, simbolizado por v; se ... ento,
simbolizado por ; e se e somente se, simbolizado por . Tambm usado
o modificador no, simbolizado por . As proposies so representadas por letras
do alfabeto: A, B, C etc. So as seguintes as valoraes para algumas proposies
compostas:

H expresses que no podem ser valoradas como V nem como F, como, por
exemplo: Ele contador, x + 3 = 8. Essas expresses so denominadas
proposies abertas. Elas tornam-se proposies, que podero ser julgadas como
V ou F, depois de atribudos determinados valores ao sujeito, ou varivel. O
conjunto de valores que tornam a proposio aberta uma proposio valorada como
V denominado conjunto verdade.
Com base nessas informaes, julgue os itens que se seguem, a respeito de
estruturas lgicas e lgica de argumentao.





[(A)(B)]^[(B)(A)].

19. FGV - MEC - 2008) Com relao naturalidade dos cidados brasileiros,
assinale a alternativa logicamente correta:

20. CONSULPLAN PREF. ITABAIANA 2010) Qual das proposies abaixo
verdadeira?
C) 6 mpar ou 2 + 3 5.


21. FGV - CODESP/SP - 2010) Se A no azul, ento B amarelo. Se B no
amarelo, ento C verde. Se A azul, ento C no verde. Logo, tem-se
obrigatoriamente que:
a) A azul
b) B amarelo
c) C verde
d) A no azul
e) B no amarelo

22. FGV - MEC - 2008) O silogismo uma forma de raciocnio dedutivo. Na sua
forma padronizada, constitudo por trs proposies: as duas primeiras
denominam-se premissas e a terceira, concluso. As premissas so juzos que
precedem a concluso. Em um silogismo, a concluso conseqncia necessria
das premissas.
So dados 3 conjuntos formados por 2 premissas verdadeiras e 1 concluso no
necessariamente verdadeira.

I.

II.

III.

(so) silogismo(s) somente:
a) I


b) II
c) III
d) I e III
e) II e III

23. FGV - CODESP/SP - 2010) A negao da sentena Se tenho dinheiro, ento
sou feliz :
a) Se no tenho dinheiro, ento no sou feliz
b) Se no sou feliz, ento no tenho dinheiro
c) No tenho dinheiro e sou feliz
d) No tenho dinheiro ou sou feliz
e) Tenho dinheiro, e no sou feliz

24. FGV - CODESP/SP - 2010) Em cada uma das cinco portas A, B, C, D e E, est
escrita uma sentena, conforme a seguir:
Porta A: Eu sou a porta de sada
Porta B: A porta de sada a C
Porta C: A sentena escrita na porta A verdadeira
Porta D: Se eu sou a porta de sada, ento a porta de sada no a porta E
Porta E: Eu no sou a porta de sada
Sabe-se que dessas cinco sentenas h uma nica verdadeira e que h somente
uma porta de sada. A porta de sada a porta:
a) D
b) A
c) B
d) C
e) E

25. CESPE MPS 2009) Julgue os itens que se seguem, acerca de tautologia,
proposies e operaes com conjuntos.


tautologia.

( ) Se A for um conjunto no vazio e se o nmero de elementos do conjunto A B
for igual ao nmero de elementos do conjunto A B , ento o conjunto B ter pelo
menos um elemento.


26. CESPE PREVIC 2011) Um argumento uma sequncia finita de
proposies, que so sentenas que podem ser julgadas como verdadeiras (V) ou
falsas (F). Um argumento vlido quando contm proposies assumidas como
verdadeiras nesse caso, denominadas premissas e as demais proposies
so inseridas na sequncia que constitui esse argumento porque so verdadeiras
em consequncia da veracidade das premissas e de proposies anteriores. A
ltima proposio de um argumento chamada concluso. Perceber a forma de um
argumento o aspecto primordial para se decidir sua validade. Duas proposies
so logicamente equivalentes quando tm as mesmas valoraes V ou F. Se uma
proposio for verdadeira, ento a sua negao ser falsa, e vice-versa. Com base
nessas informaes, julgue o item a seguir.

( ) A negao da proposio Se um trabalhador tinha qualidade de segurado da
previdncia social ao falecer, ento seus dependentes tm direito a penso
logicamente equivalente proposio Um trabalhador tinha qualidade de segurado
da previdncia social ao falecer, mas seus dependentes no tm direito a penso.


4. GABARITO
01 E 02 ECEE 03 CEE 04 C 05 B 06 A 07 E
08 E 09 A 10 EEEC 11 E 12 C 13 C 14 EECE
15 E 16 B 17 E 18 EECE 19 D 20 B 21 B
22 C 23 E 24 E 25 CCE 26 C

Aula 03 - Raciocínio Lógico - Text.Marked

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Aula 03 - Raciocínio Lógico - Text.Marked

Uploaded by

Copyright:

Available Formats

RACIOCNIO LGICO p/ POLCIA FEDERAL

TEORIA E EXERCCIOS COMENTADOS

You might also like