AEP Tropadeelite PRF RaciocinioLogico Webercampos

A
A
p
p
o
o
s
s
t
t
i
i
l
l
a
a
d
d
e
e

R
R
a
a
c
c
i
i
o
o
c
c
n
n
i
i
o
o
L
L
g
g
i
i
c
c
o
o

P PO OL L C CI IA A F FE ED DE ER RA AL L - - C CE ES SP PE E

Prof. Weber Campos
webercampos@gmail.com

Agora Eu Passo - AEP
www.cursoagoraeupasso.com.br

Raciocnio Lgico 2 Prof Weber Campos

NDICE

1. LGICA PROPOSICIONAL 3
Proposio 3
Conectivos Lgicos 3
Conjuno: A e B 3
Disjuno: A ou B 3
Disjuno Exclusiva: ou A ou B, mas no ambos 4
Condicional: Se A ento B 4
Bicondicional: A se e somente se B 4
Negao: no A 5
Ordem de Precedncia dos Conectivos 5
Construo da Tabela-Verdade para uma Proposio Composta 5
Tautologia, Contradio e Contingncia 6
Negao dos termos Todo, Algum e Nenhum 7
Negao de Proposies Compostas 8
Proposies Logicamente Equivalentes 8
Regras de Simplificao 9
Diagramas Lgicos
Proposies Categricas 10
Representao das Proposies Categricas por Diagramas de Conjuntos 11
Argumento 13
Sentenas Abertas e Quantificadores (Lgica de 1 Ordem) 15

EXERCCIOS 18

GABARITO 36

PROGRAMA DE RACIOCNIO LGICO:
Polcia Federal de 2004 e 2009 Cespe:
1 Compreenso de estruturas lgicas.
2 Lgica de argumentao: analogias, inferncias, dedues e concluses.
3 Diagramas lgicos.
4 Princpios de contagem e probabilidade.

Programa Recente das Provas do Cespe:
1 Estruturas lgicas.
2 Lgica de argumentao: analogias, inferncias, dedues e concluses.
3 Lgica sentencial (ou proposicional): proposies simples e compostas; tabelas-verdade;
equivalncias; leis de De Morgan; diagramas lgicos.
4 Lgica de primeira ordem.
5 Princpios de contagem e probabilidade.
6 Operaes com conjuntos.
7 Raciocnio lgico envolvendo problemas aritmticos, geomtricos e matriciais.


LGICA PROPOSICIONAL

1. PROPOSIO
Denomina-se proposio a toda frase declarativa, expressa em palavras ou smbolos, que exprima
um juzo ao qual se possa atribuir, dentro de certo contexto, somente um de dois valores lgicos possveis:
verdadeiro ou falso.

So exemplos de proposies as seguintes sentenas declarativas:
A capital do Brasil Braslia.
2
3
> 10
Existe um nmero mpar menor que dois.
Joo foi ao cinema ou ao teatro.

No so proposies:
1) frases interrogativas: Qual o seu nome?
2) frases exclamativas: Que linda essa mulher!
3) frases imperativas: Estude mais.
4) frases optativas: Deus te acompanhe.
5) frases sem verbo: O caderno de Maria.
6) sentenas abertas (o valor lgico da sentena depende do valor (do nome) atribudo a
varivel):
x maior que 2; x+y = 10; Z a capital do Chile.

2. CONECTIVOS LGICOS

Conectivos
(linguagem idiomtica)
Conectivos
(Smbolo)
Estrutura lgica Exemplo
e . Conjuno: A . B Joo ator e alagoano.
ou v Disjuno: A v B Irei ao cinema ou praia.
ou ... ou, mas no
ambos
v
Disjuno exclusiva:
A v B
Ou Tiago mdico ou dentista,
mas no ambos.
se ... ento Condicional: A B Se chove, ento faz frio.
se e somente se Bicondicional: A B Vivo se e somente se sou feliz.

# CONJUNO: A e B
A B A e B
V V V
V F F
F V F
F F F

# DISJUNO: A ou B
A B A ou B
V V V
V F V
F V V
F F F

# DISJUNO EXCLUSIVA: ou A ou B, mas no ambos
A B A ou B
V V F
V F V
F V V
F F F

# CONDICIONAL: Se A, ento B
A B A B
V V V
V F F
F V V
F F V

As seguintes expresses podem se empregar como equivalentes de "Se A, ento B":

1) Se A, B. 5) Todo A B.
2) B, se A. 6) A condio suficiente para B.
3) Quando A, B. 7) B condio necessria para A.
4) A implica B. 8) A somente se B.

Exemplo: Dada a condicional Se chove, ento fico molhado, so expresses equivalentes:

1) Se chove, fico molhado. 5) Toda vez que chove, fico molhado.
2) Fico molhado, se chove. 6) Chover condio suficiente para fico molhado.
3) Quando chove, fico molhado. 7) Ficar molhado condio necessria para chover.
4) Chover implica ficar molhado. 8) Chove somente se fico molhado.

# BICONDICIONAL: A se e somente se B
A B
A B
V V V
V F F
F V F
F F V

Uma proposio bicondicional "A se e somente se B" equivale proposio composta:
se A ento B e se B ento A, ou seja,

A B a mesma coisa que (A B) e (B A)

Podem-se empregar tambm como equivalentes de "A se e somente se B" as seguintes
expresses:
1) A se e s se B.
2) Se A ento B e se B ento A.
3) A implica B e B implica A.
4) Todo A B e todo B A.
5) A somente se B e B somente se A.
6) A condio suficiente e necessria para B.
7) B condio suficiente e necessria para A.


3. MODIFICADOR NO

# NEGAO: no A
As seguintes frases so equivalentes entre si:
Lgica no fcil.
No verdade que Lgica fcil.
falso que Lgica fcil.
No o caso que Lgica fcil.
A ~A
V F
F V

4. VISO GERAL DOS CONECTIVOS

A B A e B A ou B A ou B A B A B
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

No quadro abaixo, apresentamos uma tabela muito interessante a respeito dos conectivos,
mostrando as condies em que o valor lgico verdade e em que falso.

Estrutura lgica verdade quando falso quando
A e B A e B so, ambos, verdade pelo menos um dos dois for falso
A ou B pelo menos um dos dois for verdade A e B, ambos, so falsos
A ou B A e B tiverem valores lgicos diferentes A e B tiverem valores lgicos iguais
A B nos demais casos A verdade e B falso
A B A e B tiverem valores lgicos iguais A e B tiverem valores lgicos diferentes

5. ORDEM DE PRECEDNCIA DOS CONECTIVOS
1) ~ (Negao)
2) . (Conjuno)
3) v (Disjuno)
4) (Condicional)
5) (Bicondicional)


6. CONSTRUO DA TABELA-VERDADE PARA UMA PROPOSIO COMPOSTA
O nmero de linhas da tabela-verdade de uma sentena igual a 2
n
, onde n o nmero de
proposies simples (letras) que h na sentena.

Exemplo 01) ~( P . ~Q) nmero de linhas = 2
2
= 4 linhas

P Q ~Q (P . ~Q) ~(P . ~Q)
V V F F V
V F V V F
F V F F V
F F V F V

Exemplo 02) (P v ~R) (Q . ~R ) nmero de linhas = 2
3
= 8 linhas

P Q R ~R (P v ~R) (Q . ~R) (P v ~R) (Q . ~R)
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F F F V
F V F V V V V
F F V F F F V
F F F V V F F

7. TAUTOLOGIA:
Uma proposio composta formada por duas ou mais proposies A, B, C, ... ser dita uma
Tautologia se ela for sempre verdadeira, independentemente dos valores lgicos das proposies A, B, C,
... que a compem.
Em palavras mais simples: para saber se uma proposio composta uma Tautologia,
construiremos a sua tabela-verdade! Da, se a ltima coluna da tabela-verdade s apresentar verdadeiro (e
nenhum falso), ento estaremos diante de uma Tautologia. S isso!
Exemplo: A proposio (A . B) (A v B) uma tautologia, pois sempre verdadeira, independentemente
dos valores lgicos de A e de B, como se pode observar na tabela-verdade abaixo:
A B A . B A v B (A . B) (A v B)
V V V V V
V F F V V
F V F V V
F F F F V
Observemos que o valor lgico da proposio composta (A . B) (A v B), que aparece na ltima
coluna, sempre verdadeiro.

8. CONTRADIO:
Uma proposio composta formada por duas ou mais proposies A, B, C, ... ser dita uma
contradio se ela for sempre falsa, independentemente dos valores lgicos das proposies A, B, C, ...
que a compem.
Ou seja, construindo a tabela-verdade de uma proposio composta, se todos os resultados da
ltima coluna forem FALSO, ento estaremos diante de uma contradio.
Exemplo:
A proposio (A ~B) . (A . B) tambm uma contradio, conforme verificaremos por meio da
construo de sua da tabela-verdade. Vejamos:

A B (A ~B) (A . B) (A ~B) . (A . B)
V V F V F
V F V F F
F V V F F
F F F F F
Observemos que o valor lgico da proposio composta (A ~B) . (A . B), que aparece na ltima
coluna de sua tabela-verdade, sempre Falso, independentemente dos valores lgicos que A e B
assumem.

9. CONTINGNCIA:
Uma proposio composta ser dita uma contingncia sempre que no for uma tautologia nem
uma contradio. Exemplo:
A proposio "A (A . B)" uma contingncia, pois o seu valor lgico depende dos valores lgicos
de A e B, como se pode observar na tabela-verdade abaixo:
A B (A . B) A (A . B)
V V V V
V F F F
F V F V
F F F V
E por que essa proposio acima uma contingncia? Porque nem uma tautologia e nem uma
contradio!

10. NEGAO DOS TERMOS TODO, NENHUM E ALGUM
Proposio Negao da proposio
Algum ... Nenhum ...
Nenhum ... Algum ...
Todo ... Algum ... no ...
Algum ... no ... Todo ...

Exemplos:
1) Negao de Algum carro veloz : Nenhum carro veloz.
2) Negao de Nenhuma msica triste : Alguma msica triste.
3) Negao de Nenhum exerccio no difcil : Algum exerccio no difcil.
4) Negao de Toda meditao relaxante : Alguma meditao no relaxante.
5) Negao de Todo poltico no rico : Algum poltico rico.
6) Negao de Alguma arara no amarela : Toda arara amarela.
7) Negao de Algum ganhou o bingo : Ningum ganhou o bingo.
8) Negao de: Algum dia ela me amar : Nenhum dia ela me amar, ou melhor: Nunca ela me
amar.
9) Nem todo livro ilustrado o mesmo que:
O termo nem na frente do todo significa que devemos negar a proposio todo livro ilustrado.
E para obter a negao desta proposio, basta trocar o termo TODO por ALGUM...NO. Teremos:
Algum livro no ilustrado. (Resposta!)

10) No verdade que algum gato tem sete vidas o mesmo que:
O termo no verdade que significa que devemos negar tudo o que vem em seguida, ou seja,
negar a proposio algum gato tem sete vidas. E para obter a negao desta proposio, basta trocar o
termo ALGUM por NENHUM.
Nenhum gato tem sete vidas. (Resposta!)


11. NEGAO DE PROPOSIES COMPOSTAS

Proposio Negao da Proposio
(A e B) ~A ou ~B
(A ou B) ~A e ~B
(A B) A e ~B
(A B)
1 forma) ~(AB e BA) = (A e ~B) ou (B e ~A)

2 forma) A ou B
(A ou B) A B

12. PROPOSIES LOGICAMENTE EQUIVALENTES
Dizemos que duas proposies so logicamente equivalentes (ou simplesmente que so
equivalentes) quando so compostas pelas mesmas proposies simples e os resultados de suas tabelas-
verdade so idnticos.

12.1. Equivalncias que envolvem a Condicional:

1) Se A, ento B = Se no B, ento no A.
A B = ~B ~A
Observando a relao simblica acima, percebemos que a forma equivalente para AB pode ser
obtida pela seguinte regra:
1) Trocam-se os termos da condicional de posio;
2) Negam-se ambos os termos da condicional.

2) Se A, ento B = no A ou B.
A B = ~A ou B
Observando a relao simblica acima, percebemos que essa outra forma equivalente para AB
pode ser obtida pela seguinte regra:
1) Nega-se o primeiro termo;
2) Mantm-se o segundo termo.
3) Troca-se o smbolo do implica pelo ou;

3) A ou B = se no A, ento B
A ou B = ~A B
A relao simblica acima nos mostra que podemos transformar uma disjuno numa condicional
equivalente, atravs da seguinte regra:
1) Nega-se o primeiro termo;
2) Mantm-se o segundo termo.
3) Troca-se o ou pelo smbolo ;

12.2. Equivalncia entre nenhum e todo:

1) Nenhum A no B = Todo A B
Exemplo: Nenhuma arte no bela = Toda arte bela.

2) Todo A no B = Nenhum A B
Exemplo: Todo mdico no louco = Nenhum mdico louco.


12.3. Equivalncias Bsicas:
1) A e A = A 5) A B = B A
2) A ou A = A 6) A B = (A B) e (B A)
3) A e B = B e A
4) A ou B = B ou A

12.4. Leis Associativas, Distributivas e da Dupla Negao:

1) Leis associativas:
(A e B) e C = A e (B e C)
(A ou B) ou C = A ou (B ou C)

2) Leis distributivas:
A e (B ou C) = (A e B) ou (A e C)
A ou (B e C) = (A ou B) e (A ou C)

3) Lei da dupla negao:
~(~A) = A
Da, concluiremos ainda que:
A no no B = A B
Todo A no no B = Todo A B
Algum A no no B = Algum A B
Nenhum A no no B = Nenhum A B

13. REGRAS DE SIMPLIFICAO:
1. p ou p = p (Lei idempotente)
2. p e p = p (Lei idempotente)
3. p ou ~p = V (tautologia)
4. p e ~p = F (contradio)
5. p ou V = V (na disjuno, o V quem manda)
6. p ou F = p (na disjuno, o F elemento neutro)
7. p e V = p (na conjuno, o V elemento neutro)
8. p e F = F (na conjuno, o F quem manda)
9. p p = V (tautologia)
10. p ~p = F (contradio)
11. p ou (p e q) = p (Lei da Absoro)
12. p e (p ou q) = p (Lei da Absoro)


14. PROPOSIES CATEGRICAS
As proposies formadas com os termos todo, algum e nenhum so chamadas de proposies
categricas. Temos as seguintes formas:
1. Todo A B 2. Nenhum A B 3. Algum A B 4. Algum A no B

1. Todo A B
Proposies do tipo Todo A B afirmam que o conjunto A est contido no conjunto B, ou seja, todo
elemento de A tambm elemento de B.
Ateno: dizer que Todo A B no significa o mesmo que Todo B A.
Todo gacho brasileiro = Todo brasileiro gacho
Tambm, so equivalentes as expresses seguintes:
Todo A B = Qualquer A B = Cada A B

2. Nenhum A B
Enunciados da forma Nenhum A B afirmam que os conjuntos A e B so disjuntos, isto , A e B
no tem elementos em comum.
Dizer que Nenhum A B logicamente equivalente a dizer que Nenhum B A.
Exemplo: Nenhum diplomata analfabeto = Nenhum analfabeto diplomata

3. Algum A B
Por conveno universal em Lgica, proposies da forma Algum A B estabelecem que o
conjunto A tem pelo menos um elemento em comum com o conjunto B.
Contudo, quando dizemos que Algum A B, pressupomos que nem todo A B. Entretanto, no
sentido lgico de algum, est perfeitamente correto afirmar que alguns alunos so ricos, mesmo sabendo
que todos eles so ricos.
Dizer que Algum A B logicamente equivalente a dizer que Algum B A.
Exemplo: Algum mdico poeta = Algum poeta mdico
Tambm, so equivalentes as expresses seguintes:
Algum A B = Pelo menos um A B = Existe um A que B
Exemplo:
Algum poeta mdico = Pelo menos um poeta mdico = Existe um poeta que mdico

4. Algum A no B
Proposies da forma Algum A no B estabelecem que o conjunto A tem pelo menos um
elemento que no pertence ao conjunto B.
Dizer que Algum A no B logicamente equivalente a dizer que Algum A no B, e tambm
logicamente equivalente a dizer que Algum no B A.
Exemplo:
Algum fiscal no honesto = Algum fiscal no honesto = Algum no honesto fiscal
Ateno: dizer que Algum A no B no significa o mesmo que Algum B no A.
Exemplo: Algum animal no mamfero = Algum mamfero no animal

IMPORTANTE: Nas proposies categricas, usam-se tambm as variaes gramaticais dos verbos ser e
estar, tais como , so, est, foi, eram, ..., como elo de ligao entre A e B.

# REPRESENTAO DAS PROPOSIES CATEGRICAS

As proposies categricas sero representadas por diagramas de conjuntos para a soluo de
diversas questes de concurso.
Cada proposio categrica tem um significado em termos de conjunto, e isso quem definir o
desenho do diagrama; e veremos adiante que uma proposio categrica pode possuir mais de um
desenho.
Relembremos os significados, em termos de conjunto, de cada uma das proposies categricas:
Todo A B = todo elemento de A tambm elemento de B.
Nenhum A B = A e B no tem elementos em comum.
Algum A B = o conjunto A tem pelo menos um elemento em comum com o conjunto B.
Algum A no B = o conjunto A tem pelo menos um elemento que no pertence ao conjunto B.

1. Se a proposio Todo A B verdadeira, ento temos duas representaes possveis:

O conjunto A dentro do conjunto B O conjunto A igual ao conjunto B

2. Se a proposio Nenhum A B verdadeira, ento temos somente a representao:

No h elementos em comum entre os dois conjuntos (No h interseco!)

3. Se a proposio Algum A B verdadeira, temos quatro representaes possveis:

A
B
A B
A
B
A = B

B
A
a b
a
a
Os dois conjuntos possuem uma parte
dos elementos em comum.
b
Todos os elementos de A esto em B.

4. Se a proposio Algum A no B verdadeira, temos trs representaes possveis:

Exerccio: (Especialista em Polticas Pblicas Bahia 2004 FCC) Considerando todo livro instrutivo como
uma proposio verdadeira, correto inferir que:
a) Nenhum livro instrutivo uma proposio necessariamente verdadeira.
b) Algum livro instrutivo uma proposio necessariamente verdadeira.
c) Algum livro no instrutivo uma proposio verdadeira ou falsa.
d) Algum livro instrutivo uma proposio verdadeira ou falsa.
e) Algum livro no instrutivo uma proposio necessariamente verdadeira.
Sol.:
Temos que a proposio todo livro instrutivo verdadeira. Baseando-se nesta proposio,
construiremos as representaes dos conjuntos dos livros e das coisas instrutivas. Como vimos
anteriormente h duas representaes possveis:

A

B

A = B

A
B
A
B
A
B
c
Todos os elementos de B esto em A.

d
O conjunto A igual ao conjunto B

a
Os dois conjuntos possuem uma
parte dos elementos em comum.

b
Todos os elementos de B esto em A.

c
No h elementos em comum entre os dois conjuntos.
livro
instrutivo
livro instrutivo =
a b

A opo A descartada de pronto: nenhum livro instrutivo implica a total dissociao entre os
diagramas. E estamos com a situao inversa!
A opo B perfeitamente escorreita! Percebam que nos dois desenhos acima os conjuntos em
vermelho e em azul possuem elementos em comum. Resta necessariamente perfeito que algum livro
instrutivo uma proposio necessariamente verdadeira.
Resposta: opo B.
J achamos a resposta correta, mas continuaremos a anlise das outras opes.
A opo C incorreta! Pois a proposio algum livro no instrutivo necessariamente falsa.
Isso pode ser constatado nos dois desenhos acima, vejam que no h um livro sequer que no seja
instrutivo.
A opo D incorreta! Pois na anlise da opo B j havamos concludo que algum livro
instrutivo uma proposio necessariamente verdadeira.
A opo E incorreta! Pois na anlise da opo C j havamos concludo que algum livro no
instrutivo uma proposio necessariamente falsa.

15. ARGUMENTO
Chama-se argumento a afirmao de que um grupo de proposies iniciais redunda em uma outra
proposio final, que ser conseqncia das primeiras!
Dito de outra forma, argumento a relao que associa um conjunto de proposies p
1
, p
2
, ... p
n
,
chamadas premissas do argumento, a uma proposio c, chamada de concluso do argumento.
No lugar dos termos premissa e concluso podem ser tambm usados os correspondentes
hiptese e tese, respectivamente.

# ARGUMENTO VLIDO:
Dizemos que um argumento vlido (ou ainda legtimo ou bem construdo), quando a sua
concluso uma conseqncia obrigatria do seu conjunto de premissas.
Para testar a validade de um argumento, devemos considerar as premissas como verdadeiras,
mesmo quando o contedo da premissa falso.

# ARGUMENTO INVLIDO:
Dizemos que um argumento invlido tambm denominado ilegtimo, mal construdo,
falacioso ou sofisma quando a verdade das premissas no suficiente para garantir a verdade da
concluso.

# MTODOS PARA TESTAR A VALIDADE DOS ARGUMENTOS
Na seqncia, um quadro que resume os quatro mtodos, e quando se deve lanar mo de um ou
de outro, em cada caso. Vejamos:
Deve ser usado quando... O argumento vlido quando...

1 Mtodo
Considerar as premissas
verdadeiras e verificar a
validade da concluso por
meio da utilizao dos
Diagramas (circunferncias)

o argumento apresentar as
palavras todo, nenhum, ou
algum

a partir dos diagramas verificarmos
que a concluso uma
conseqncia obrigatria das
premissas.

2 Mtodo
Construo da Tabela-
Verdade do argumento

em qualquer caso, mas
preferencialmente quando o
argumento tiver no mximo
duas proposies simples.

nas linhas da tabela em que os
valores lgicos das premissas tm
valor V, os valores lgicos relativos
a coluna da concluso forem
tambm V.

3 Mtodo
Considerar as premissas
verdadeiras e verificar o
valor lgico da concluso

o 1 Mtodo no puder ser
empregado, e houver uma
premissa...
...que seja uma proposio
simples; ou
... que esteja na forma de uma
conjuno (e).

o valor encontrado para a
concluso obrigatoriamente
verdadeiro.

4 Mtodo
Considerar a Concluso
como Falsa e verificar se as
premissas podem ser
verdadeiras

for invivel a aplicao dos
mtodos anteriores. Tambm
necessrio que a concluso
seja uma proposio simples
ou uma disjuno ou uma
condicional.
no for possvel a existncia
simultnea de concluso falsa e
premissas verdadeiras.

16. SENTENAS ABERTAS E QUANTIFICADORES

1. Sentenas Abertas
No captulo um, comentamos sobre as sentenas abertas, que so sentenas do tipo:
a) x + 3 = 10
b) x > 5
c) (x+1)
2
5 = x
2

d) x y = 20
e) Em 2004 foram registradas 800+z acidentes de trnsito em So Paulo.
f) Ele o juiz do TRT da 5 Regio.
Tais sentenas no so consideradas proposies porque seu valor lgico (V ou F) depende do
valor atribudo varivel (x, y, z,...). O pronome ele que aparece na ltima sentena acima, funciona como
uma varivel, a qual se pode atribuir nomes de pessoas.
H, entretanto, duas maneiras de transformar sentenas abertas em proposies:
1) atribuir valor s variveis;
2) utilizar quantificadores.

A primeira maneira foi mostrada no captulo um, mas vejamos outros exemplos:
Ao atribuir a x o valor 5 na sentena aberta x + 3 = 10, esta transforma-se na proposio 5 + 3 = 10,
cujo valor lgico F.
Ao atribuir a x o valor 2 na sentena aberta (x+1)
2
5 = x
2
, esta transforma-se na proposio (2+1)
2

5 = 2
2
, que resulta em 4 = 4, tendo, portanto, valor lgico V.
A seguir, veremos a transformao de uma sentena aberta numa proposio por meio de
quantificadores.


2. Quantificadores
Consideremos as afirmaes:
a) Todo sangue vermelho.
b) Cada um dos alunos participar da excurso.
c) Algum animal selvagem.
d) Pelo menos um professor no rico.
e) Existe uma pessoa que poliglota.
f) Nenhum crime perfeito.

Expresses como todo, cada um, "algum", "pelo menos um", existe, nenhum so
quantificadores.
H fundamentalmente dois tipos de quantificadores: Universal e Existencial.

2.1. O Quantificador Universal

O quantificador universal indicado pelo smbolo que se l: para todo, para cada, qualquer que
seja.
Veremos agora exemplos de transformaes de sentenas abertas em proposies:

1) (x)(xeN)(x + 3 = 10)
O smbolo o quantificador universal, x a varivel, N o conjunto dos nmeros naturais e x + 3
= 10 a sentena aberta. ( freqente em questes de concurso a sentena aberta ser chamada de
predicado ou propriedade.)
A proposio (x)(xeN)(x
2
= 4) se l da seguinte maneira: Para todo elemento x do conjunto dos
nmeros naturais, temos que x + 3 = 10.
Qual o valor lgico dessa proposio? claro que Falso, pois se fizermos, por exemplo, o x igual
ao nmero natural 1, teremos 1 + 3 = 10 (resultado falso!).

2) (x)(xeZ)(x
2
> x)
O smbolo o quantificador universal, x a varivel, Z o conjunto dos nmeros inteiros e x
2
> x
a sentena aberta.
A proposio (x)(xeZ)(x
2
> x) se l da seguinte maneira: Para todo elemento x do conjunto dos
nmeros inteiros, temos que x
2
> x.
Qual o valor lgico dessa proposio? Os nmeros inteiros so {... -3, -2, -1, 0, 1, 2, 3...}. Se
substituirmos qualquer um desses nmeros na sentena x
2
> x, o resultado ser sempre verdadeiro.
Portanto, o valor lgico da proposio Verdade.
Se mudssemos do conjunto dos inteiros (Z) para o conjunto dos nmeros racionais (Q), a
proposio (x)(xeQ)(x
2
> x) tornar-se-ia Falsa. Pois, se substituirmos x por 1/2, teremos (1/2)
2
> 1/2, que
resulta em 1/4 > 1/2 (resultado falso!).

Podemos simplificar a notao simblica das proposies, conforme mostrado abaixo:
- (x)(xeN)(x + 3 = 10) pode ser escrita como (x e N)(x + 3 = 10);
- (x)(xeZ)(x
2
> x) pode ser escrita como (x e Z)(x
2
> x).

2.2. O Quantificador Existencial
O quantificador existencial indicado pelo smbolo - que se l: existe pelo menos um, existe um,
existe, para algum.
Passemos a exemplos de transformaes de sentenas abertas em proposies usando o
quantificador existencial:

1) (-x)(xeN)(x
2
= 4)
O smbolo - o quantificador existencial, x a varivel, N o conjunto dos nmeros naturais e x
2
=
4 a sentena aberta.
A proposio (-x)(xeN)(x
2
= 4) se l da seguinte maneira: Existe pelo menos um x pertencente ao
conjunto dos nmeros naturais tal que x
2
= 4.

Qual o valor lgico dessa proposio? Ao resolver a equao x
2
= 4, encontramos como razes os
valores 2 e -2, sendo apenas o primeiro um nmero natural. Como existe uma raiz que um nmero natural,
ento a proposio tem valor lgico Verdade.

2) (-y)(yeR)(y + 1 = y + 2)
O smbolo - o quantificador existencial, y a varivel, R o conjunto dos nmeros reais e y + 1 =
y + 2 a sentena aberta.
A proposio (-y)(yeR)(y + 1 = y + 2) se l da seguinte maneira: Existe pelo menos um y
pertencente ao conjunto dos nmeros reais tal que y + 1 = y + 2.
Podemos simplificar a sentena y + 1 = y + 2, cortando o y de cada lado da igualdade, resultando
em 1 = 2. No h y que d jeito de fazer 1 igual a 2, portanto a proposio Falsa.

H outro quantificador que deriva do quantificador existencial, ele chamado de quantificador
existencial de unicidade, simbolizado por -| que se l: existe um nico, existe um e um s. Exemplos:

1) (-| x)(x e N)(x + 5 = 7) que se l: "existe um nico nmero x pertencente ao conjunto dos nmeros
naturais tal que x + 5 = 7". Realmente, s existe o nmero 2 que satisfaz essa sentena, da a proposio
tem valor lgico Verdade.

Da mesma forma que o quantificador universal, tambm podemos simplificar a representao
simblica das proposies com quantificador existencial, por exemplo:

- (-x)(xeZ)(x
3
= 5x
2
) pode ser escrita como (-x e N)(x
3
= 5x
2
);
- (-| x)(x e N)(x + 5 = 7) pode ser escrita como (-| x e N)(x + 5 = 7).

3. Negao de Proposies Quantificadas

3.1 Negao do Quantificador Universal

Faremos a negao do quantificador universal do seguinte modo: primeiro substituiremos o
(para todo) pelo - (existe um) e depois negaremos a sentena aberta. Simbolicamente, podemos escrever:

- A negao de (x)(P(x)) a sentena (-x)(P(x)). Onde P(x) representa a sentena aberta.

Passemos a alguns exemplos de negao do quantificador universal:

1) proposio: (x)(x e N)(x + 1 > 4)
negao: (-x)(x e N)(x + 1 4)

2) proposio: (x)(x e R)(x(x-2) = x
2
2x)
negao: (-x)(x e R)(x(x-2) = x
2
2x)

3) proposio: (x)(x e {2, 3, 5, 7, 11})(x um nmero primo)
negao: (-x)(x e {2, 3, 5, 7, 11})(x no um nmero primo)

3.2 Negao do Quantificador Existencial

Faremos a negao do quantificador existencial - do seguinte modo: primeiro substitui-se o -
(existe) pelo (para todo), e depois nega-se a sentena aberta. Simbolicamente, podemos escrever:

- A negao de (-x)(P(x)) a sentena (x)(P(x)). Onde P(x) representa a sentena aberta.

Passemos a alguns exemplos de negao do quantificador existencial:


1) proposio: (-x)(x e R)(x
2
> x)
negao: (x)(x e R)(x
2
< x)

2) proposio: (-x)(x e Q)(1/x um nmero natural)
negao: (x)(x e Q)(1/x no um nmero natural)

3) proposio: (-x)(x e N)(x no negativo)
negao: (x)(x e N)(x negativo)

Tambm possvel fazer a negao do quantificador existencial de outra forma: a negao de
Existe pode ser No existe, que simbolizamos por ~-. Por esta forma de negar o quantificador existencial,
no preciso negar a sentena aberta. Exemplos:

1) proposio: (-x)(x e R)(x
2
> x)
negao: (~-x)(x e R)(x
2
> x)

2) proposio: (-x)(x e Q)(1/x um nmero natural)
negao: (~-x)(x e Q)(1/x um nmero natural)

4. Representao Simblica das Proposies Categricas

A tabela abaixo mostra a representao simblica (na linguagem da lgica de 1. ordem) de cada uma
das proposies categricas.

Proposio Categrica Representao Simblica
Todo A B (x)(A(x) B(x))
Algum A B (-x)(A(x) e B(x))
Nenhum A B (~-x)(A(x) e B(x))
Algum A no B (-x)(A(x) e ~B(x))

Como era de se esperar a representao do todo A B uma condicional. O Algum A B significa
interseco entre A e B, portanto representado pela conjuno. O Nenhum A B a negao do Algum
A B, por isso que sua representao a do algum com um til (~) na frente. E por ltimo, o Algum A no
B a negao de Todo A B. Poder-se-ia colocar apenas um til (~) na frente, mas optou-se por negar o
quantificador , que feita pela troca do pelo - e a negao da sentena aberta (a negao de A B A
e ~B).


EXERCCIOS

PROPOSIES E CONECTIVOS

01. (BB2/2007/CESPE) Uma proposio uma afirmao que pode ser julgada como verdadeira (V)
ou falsa (F), mas no como ambas. As proposies so usualmente simbolizadas por letras
maisculas do alfabeto, como, por exemplo, P, Q, R etc.
A partir desses conceitos, julgue o prximo item.
1. H duas proposies no seguinte conjunto de sentenas:
(I) O BB foi criado em 1980.
(II) Faa seu trabalho corretamente.
(III) Manuela tem mais de 40 anos de idade.

02. (SEBRAE/2010/CESPE) Entre as frases apresentadas a seguir, identificadas por letras de A a E,
apenas duas so proposies.
A: Pedro marceneiro e Francisco, pedreiro.
B: Adriana, voc vai para o exterior nessas frias?
C: Que jogador fenomenal!
D: Todos os presidentes foram homens honrados.
E: No deixe de resolver a prova com a devida ateno.

03. (SEBRAE/2008/CESPE) Uma proposio uma sentena afirmativa ou negativa que pode ser
julgada como verdadeira (V) ou falsa (F), mas no como ambas. Nesse sentido, considere o
seguinte dilogo:
(1) Voc sabe dividir? perguntou Ana.
(2) Claro que sei! respondeu Mauro.
(3) Ento, qual o resto da diviso de onze milhares, onze centenas e onze por trs? perguntou
Ana.
(4) O resto dois. respondeu Mauro, aps fazer a conta.
(5) Est errado! Voc no sabe dividir. respondeu Ana.
A partir das informaes e do dilogo acima, julgue os itens que se seguem.
1. A frase indicada por (3) no uma proposio. Certo.
2. A sentena (5) F. Errado
3. A frase (2) uma proposio. Certo

04. (BB1/2007/CESPE) 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.
Considerando as informaes contidas no texto acima, julgue o item subseqente.

1. 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 7 3 4 = + .
Pel marcou dez gols para a seleo brasileira.
O que isto?

05. (MRE 2008 CESPE) Julgue os itens a seguir.
1. Considere a seguinte lista de sentenas:
I Qual o nome pelo qual conhecido o Ministrio das Relaes Exteriores?
II O Palcio Itamaraty em Braslia uma bela construo do sculo XIX.
III As quantidades de embaixadas e consulados gerais que o Itamaraty possui so,
respectivamente, x e y.
IV O baro do Rio Branco foi um diplomata notvel.
Nessa situao, correto afirmar que entre as sentenas acima, apenas uma delas no uma
proposio.

06. (TRT 17 Regio/2009/CESPE) Julgue o item a seguir.
1. A sequncia de frases a seguir contm exatamente duas proposies.
- A sede do TRT/ES localiza-se no municpio de Cariacica.
- Por que existem juzes substitutos?
- Ele um advogado talentoso.

07. (PM Acre 2008 Cespe) 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.

08. (MPE Tocantins Tcnico 2006 CESPE) Uma proposio uma frase afirmativa que pode ser
avaliada como verdadeira (V) ou falsa (F), mas no se admitem, para a proposio, ambas as
interpretaes.
Considerando as informaes apresentadas acima, julgue os itens subseqentes.
1. Considere as seguintes proposies.
(7 + 3 = 10) . (5 12 = 7)
A palavra crime disslaba.
Se lmpada uma palavra trisslaba, ento lmpada tem acentuao grfica.
(8 4 = 4) . (10 + 3 = 13)
Se x = 4 ento x + 3 < 6.
Entre essas proposies, h exatamente duas com interpretao F.


09. (SEBRAE/CESPE) Julgue os itens a seguir.
1. A proposio O SEBRAE facilita e orienta o acesso a servios financeiros uma proposio
simples. Errado
2. A frase Pedro e Paulo so analistas do SEBRAE uma proposio simples. Certo

10. (SEBRAE/2010/Cespe) Julgue os itens seguintes.
1. As proposies No precisa mais capturar, digitar ou ditar o cdigo de barras e O dbito no
automtico, o pagamento s efetuado aps a sua autorizao so, ambas, compostas de trs
proposies simples.

2. As frases Transforme seus boletos de papel em boletos eletrnicos e O carro que voc
estaciona sem usar as mos so, ambas, proposies abertas.

11. (STF/2008/CESPE) dada as seguintes frases:
- 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 os itens seguintes.
1. A primeira frase composta por duas proposies lgicas simples unidas pelo conectivo de
conjuno.
2. A segunda frase uma proposio lgica simples.
3. A terceira frase uma proposio lgica composta.
4. A quarta frase uma proposio lgica em que aparecem dois conectivos lgicos.

12. (TRT 1 Regio/2008/CESPE) Utilizando as letras proposicionais adequadas na proposio
composta Nem Antnio desembargador nem Jonas juiz, assinale a opo correspondente
simbolizao correta dessa proposio.
A. (A.B) D. (A)B
B. (A)v(B) E. [Av(B)]
C. (A).(B)

13. (Agente da Polcia Federal/2004/CESPE) Considere as sentenas abaixo.
i. Fumar deve ser proibido, mas muitos europeus fumam.
ii. Fumar no deve ser proibido e fumar faz bem sade.
iii. Se fumar no faz bem sade, deve ser proibido.
iv. Se fumar no faz bem sade e no verdade que muitos europeus fumam, ento fumar deve
ser proibido.
v. Tanto falso que fumar no faz bem sade como falso que fumar deve ser proibido;
consequentemente, muitos europeus fumam.
Considere tambm que P, Q, R e T representem as sentenas listadas na tabela a seguir.
P Fumar deve ser proibido.
Q Fumar deve ser encorajado.
R Fumar no faz bem sade.
T Muitos europeus fumam.

Com base nas informaes acima e considerando a notao introduzida no texto, julgue os itens
seguintes.
1. A sentena I pode ser corretamente representada por P . ( T).
2. A sentena II pode ser corretamente representada por ( P) . ( R).
3. A sentena III pode ser corretamente representada por R P.
4. A sentena IV pode ser corretamente representada por (R . ( T)) P.
5. A sentena V pode ser corretamente representada por T (( R) . ( P)).

1. A sentena O Departamento Cultural do Itamaraty realiza eventos culturais e o Departamento
de Promoo Comercial no estimula o fluxo de turistas para o Brasil uma proposio que
pode ser simbolizada na forma A.(B).
2. Considerando que A e B simbolizem, respectivamente, as proposies A publicao usa e cita
documentos do Itamaraty e O autor envia duas cpias de sua publicao de pesquisa para a
Biblioteca do Itamaraty, ento a proposio BA uma simbolizao correta para a
proposio Uma condio necessria para que o autor envie duas cpias de sua publicao de
pesquisa para a Biblioteca do Itamaraty que a publicao use e cite documentos do
Itamaraty.

15. (MPE Tocantins/2006/CESPE) Julgue o item subseqente.
1. A proposio P: Ser honesto condio necessria para um cidado ser admitido no servio
pblico corretamente simbolizada na forma A B, em que A representa ser honesto e B
representa para um cidado ser admitido no servio pblico.

16. (BB1/2007/CESPE) Um raciocnio lgico considerado correto formado por uma seqncia de
1. A proposio O piloto vencer a corrida somente se o carro estiver bem preparado pode ser
corretamente lida como O carro estar bem preparado condio necessria para que o piloto
vena a corrida.

17. (TRT 5 Regio/2008/Cespe) Julgue os itens seguintes.
1. Considere as proposies seguintes.
Q: Se o Estrela Futebol Clube vencer ou perder, cair para a segunda diviso;
A: O Estrela Futebol Clube vence;
B: O Estrela Futebol Clube perde;
C: O Estrela Futebol Clube cair para a segunda diviso.
Nesse caso, a proposio Q pode ser expressa, simbolicamente, por A.BC.

2. Considere as proposies a seguir.
R: Ou o Saturno Futebol Clube vence ou, se perder, cair para a segunda diviso;
A: O Saturno Futebol Clube vence;
B: O Saturno Futebol Clube perde;
C: O Saturno Futebol Clube cair para a segunda diviso.
Nesse caso, a proposio R pode ser expressa, simbolicamente, por Av(BC).


3. Considere as proposies abaixo.
T: Joo ser aprovado no concurso do TRT ou do TSE, mas no em ambos;
A: Joo ser aprovado no concurso do TRT;
B: Joo ser aprovado no concurso do TSE.
Nesse caso, a proposio T estar corretamente simbolizada por (AvB) . [(A.B)].

18. (Assemblia Leg./CE 2011 Cespe) Julgue o item a seguir.

1. A proposio Os cartes pr-pagos so uma evoluo dos cartes tradicionais, pois podem ser
usados, por exemplo, pelo pblico jovem equivalente a Se podem ser usados, por exemplo,
pelo pblico jovem, ento os cartes pr-pagos so uma evoluo dos cartes tradicionais.

19. (EBC 2011 Cespe) Julgue o item a seguir.
1. Considere que P, Q, R e S representem, respectivamente, as proposies Meus filhos estudam
em escola de ensino tradicional, Meus filhos faro vestibulares, Meus filhos no tm
problemas emocionais e Meus filhos sero aprovados nos vestibulares. Nesse caso, correto
afirmar que a proposio Caso estudem em escola de ensino tradicional, quando fizerem
vestibulares meus filhos sero aprovados, desde que no tenham problemas emocionais estar
corretamente simbolizada por P.Q.RS.

20. (EBC 2011 Cespe) Considerando que P, Q e R representem, respectivamente, as proposies O
dispositivo est ligado, O dispositivo est conectado ao PC e A bateria no est
carregando, julgue os itens a seguir, acerca de lgica proposicional.

1. A proposio Quando o dispositivo estiver ligado e conectado ao PC, a bateria no estar
carregando pode ser corretamente representada por P.QR.

2. Simbolicamente, P[QR] representa a proposio Se o dispositivo estiver ligado, ento, caso
o dispositivo esteja conectado ao PC, a bateria no estar carregando.

21. (SESA/ES 2011 Cespe) Considerando que as proposies lgicas simples sejam representadas
por letras maisculas e utilizando os smbolos usuais para os conectivos lgicos . para a
conjuno e; v para a disjuno ou; para a negao no; para a implicao se ...,
ento ...; para a equivalncia se ..., e somente se ... , julgue os prximos itens.

1. A proposio O jovem moderno um solitrio conectado com o mundo, pois ele vive em seu
quarto diante do computador e ele no se relaciona com as pessoas sua volta pode ser
representada, simbolicamente, por P (Q.R), em que P, Q e R so proposies simples
adequadamente escolhidas.

2. A proposio A assistncia mdica de qualidade e gratuita um direito de todos assegurado na
Constituio da Repblica pode ser representada simbolicamente por uma expresso da forma
P.Q, em que P e Q so proposies simples escolhidas adequadamente.


3. A proposio O trnsito nas grandes cidades est cada vez mais catico; isso consequncia de
nossa economia ter como importante fator a produo de automveis pode ser representada,
simbolicamente, por uma expresso da forma PQ, em que P e Q so proposies simples
escolhidas adequadamente.

22. (TRT 21 Regio 2010 Cespe) Considerando que cada proposio lgica simples seja
representada por uma letra maiscula e utilizando os smbolos usuais para os conectivos
lgicos, julgue os itens seguintes.
1. A sentena Homens e mulheres, ou melhor, todos da raa humana so imprevisveis
representada corretamente pela expresso simblica (P.Q) R.

2. A sentena Trabalhar no TRT o sonho de muitas pessoas e, quanto mais elas estudam, mais
chances elas tm de alcanar esse objetivo representada corretamente pela expresso simblica
S.T.

3. A sentena Maria mais bonita que Slvia, pois Maria Miss Universo e Slvia Miss Brasil
representada corretamente pela expresso simblica (P.Q) R.

4. A sentena Mais seis meses e logo vir o vero representada corretamente pela expresso
simblica P Q.

23. (Analista do INSS 2008 CESPE) Proposies so sentenas que podem ser julgadas como
verdadeiras V ou falsas F , mas no como ambas. Se P e Q so proposies, ento a
proposio Se P ento Q, denotada por PQ, ter valor lgico F quando P for V e Q for F, e,
nos demais casos, ser V. Uma expresso da forma P, a negao da proposio P, ter valores
lgicos contrrios aos de P. PvQ, lida como P ou Q, ter valor lgico F quando P e Q forem,
ambas, F; nos demais casos, ser V.
Considere as proposies simples e compostas apresentadas abaixo, denotadas por A, B e C,
que podem ou no estar de acordo com o artigo 5. da Constituio Federal.
A: A prtica do racismo crime afianvel.
B: A defesa do consumidor deve ser promovida pelo Estado.
C: Todo cidado estrangeiro que cometer crime poltico em territrio brasileiro ser
extraditado.
De acordo com as valoraes V ou F atribudas corretamente s proposies A, B e C, a partir da
Constituio Federal, julgue os itens a seguir.
1. Para a simbolizao apresentada acima e seus correspondentes valores lgicos, a proposio
BC V.
2. De acordo com a notao apresentada acima, correto afirmar que a proposio (A)v(C) tem
valor lgico F.


24. (UNIPAMPA 2009/CESPE-UnB) O artigo 5., XL, da Constituio Federal de 1988 estabelece que
a lei penal no retroagir, salvo para beneficiar o ru, isto , se a lei penal retroagiu, ento a
lei penal beneficiou o ru. luz dessa regra constitucional, considerando as proposies P: A
lei penal beneficiou o ru e Q: A lei penal retroagiu, ambas verdadeiras, e as definies
associadas lgica sentencial, julgue os itens a seguir.
1. A proposio Ou a lei penal retroagiu, ou a lei penal no beneficiou o ru tem valor lgico F.
2. A proposio necessrio que a lei penal no retroaja para no beneficiar o ru tem valor
lgico V.
3. A proposio Embora a lei penal no tenha retroagido, ela beneficiou o ru tem valor lgico F.

25. (Agente da PF/2004/Cespe) Considere que as letras P, Q, R e T representem proposies e que
os smbolos , ., v e sejam operadores lgicos que constroem novas proposies e
significam no, e, ou e ento, respectivamente. Na lgica proposicional, cada proposio
assume um nico valor (valor-verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca
ambos.
1. Se as proposies P e Q so ambas verdadeiras, ento a proposio ( P) v ( Q) tambm
verdadeira.
2. Se a proposio T verdadeira e a proposio R falsa, ento a proposio R ( T) falsa.
3. Se as proposies P e Q so verdadeiras e a proposio R falsa, ento a proposio (P . R)
( Q) verdadeira.

26. (PC/ES 2010 Cespe) Julgue os prximos itens, relativos lgica sentencial, em que os smbolos
., v, ~ e representam, respectivamente, as operaes lgicas e, ou, no e
implicao.
1. Se a proposio R for falsa e se a proposio composta (P.Q)(~Q.R) for verdadeira, ento a
proposio P ser verdadeira.

27. (TRE/ES 2010 Cespe) Em determinado municpio, h, cadastrados, 58.528 eleitores, dos quais
29.221 declararam ser do sexo feminino e 93 no informaram o sexo. Nessa situao, julgue os
prximos itens.
1. Considere como verdadeiras as seguintes proposies: Se o eleitor A do sexo masculino ou o
eleitor B no informou o sexo, ento o eleitor C do sexo feminino; Se o eleitor C no do sexo
feminino e o eleitor D no informou o sexo, ento o eleitor A do sexo masculino. Considere
tambm que seja falsa a seguinte proposio: O eleitor C do sexo feminino. Nesse caso,
conclui-se que o eleitor D no informou o sexo.

28. (MRE 2008 CESPE) Julgue o item a seguir.

1. Considere que as proposies B e A(B) sejam V. Nesse caso, o nico valor lgico possvel para
A V.

29. (BB3 2007 CESPE) Julgue os itens a seguir.
1. Considere que as afirmativas Se Mara acertou na loteria ento ela ficou rica e Mara no
acertou na loteria sejam ambas proposies verdadeiras. Simbolizando adequadamente essas
proposies pode-se garantir que a proposio Ela no ficou rica tambm verdadeira.

2. Considere que a proposio Slvia ama Joaquim ou Slvia ama Tadeu seja verdadeira. Ento
pode-se garantir que a proposio Slvia ama Tadeu verdadeira.

30. (Agente da PF 2009 Cespe) Julgue o item a seguir.
1. Considere as proposies A, B e C a seguir.
A: Se Jane policial federal ou procuradora de justia, ento Jane foi aprovada em concurso
pblico.
B: Jane foi aprovada em concurso pblico.
C: Jane policial federal ou procuradora de justia.
Nesse caso, se A e B forem V, ento C tambm ser V.

31. (TRT 1 Regio Anal. Jud. 2008 CESPE) Considere que todas as proposies listadas abaixo so
V.
I Existe uma mulher desembargadora ou existe uma mulher juza.
II Se existe uma mulher juza ento existe uma mulher que estabelece punies ou existe uma
mulher que revoga prises.
III No existe uma mulher que estabelece punies.
IV No existe uma mulher que revoga prises.
Nessa situao, correto afirmar que, por conseqncia da veracidade das proposies acima,
tambm V a proposio
A. Existe uma mulher que estabelece punies mas no revoga prises.
B. Existe uma mulher que no desembargadora.
C. Se no existe uma mulher que estabelece punies, ento existe uma mulher que revoga
prises.
D. No existe uma mulher juza.
E. Existe uma mulher juza mas no existe uma mulher que estabelece punies.

32. (PETROBRAS 2007 CESPE) Julgue o item seguinte.
1. Considere que as seguintes proposies compostas a respeito de um programa de computador
sejam todas V.
O programa tem uma varivel no-declarada ou o programa possui erro sinttico nas 4 ltimas
linhas.
Se o programa possui erro sinttico nas 4 ltimas linhas, ento ou falta um ponto-e-vrgula ou
h uma varivel escrita errada.
No falta um ponto-e-vrgula.
No h uma varivel escrita errada.
Simbolizando adequadamente essas proposies, possvel obter-se uma deduo cuja
concluso a proposio: O programa no possui erro sinttico nas 4 ltimas linhas.

33. (BB1 2007 CESPE) 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.
1. 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.
2. correto o raciocnio lgico dado pela seqncia de proposies seguintes:
Se Clia tiver um bom currculo, ento ela conseguir um emprego.
Ela conseguiu um emprego.
Portanto, Clia tem um bom currculo.

TABELA-VERDADE DE UMA PROPOSIO COMPOSTA

34. (TRT 21 Regio 2010 Cespe) Considerando que R e T so proposies lgicas simples, julgue os
itens a seguir, acerca da construo de tabelas-verdade.
1. Se a expresso lgica envolvendo R e T for (R T) R, a tabela-verdade correspondente ser a
seguinte.

2. Se a expresso lgica envolvendo R e T for (R.T)v(R), a tabela-verdade correspondente ser a
seguinte.

35. (TRT 5 REGIO Anal Jud 2008 CESPE) Julgue o item a seguir.
1. Na tabela abaixo, a ltima coluna da direita corresponde tabela-verdade da proposio
(A)vB(AvB).


36. (TRT 5 REGIO Tec Jud 2008 CESPE) Julgue o item seguinte.
1. Se A, B, C e D forem proposies simples e distintas, ento o nmero de linhas da tabela-
verdade da proposio (AB)(CD) ser superior a 15.

37. (SEFAZ/ES 2010 Cespe) Considerando os smbolos lgicos (negao), . (conjuno), v
(disjuno), (condicional) e as proposies
S: (p . q) v ( p . r) q v r e
T: ((p . q) v ( p . r)) . ( q . r),
julgue o item que se segue.
1. As tabelas-verdade de S e de T possuem, cada uma, 16 linhas.

38. (TRT 5 REGIO Anal Jud 2008 CESPE) Julgue o item a seguir.
1. Considerando que, alm de A e B, C, D, E e F tambm sejam proposies, no necessariamente
todas distintas, e que N seja o nmero de linhas da tabela-verdade da proposio [A(BvC)]
[(D.E)F], ento 2 N 64.

39. (PETROBRAS 2007 CESPE) Julgue o item a seguir.
1. Uma proposio da forma (P.Q)v(R.S) tem exatamente 8 possveis valoraes V ou F.

40. (Papiloscopista 2004 Cespe) Julgue o item seguinte.
1. O nmero de tabelas de valoraes distintas que podem ser obtidas para proposies com
exatamente duas variveis proposicionais igual a 2
4
.

NEGAO DE PROPOSIES

1. Se A for a proposio Todos os policiais so honestos, ento a proposio A estar enunciada
corretamente por Nenhum policial honesto.

42. (TRT 5 REGIO Anal Jud 2008 CESPE) Julgue o item seguinte.
1. Considerando que P seja a proposio Todo jogador de futebol ser craque algum dia, ento a
proposio P corretamente enunciada como Nenhum jogador de futebol ser craque
sempre.

43. (PM/AC 2008 Cespe) Julgue o item a seguir.
1. 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.


44. (MPE Tocantins Tcnico 2006 CESPE) Julgue o item seguinte.
1. A negao da proposio algum promotor de justia do MPE/TO tem 30 anos ou mais nem
todo promotor de justia do MPE/TO tem 30 anos ou mais.

45. (MPE/RR 2008 CESPE) Considere as seguintes proposies.
A: Jorge briga com sua namorada Slvia.
B: Slvia vai ao teatro.
Julgue os itens seguintes.
1. Nesse caso, (AB) a proposio C: Se Jorge no briga com sua namorada Slvia, ento Slvia
no vai ao teatro.
2. 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.

46. (TRT 1 Regio Tc Jud 2008 CESPE) Assinale a opo correspondente negao correta da
proposio Os ocupantes de cargos em comisso CJ.3 e CJ.4 no tm direito carteira
funcional.
A) Os ocupantes de cargos em comisso CJ.3 e CJ.4 tm direito carteira funcional.
B) Os ocupantes de cargos em comisso CJ.3 ou os ocupantes de cargos em comisso CJ.4 tm
direito carteira funcional.
C) No o caso de os ocupantes de cargos em comisso CJ.3 e CJ.4 terem direito carteira
funcional.
D) Nem ocupantes de cargos em comisso CJ.3, nem CJ.4 no tm direito carteira funcional.
E) Os ocupantes de cargos em comisso CJ.3 no tm direito carteira funcional, mas os ocupantes
de cargos em comisso CJ.4 tm direito carteira funcional.

47. (TRT 17 Regio Tc Jud 2009 CESPE) Julgue os itens a seguir.
1. A proposio Carlos juiz e muito competente tem como negao a proposio Carlos no
juiz nem muito competente.

2. A proposio A Constituio brasileira moderna ou precisa ser refeita ser V quando a
proposio A Constituio brasileira no moderna nem precisa ser refeita for F, e vice-versa.

48. (Papiloscopista 2004 Cespe) Denomina-se contradio uma proposio que sempre falsa.
Uma forma de argumentao lgica considerada vlida embasada na regra da contradio,
ou seja, no caso de uma proposio R verdadeira (ou R verdadeira), caso se obtenha uma
contradio, ento se conclui que R verdadeira (ou R verdadeira). Considerando essas
informaes e o texto de referncia, e sabendo que duas proposies so equivalentes quando
possuem as mesmas valoraes, julgue os itens que se seguem.
1. De acordo com a regra da contradio, P Q verdadeira quando ao supor P.Q verdadeira,
obtm-se uma contradio.


49. (TRT 1 Regio 2008 CESPE) correto afirmar que, para todos os possveis valores lgicos, V ou
F, que podem ser atribudos a P e a Q, uma proposio simbolizada por [P(Q)] possui os
mesmos valores lgicos que a proposio simbolizada por
(A) (P)vQ. (C) [(P).(Q)]. (E)) P.Q.
(B) (Q)P. (D) [(PQ)].

50. (PC/ES 2010 Cespe) Julgue os prximos itens, relativos lgica sentencial, em que os smbolos
., v, ~ e representam, respectivamente, as operaes lgicas e, ou, no e
implicao.

1. A negao da proposio (Pv~Q).R (~PvQ).(~R).

51. (IBAMA 2004 CESPE) Com relao s estruturas lgicas, julgue os seguintes itens.
1. Se verdade que P Q , ento falso que P . ( Q).

2. (P ( Q)) logicamente equivalente Q (P).

3. Considere a seguinte proposio.
Ocorre conflito ambiental quando h confronto de interesses em torno da utilizao do meio
ambiente ou h confronto de interesses em torno da gesto do meio ambiente.

A negativa lgica dessa proposio : No ocorre conflito ambiental quando no h confronto de
interesses em torno da utilizao do meio ambiente ou no h confronto de interesses em torno
da gesto do meio ambiente.

4. Considere a seguinte assertiva.
Produo de bens dirigida s necessidades sociais implica na reduo das desigualdades sociais.

A negativa lgica dessa assertiva : A no produo de bens dirigida s necessidades sociais
implica na no reduo das desigualdades sociais.

52. (Analista Petrobrs 2004 CESPE) As sentenas S1, S2 e S3 a seguir so notcias acerca da bacia
de Campos RJ, extradas e adaptadas da revista comemorativa dos 50 anos da PETROBRAS.

S1: Foi descoberto leo no campo de Garoupa, em 1974.
S2: Foi batido o recorde mundial em perfurao horizontal, em profundidade de 905 m, no campo
de Marlim, em 1995.
S3: Foi iniciada a produo em Moria e foi iniciado o Programa de Desenvolvimento Tecnolgico
em guas Profundas (PROCAP), em 1986.

Quanto s informaes das sentenas acima, julgue os itens subseqentes.

1. A negao da unio de S1 e S2 pode ser expressa por: Se no foi descoberto leo no campo de
Garoupa, em 1974, ento no foi batido o recorde mundial em perfurao horizontal, em
profundidade de 905 m, no campo de Marlim, em 1995.

2. A negao de S3 pode ser expressa por: Ou no foi iniciada a produo em Moria ou no foi
iniciado o Programa de Desenvolvimento Tecnolgico em guas Profundas (PROCAP), em 1986.

1. Considerando todos os possveis valores lgicos, V ou F, atribudos s proposies simples A e B,
correto afirmar que a proposio composta [(A).(B)] possui exatamente dois valores
lgicos V.
2. Sabe-se que as proposies (A.B) e (A)v(B) tm os mesmos valores lgicos para todas as
possveis valoraes de A e de B. Ento a negao da proposio O Brasil possui embaixada
em Abu Dhabi e no em Marrocos pode ser simbolizada da forma (A)vB.

54. (TRT 5 REGIO Tec Jud 2008 CESPE) Considerando a proposio Nesse processo, trs rus
foram absolvidos e os outros dois prestaro servios comunidade, simbolizada na forma
A.B, em que A a proposio Nesse processo, trs rus foram absolvidos e B a proposio
Nesse processo, dois rus prestaro servios comunidade, julgue os itens que se seguem.
1. A proposio (A)A pode ser assim traduzida: Se, nesse processo, trs rus foram condenados,
ento trs rus foram absolvidos.
2. correto inferir, aps o preenchimento da tabela abaixo, se necessrio, que a tabela-verdade da
proposio Nesse processo, trs rus foram absolvidos, mas pelos menos um dos outros dois
no prestar servios comunidade coincide com a tabela-verdade da proposio simbolizada
por (AB).

EQUIVALNCIA ENTRE PROPOSIES
1. As proposies Se o delegado no prender o chefe da quadrilha, ento a operao agarra no
ser bem-sucedida e Se o delegado prender o chefe da quadrilha, ento a operao agarra ser
bem-sucedida so equivalentes.

56. (ABIN 2010 Cespe) Considerando as regras da lgica sentencial, julgue os itens a seguir.

1. A proposio um papel rascunho ou no tem mais serventia para o desenvolvimento dos
trabalhos equivalente a se um papel tem serventia para o desenvolvimento dos trabalhos,
ento um rascunho.
2. A negao da proposio estes papis so rascunhos ou no tm mais serventia para o
desenvolvimento dos trabalhos equivalente a estes papis no so rascunhos e tm serventia
para o desenvolvimento dos trabalhos.


57. (Senado Federal 2002 CESPE) O Teorema Fundamental da Aritmtica afirma que:

Se n for um nmero natural diferente de 1, ento n pode ser decomposto como um produto de
fatores primos, de modo nico, a menos da ordem dos fatores.

Julgue se cada um dos itens subseqentes reescreve, de modo correto e equivalente, o enunciado
acima.
1. condio suficiente que n seja um nmero natural diferente de 1 para que n possa ser
decomposto como um produto de fatores primos, de modo nico, a menos da ordem dos
fatores.
2. condio necessria que n seja um nmero natural diferente de 1 para que n possa ser
decomposto como um produto de fatores primos, de modo nico, a menos da ordem dos
fatores.
3. Se n no possuir decomposio como um produto de fatores primos, que seja nica, a menos da
ordem dos fatores, ento n no um nmero natural diferente de 1.
4. Ou n no um nmero natural diferente de 1, ou n tem uma decomposio como um produto
de fatores primos, que nica, a menos da ordem dos fatores.
5. n um nmero natural diferente de 1 se puder ser decomposto como um produto de fatores
primos, de modo nico, a menos da ordem dos fatores.

58. (DETRAN/ES 2010 Cespe) Considerando a sentena sempre que um motorista passar em
excesso de velocidade por um radar, se o radar no estiver danificado ou desligado, o
motorista levar uma multa, julgue os itens subsecutivos.

1. A afirmao do enunciado logicamente equivalente sentena se um motorista passar em
excesso de velocidade por um radar e este no estiver danificado ou desligado, ento o motorista
levar uma multa.

2. A sentena o radar no est danificado ou desligado logicamente equivalente sentena o
radar no est danificado e tambm no est desligado.

1. As proposies compostas A(B) e B(A) tm exatamente os mesmos valores lgicos,
independentemente das atribuies V ou F dadas s proposies simples A e B.

60. (DETRAN-DF 2009 ESAF) Considerando que A, B e C sejam proposies, que os smbolos v e .
representam os conectivos ou e e, respectivamente, e que o smbolo denota o
modificador negao, julgue os itens a seguir.
1. Se a proposio AvBC verdadeira, ento C necessariamente verdadeira.
2. Se a proposio AvBC verdadeira, ento a proposio C(AvB) tambm verdadeira.

61. (Papiloscopista 2004 Cespe) Julgue os itens seguintes.
1. As tabelas de valoraes das proposies PvQ e Q P so iguais.
2. As proposies (PvQ) S e (P S)v(Q S) possuem tabelas de valoraes iguais.

62. (Escrivo da PF 2009 Cespe) A partir dessas informaes, julgue o item que se segue.
1. As proposies [Av(B)](A) e [(A).B] v (A) so equivalentes.

63. (EBC 2011 Cespe) Considerando que P, Q e R representem, respectivamente, as proposies O
dispositivo est ligado, O dispositivo est conectado ao PC e A bateria no est
carregando, julgue os itens a seguir, acerca de lgica proposicional.
1. As proposies P.QR e P[QR] so logicamente equivalentes.

64. (Tc. Jud. TRE-MG 2008 CESPE) Proposies so sentenas que podem ser julgadas somente
como verdadeiras ou falsas. A esse respeito, considere que p represente a proposio simples
dever do servidor promover o atendimento cordial a clientes internos e externos, que q
represente a proposio simples O servidor dever instruir procedimentos administrativos de
suporte gerencial e que r represente a proposio simples tarefa do servidor propor
alternativas e promover aes para o alcance dos objetivos da organizao. Acerca dessas
proposies p, q e r e das regras inerentes ao raciocnio lgico, assinale a opo correta.
A. ~(p v q v r ) equivalente a ~p . ~q . ~ r.
B. p q equivalente a ~p ~q.
C. p . ( q v r ) equivalente a p . q . r.
D. ~ (~ ( ~ r ) ) r.
E. A tabela-verdade completa das proposies simples p, q e r tem 2
4
linhas.

TAUTOLOGIA, CONTRADIO E CONTIGNCIA

1. A sentena No Palcio Itamaraty h quadros de Portinari ou no Palcio Itamaraty no h
quadros de Portinari uma proposio sempre verdadeira.

66. (Serpro 2010 Cespe) Tendo como referncia as informaes apresentadas, julgue os itens
seguintes.
1. A proposio (AvA)(A.A) logicamente falsa, mas (A.A)(AvA) uma tautologia.

2. A proposio (A.B) v (B.A) ser V apenas quando A for V e B for F ou quando A for F e B for
V.

67. (PETROBRAS 2007 CESPE) Julgue o item a seguir.
1. Uma proposio da forma (BA)(AB) F exatamente para uma das possveis valoraes
V ou F, de A e de B.

68. (Escrivo da PF 2009 Cespe) Julgue o item que se segue.
1. Independentemente dos valores lgicos atribudos s proposies A e B, a proposio
[(AB) . (B)] (A) tem somente o valor lgico F.


69. (DETRAN-DF 2009 ESAF) Considerando que A, B e C sejam proposies, que os smbolos v e .
representam os conectivos ou e e, respectivamente, e que o smbolo denota o
modificador negao, julgue o item a seguir.
1. A proposio (AvB).[(A).(B)] sempre falsa.

70. (TRE/ES 2010 Cespe) Julgue os itens seguintes.

1. As proposies ~[(PQ).(QP)] e (~P.Q)v(~Q.P) possuem tabelas-verdade distintas.

2. A proposio ~(~P.P) verdadeira, independentemente do valor lgico da proposio P.

71. (BB3 2007 CESPE) As afirmaes que podem ser julgadas como verdadeiras (V) ou falsas (F),
mas no ambas, so chamadas proposies. As proposies so usualmente simbolizadas por
letras maisculas: A, B, C etc. Com base nessas definies, julgue os itens que se seguem.
1. Uma expresso da forma (A.B) uma proposio que tem exatamente as mesmas valoraes
V ou F da proposio AB.
2. A proposio simbolizada por (AB) (BA) possui uma nica valorao F.

72. (TRT 17 Regio Tc Jud 2009 CESPE) Julgue os itens a seguir.
1. Para todos os possveis valores lgicos atribudos s proposies simples A e B, a proposio
composta [A.(B)].B tem exatamente 3 valores lgicos V e um F.

2. Considere que uma proposio Q seja composta apenas das proposies simples A e B e cujos
valores lgicos V ocorram somente nos casos apresentados na tabela abaixo.

Nessa situao, uma forma simblica correta para Q [A.(B)]v[(A).(B)].

73. (TRT 1 Regio Tc Jud 2008 CESPE) Assinale a opo correspondente proposio composta
que tem exatamente 2 valores lgicos F e 2 valores lgicos V, para todas as possveis
atribuies de valores lgicos V ou F para as proposies A e B.
A) Bv(A)
B) (A.B)
C) [(A).(B)]
D) [(A)v(B)].(A.B)
E) [(A)vB].[(B)vA]

74. (Polcia Militar DF 2009 CESPE) Julgue o item que se segue, acerca de proposies e seus
valores lgicos.
1. A proposio (A.B)(AvB) uma tautologia.


75. (TRT 5 REGIO Tec Jud 2008 CESPE) Julgue o item seguinte.
1. Se A e B so proposies, ento a proposio AvB (A).(B) uma tautologia.

76. (TRT 5 REGIO Anal Jud 2008 CESPE) Julgue os itens seguintes.

1. A proposio (AvB)(A)vB uma tautologia.

2. A proposio A.(B)(A.B) uma tautologia.

3. Na tabela abaixo, a proposio [AB] [(B)(A)] uma tautologia.

77. (MPE Tocantins Analista 2006 CESPE) Julgue o item subseqente.
1. No possvel avaliar como V a proposio (AB) . A . (CvAvC).

78. (SEFAZ/ES 2010 Cespe) Considerando os smbolos lgicos (negao), . (conjuno), v
(disjuno), (condicional) e as proposies
S: (p . q) v ( p . r) q v r e
T: ((p . q) v ( p . r)) . ( q . r),
julgue o item que se segue.
1. A proposio T S uma tautologia.

79. (MPE/PI 2011 Cespe) Considerando que P e Q sejam proposies simples, julgue o item que se
segue.
1. A proposio composta [P.Q]v[(Q)P] uma tautologia.

80. (TJ/ES 2010 Cespe) Considerando as proposies simples p e q e a proposio composta S:
[(pq).(~q)](~p), julgue os itens que se seguem.

1. A proposio S uma tautologia.

2. Considerando todos os possveis valores lgicos das proposies p e q, correto afirmar que a
proposio (pq).(~q) possui valores lgicos V e F em quantidades iguais.

81. (SESA/ES 2011 Cespe) Considerando que as proposies lgicas simples sejam representadas
por letras maisculas e utilizando os smbolos usuais para os conectivos lgicos . para a
conjuno e; v para a disjuno ou; para a negao no; para a implicao se ...,
ento ...; para a equivalncia se ..., e somente se ... , julgue os prximos itens.

1. A expresso {(PQ) . [(P) (R)]} (RQ), em que P, Q e R so proposies simples, uma
tautologia.

2. Se P, Q, R e S so proposies simples, ento a proposio expressa por {[(PQ)(R.S)] .
(R.S)} (PQ) uma tautologia.

82. (TRT 1 Regio Tc Jud 2008 CESPE) Considerando todos os possveis valores lgicos V ou F
atribudos s proposies A e B, assinale a opo correspondente proposio composta que
tem sempre valor lgico F.
A) [A.(B)].[(A)vB]
B) (AvB)v[(A).(B)]
C) [A.(B)]v(A.B)
D) [A.(B)]vA
E) A.[(B)vA]


GABARITO

01 C 42 E
02 C 43 E
03 C E C 44 E
04 E 45 E C
05 E 46 B
06 E 47 E C
07 E 48 C
08 E 49 E
09 E C 50 E
10 E E 51 C E E E
11 E C E E 52 E C
12 C 53 E C
13 E C C C E 54 E C
14 C C 55 E
15 E 56 C C
16 C 57 C E C C E
17 E C C 58 C C
18 C 59 C
19 C 60 E C
20 C C 61 E E
21 E E C 62 C
22 E E C E 63 C
23 E E 64 A
24 E C C 65 C
25 E E C 66 C C
26 E 67 E
27 E 68 E
28 E 69 C
29 E E 70 E C
30 E 71 C C
31 D 72 E E
32 C 73 E
33 C E 74 C
34 E C 75 E
35 E 76 C C C
36 C 77 E
37 E 78 E
38 C 79 E
39 E 80 C E
40 C 81 C C
41 E 82 A

AEP Tropadeelite PRF RaciocinioLogico Webercampos

Uploaded by

Document Information

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

AEP Tropadeelite PRF RaciocinioLogico Webercampos

Uploaded by

Copyright:

Available Formats

A

You might also like