Matematica e Raciocinio Lógico.04

Prévia do material em texto

MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
1
www.pontodosconcursos.com.br 
Aula 4
Proposições . ................................................................................................................................ 2 
Proposições simples e compostas. .............................................................................................. 6 
Modificador. ................................................................................................................................. 7
p ∧ . . ...................................................................................... 7 Conjunção q 
p ∨ . ........................................................... 8 Disjunção Inclusiva q 
Condicional qp→ . .................................................................................................................... 9 
Bicondicional p q↔ . . ............................................................................................................. 10
Condição suficiente e condição necessária. .............................................................................. 26 
Equivalências lógicas . ................................................................................................................ 28 
Negação das Proposições Usuais . ............................................................................................. 33 
Sentenças abertas, quantificadores . ......................................................................................... 35 
Diagramas de Euler‐Venn. ......................................................................................................... 42 
Relação das questões comentadas nesta aula. ......................................................................... 51 
Gabaritos . .................................................................................................................................. 62 
 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
2
www.pontodosconcursos.com.br 
Olá pessoal! 
Esta é a nossa última aula do curso para o TRF 1ª Região. 
Nesta semana eu disponibilizei a resolução da prova de Técnico Judiciário do
TRT 24ª Região na parte aberta do Ponto. O link com a resolução da prova é o
que segue:
http://www.pontodosconcursos.com.br/admin/imagens/upload/6449_D.pdf 
Tentem resolver esta prova, pois ela servirá como uma espécie de simulado
para vocês. 
A lógica estudada nesta aula é chamada Lógica Formal ou Lógica Aristotélica.
Cabe à Lógica Formal ignorar o conteúdo das proposições 
para concentrar-se apenas em sua forma. Para o bom entendimento de
grande parte desta aula, precisamos entender os conceitos que se relacionam
com proposições. 
 
Proposições
O conceito de proposição é fundamental para o estudo de toda a lógica
formal. 
Chama-se proposição, ou sentença, toda oração declarativa que pode ser
classificada em verdadeira ou falsa, mas não as duas. Letras são usualmente
utilizadas para denotar proposições. As letras convencionais para esse
propósito são p, q, r, s... O valor lógico de uma proposição verdadeira é
representado por V; e o de uma proposição falsa, por F. 
Por sinal, esses são os únicos valores lógicos que existem na Lógica
Aristotélica. 
São exemplos de proposições: 
p : Todo recifense é pernambucano. 
q : O Brasil está situado na Europa.
s : Existe vida fora da Terra. 
A proposição p é verdadeira (V); 
a proposição q é falsa (F); 
e a proposição s não sabemos o seu valor lógico, mas ela, apesar de ainda não
sabermos classificá-la, possui um valor lógico V ou F, sendo, portanto, uma
proposição. Ou seja, nós não sabemos se existe ou não vida fora da Terra, 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
3
www.pontodosconcursos.com.br 
mas com certeza: existe ou não existe. Nós, humanos, é que somos ignorantes
e ainda não sabemos. Posso afirmar apenas uma coisa: “Existe vida fora da
Terra” é uma proposição verdadeira ou falsa – não há outra possibilidade. 
Considere as frases: 
1. Qual seu nome? 
2. Leia isto atenciosamente. 
3. X + 1 = 2 
4. Eu sou mentiroso. 
As frases acima não são consideradas proposições lógicas. As frases 1 e 2
não são declarativas, são interrogativa e imperativa, respectivamente. 
Imagine que a frase 3 seja uma proposição. Qual o seu valor lógico?
Depende!! Depende de que? Do valor de X. Se X for igual a 1, então ela é
verdadeira, caso contrário será falsa!! Portanto, não é verdadeira nem falsa,
pois não foi dado um valor para x (por isso, é chamada de sentença aberta
ou função proposicional). 
A frase 4 não pode ser classificada em V ou F, pois teríamos um paradoxo.
Suponha que tenhamos imposto que seu valor lógico seja V. Seria um
absurdo, pois um mentiroso não declara verdade. Suponha agora que o seu
valor lógico seja F. Se é falso dizer que ele é um mentiroso, concluímos que
ele é veraz. Absurdo novamente, pois a proposição é falsa. A frase 4 não
pode ser verdadeira nem falsa, portanto não é uma proposição lógica. 
01. (ICMS-SP/2006/FCC) Das cinco frases abaixo, quatro delas têm uma
mesma característica lógica em comum, enquanto uma delas não tem essa
característica. 
I. Que belo dia! 
II. Um excelente livro de raciocínio lógico. 
III. O jogo terminou empatado? 
IV. Existe vida em outros planetas do universo. 
V. Escreva uma poesia. 
A frase que não possui essa característica comum é a 
a) I. 
b) II. 
c) III. 
d) IV. 
e) V. 
Resolução 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
4
www.pontodosconcursos.com.br 
A frase I é exclamativa, portanto não é uma proposição lógica. A frase II não
possui verbo, não sendo assim uma proposição. A frase III é interrogativa e a
frase V é imperativa. Não são, portanto, proposições. Portanto a característica
comum entre as frases I, II, III e V é que elas não são proposições. A única
proposição é a frase IV, pois é uma oração declarativa, que podemos
classificar em V ou F, apesar de não sabermos o seu valor lógico. 
Letra D 
02. (PM-BA 2009/FCC) Define-se sentença como qualquer oração que tem
sujeito (o termo a respeito do qual se declara alguma coisa) e predicado (o que
se declara sobre o sujeito). Na relação que segue há expressões e sentenças: 
1. Tomara que chova! 
2. Que horas são? 
3. Três vezes dois são cinco. 
4. Quarenta e dois detentos. 
5. Policiais são confiáveis. 
6. Exercícios físicos são saudáveis. 
De acordo com a definição dada, é correto afirmar que, dos itens da relação
acima, são sentenças APENAS os de números 
(A) 1, 3 e 5. 
(B) 2, 3 e 5. 
(C) 3, 5 e 6. 
(D) 4 e 6. 
(E) 5 e 6. 
Resolução 
A FCC conceitua sentença como proposição. A frase 1 é exclamativa, a frase 2
é interrogativa, a frase 4 não possui predicado e, portanto, não são sentenças.
As sentenças (proposições lógicas) são as frases 3, 5 e 6. 
Letra C 
03. (SEFAZ/SP 2006/FCC) Das cinco frases abaixo, quatro delas têm uma
mesma característica lógica em comum, enquanto uma delas não tem essa
característica. 
I – Que belo dia! 
II – Um excelente livro de raciocínio lógico. 
III – O jogo terminou empatado? 
IV – Existe vida em outros planetas do universo. 
V – Escreva uma poesia. 
A frase que não possui esta característica comum é a: 
a) I 
b) II 
c) III 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
5
www.pontodosconcursos.com.br 
d) IV 
e) V 
Resolução. 
A frase I é uma exclamação. Não é proposição. 
A frase II contém uma opinião sobre o livro, não sendo possível julgar em
verdadeiro ou falso. Não é proposição. 
A frase III é uma pergunta, que também não é proposição. 
A frase IV pode ser julgada em verdadeiro ou falso. É uma proposição.
A frase V é uma ordem. Não é proposição. 
Só a frase IV é proposição. 
Letra D 
Um importante tipo de sentença que não é proposiçãoé a chamada sentença
aberta ou função proposicional. 
Exemplo: 
05 =−x 
Não podemos julgar esta frase em verdadeiro ou falso, simplesmente porque
não é possível descobrir o valor de x. Se x valer 5, de fato, 05 =−x . 
Caso contrário, se x for diferente de 5, a igualdade acima está errada.
“x” é uma variável, pode assumir inúmeros valores. 
Quando a sentença possui uma variável, nós dizemos que ela é uma sentença
aberta. Ela tem um termo que varia, o que impede julgá-la em verdadeiro ou
falso. Logo, não é proposição. 
Basicamente é isto: sempre que a frase não puder ser julgada em verdadeiro
ou falso, não é uma proposição. 
04. (ICMS-SP/2006/FCC) Considere as seguintes frases: 
I. Ele foi o melhor jogador do mundo em 2005. 
II. 
5
x y+ é um número inteiro. 
III. João da Silva foi o secretário da Fazenda do Estado de São Paulo em 2000. 
É verdade que APENAS: 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
6
www.pontodosconcursos.com.br 
a) I e II são sentenças abertas. 
b) I e III são sentenças abertas. 
c) II e III são sentenças abertas. 
d) I é uma sentença aberta. 
e) II é uma sentença aberta. 
Resolução 
A frase I é uma sentença aberta, pois “Ele” pode, nesta questão, estar se
referindo a um homem qualquer. Não podemos classificá-la em V ou F, pois
não sabemos sobre quem estamos falando. A frase I seria uma proposição se,
por exemplo, o locutor apontasse para uma pessoa e falasse “Ele foi o melhor
jogador do mundo em 2005”. A frase II é, sem dúvida, uma sentença aberta,
pois há duas variáveis e infinitos valores que podem tornar a frase verdadeira
ou falsa. Já a frase III não é uma sentença aberta, pois facilmente podemos
verificar o sujeito e classificá-la em V ou F. 
Letra A 
Proposições simples e compostas
Estudaremos métodos de produzir novas proposições a partir de proposições
simples. Uma proposição é simples quando declara algo sem o uso de
conectivos. Quando “ligamos” duas ou mais proposições simples, obtemos as
denominadas proposições compostas. Os “entes” lógicos que ligam as
proposições são denominados conectivos lógicos. 
Exemplos de proposições simples: 
p : O número 2 é primo. (V) 
q : 15 : 3 = 6 (F) 
r : O retângulo é um polígono regular. (F) 
A partir de proposições simples dadas podemos construir novas proposições
compostas mediante o emprego de operadores lógicos chamados conectivos,
como “e” (símbolo �), “ou” (símbolo v), os condicionais “se... então”
(símbolo ՜), “se e somente se” (símbolo ՞) e o modificador “não” (o 
símbolo pode ser ׽ ou ¬). 
Exemplos: 
p : A Lua é um satélite da Terra, e Recife é a capital de Pernambuco. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
7
www.pontodosconcursos.com.br 
q : Carlos é solteiro ou Pedro é estudante. 
r : Se um quadrilátero tem todos os lados congruentes, então é um losango. 
s : Um quadrilátero é um quadrado se e somente se for retângulo e losango. 
O que precisamos saber para resolver questões envolvendo proposições 
compostas? 
i) A regra que rege cada um dos conectivos lógicos. 
ii) Argumentar. 
Vamos começar com as regras de cada conectivo e do modificador. 
Modificador
Dada uma proposição p qualquer, uma outra proposição chamada negação de
p pode ser formada escrevendo-se “É falso que...” antes de p ou, se possível,
inserindo a palavra “não”. Simbolicamente, a negação de p é designada por 
p~ ou p¬ . 
Exemplo: 
 p : Paris está na França. 
 p~ : É falso que Paris está na França. 
 p~ : Paris não está na França. 
 p~ : Não é verdade que Paris está na França. 
p ∧Conjunção q 
Duas proposições quaisquer podem ser combinadas pela palavra “e” para
formar uma proposição composta, que é chamada de conjunção das
proposições originais. Simbolicamente representamos a conjunção de duas
proposições p e q por qp ∧ . 
 p p~
 V F 
 F V 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
8
www.pontodosconcursos.com.br 
A conjunção qp ∧ é verdadeira se p e q são ambas verdadeiras; se ao
menos uma delas for falsa então qp ∧ é falsa. 
Exemplo: 
p : João é gordo e Mário é alto. 
Suponha que a proposição João é gordo seja verdadeira e que Mário não
seja alto. Dessa forma, 
A conjunção “João é gordo e Mário é alto” é falsa, pois a proposição “Mário é
alto” é falsa. A composta só seria verdadeira se ambas as proposições “João é
gordo” e “Mário é alto” fossem verdadeiras. 
p ∨Disjunção Inclusiva q 
Duas proposições quaisquer podem ser combinadas pela palavra “ou” para
formar uma proposição composta que é chamada de disjunção inclusiva das
proposições originais. Simbolicamente, a disjunção das proposições p e q é
designada por qp ∨ . 
A disjunção inclusiva qp ∨ é verdadeira se ao menos uma das
proposições p ou q é verdadeira; qp ∨ é falsa se e somente se ambas p e 
q são falsas. 
Exemplo: 
p : Vou à festa ou não me chamo Fulano. 
Considere que Fulano afirmou: Vou à festa ou não me chamo Fulano. 
Fulano foi à festa. Portanto, a proposição “Vou à festa” é verdadeira. 
A proposição “não me chamo Fulano” é falsa, pois quem a disse foi Fulano. 
Temos o seguinte esquema: 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
9
www.pontodosconcursos.com.br 
A disjunção “Vou à festa ou não me chamo Fulano” só seria falsa se ambas as
proposições “Vou à festa” e “Não me chamo Fulano” fossem falsas. Como a
proposição “Vou à festa” é verdadeira, temos que a composta é verdadeira.
Assim, 
Condicional qp→
Quando duas proposições são conectadas com a palavra “se” antes da
primeira e a inserção da palavra “então” entre elas a proposição resultante é
composta e é também chamada de implicação. Simbolicamente, qp→ . Em
uma proposição condicional, o componente que se encontra entre o “se” e o
“então” é chamado de antecedente e o componente que se encontra após a
palavra “então” é chamado consequente. Por exemplo, na proposição “Se vou
à praia, então tomo banho de mar”, “vou à praia” é o antecedente e “tomo
banho de mar” é o consequente. 
O condicional qp→ é falso somente quando p é verdadeira e q é falsa;
caso contrário, qp→ é verdadeiro. 
Coloquemos um exemplo para resumi-lo. 
Se Guilherme é recifense, então Guilherme é pernambucano. 
Guilherme é recifense Guilherme é pernambucano 
1º caso verdadeira verdadeira 
2º caso verdadeira falsa 
3º caso falsa verdadeira 
4º caso falsa falsa 
Analisemos cada um deles. 
1º caso Æ antecedente e consequente verdadeiros. Aqui, se efetivamente 
Guilherme for recifense e também for pernambucano, não há dúvida, a
proposição condicional é considerada verdadeira. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
10
www.pontodosconcursos.com.br 
2º caso Æ antecedente verdadeiro e consequente falso. Nessa situação,
temos Guilherme como uma pessoa que nasceu no Recife e não nasceu em
Pernambuco. A condicional é considerada falsa. 
3º caso Æ antecedente falso e consequente verdadeiro. Guilherme não nasceu
no Recife, mas nasceu em Pernambuco. Isso é totalmente permitido, visto que
Guilherme poderia ter nascido em Petrolina, por exemplo. A proposição
condicional é verdadeira. 
4º casoÆ antecedente e consequente falsos. Guilherme não nasceu no Recife
nem em Pernambuco. Situação totalmente aceitável, visto que Guilherme
poderia ter nascido em qualquer outro lugar do mundo. 
↔Bicondicional p q 
Conectando duas proposições p, q através do conectivo bicondicional, obtemos
uma nova proposição p q↔ , que se lê “p se e somente se q”. O
bicondicional equipara-se à conjunção de dois condicionais qp→ e 
q p→ . 
Por exemplo, a proposição composta “Hoje é Natal se, e somente se hoje é 25
de dezembro” significa que “Se hoje é Natal, então hoje é 25 de dezembro” e
“Se hoje é 25 de dezembro, então hoje é Natal”.O bicondicional p q↔ é verdadeiro quando p e q são ambos verdadeiros ou 
ambos falsos, e falso, quando p e q têm valores lógicos diferentes. 
No nosso exemplo acima, 
Podemos resumir tudo o que foi dito com a seguinte tabela-verdade. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
11
www.pontodosconcursos.com.br 
Ou ainda, para facilitar o processo mnemônico, podemos memorizar as regras
que tornam as compostas verdadeiras. 
Conjunção qp ∧ As duas proposições p, q devem ser verdadeiras 
Disjunção qp ∨ Ao menos uma das proposições p, q deve ser
verdadeira. Não pode ocorrer o caso de as duas
serem falsas. 
Condicional qp→ Não pode acontecer o caso de o antecedente ser
verdadeiro e o consequente ser falso. Ou seja, não
pode acontecer V(p)=V e V(q)=F. Em uma linguagem
informal, dizemos que não pode acontecer VF, nesta
ordem. 
Bicondicional p q ↔ Os valores lógicos das duas proposições devem ser 
iguais. Ou as duas são verdadeiras, ou as duas são
falsas. 
Falei anteriormente que para resolver questões envolvendo proposições
deveríamos saber: 
i) A regra que rege cada um dos conectivos lógicos. 
ii) Argumentar. 
Deixe-me resolver algumas questões sobre os conectivos e em seguida
ensinarei e resolverei questões sobre argumentos. 
(TCU/2004/Cespe) Considere que as letras P, Q e R representam proposições,
e os símbolos ¬ , ∧ e Æ são operadores lógicos que constroem novas 
proposições e significam “não”, “e” e “então”, respectivamente. Na lógica
proposicional que trata da expressão do raciocínio por meio de proposições
que são avaliadas (valoradas) como verdadeiras (V) ou falsas (F), mas nunca 
p q qp ∧ qp ∨ qp→ p q↔
V V V V V V 
V F F V F F 
F V F V V F 
F F F F V V 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
12
www.pontodosconcursos.com.br 
ambos, esses operadores estão definidos, para cada valoração atribuída às
letras proposicionais, na tabela abaixo: 
P Q ¬P P ∧ Q P Æ Q
V V F V V 
V F F F F 
F V V F V 
F F V F V 
Suponha que P representa a proposição Hoje choveu, Q represente a
proposição José foi à praia e R represente a proposição Maria foi ao comércio.
Com base nessas informações e no texto, julgue os itens a seguir: 
05. A sentença “Hoje não choveu então Maria não foi ao comércio e José não
foi à praia” pode ser corretamente representada por ¬P Æ (¬R ∧ ¬Q) 
06. A sentença “Hoje choveu e José não foi à praia” pode ser corretamente
representada por P ∧ ¬Q 
07. Se a proposição “Hoje não choveu” for valorada como F e a proposição
José foi à praia for valorada como V, então a sentença representada por ¬P 
Æ Q é falsa. 
08. O número de valorações possíveis para (Q ∧ ¬R) Æ P é inferior a 9. 
Resolução 
05. A proposição “Hoje não choveu” é a negação da proposição P e deve ser
representada por ¬P. A sentença “Maria não foi ao comércio” é a negação de R
e, portanto, é representada por ¬R. Analogamente, a proposição “José não foi
à praia” é representada por ¬Q. Concluímos que a composta “Hoje não choveu
então Maria não foi ao comércio e José não foi à praia” é representada por ¬P
Æ (¬R ∧ ¬Q) e o item está certo. 
06. Usando o raciocínio do item 1, temos que o item 05 também é certo. 
07. P: Hoje choveu. 
 ¬P: Hoje não choveu. 
 Q: José foi a praia. 
O antecedente (¬P) da condicional ¬P Æ Q foi valorado como F. Sabemos que
quando o antecedente de uma condicional é falso, a composta condicional é
verdadeira. Segue-se que o item está errado. Vale a pena lembrar que uma
composta condicional só é falsa quando o antecedente é verdadeiro e o
consequente é falso, em qualquer outro caso, a condicional é verdadeira. 
08. Vale a pena lembrar que o número de linhas de uma tabela-verdade
(valorações) composta de n proposições simples é igual a 2n. Como n=3, temos
que o número de valorações possíveis para a proposição composta (Q ∧ ¬R) 
Æ P é igual a 23=8. O item está certo. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
13
www.pontodosconcursos.com.br 
09. (Gestor Fazendário-MG/2005/Esaf) Considere a afirmação P:
P: “A ou B” 
Onde A e B, por sua vez, são as seguintes afirmações: 
A: “Carlos é dentista”. 
B: “Se Enio é economista, então Juca é arquiteto”. 
Ora, sabe-se que a afirmação P é falsa. Logo: 
a) Carlos não é dentista; Enio não é economista; Juca não é arquiteto. 
b) Carlos não é dentista; Enio é economista; Juca não é arquiteto. 
c) Carlos não é dentista; Enio é economista; Juca é arquiteto. 
d) Carlos é dentista; Enio não é economista; Juca não é arquiteto. 
e) Carlos é dentista; Enio é economista; Juca não é arquiteto. 
Resolução 
A proposição P é a disjunção das proposições A, B (conectivo ou). O texto nos
informou que P é falsa, e sabemos que a disjunção A ou B só é falsa quando
ambas, A e B são falsas. A proposição A é falsa e daí concluímos que Carlos
não é dentista. A condicional B é falsa. Uma proposição condicional só é
falsa quando o antecedente é verdadeiro e o consequente é falso; donde
Enio é economista (antecedente verdadeiro) e Juca não é arquiteto
(consequente falso). 
Lembre-se sempre: uma proposição composta pelo conectivo “se...,então...” só
é falsa quando ocorre VF. E como o enunciado nos disse que B é falsa, então
ocorreu VF. 
B: “Se Enio é economista, então Juca é arquiteto”. 
O antecedente é verdadeiro, logo Enio é economista. 
O consequente é falso, logo Juca não é arquiteto. 
Letra B 
10. (TRF-1ª Região/2006/FCC) Se todos os nossos atos têm causa, então não
há atos livres. Se não há atos livres, então todos os nossos atos têm causa.
Logo: 
a) alguns atos não têm causa se não há atos livres. 
b) todos os nossos atos têm causa se e somente se há atos livres. 
c) todos os nossos atos têm causa se e somente se não há atos livres. 
d) todos os nossos atos não têm causa se e somente se não há atos livres. 
e) alguns atos são livres se e somente se todos os nossos atos têm causa. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
14
www.pontodosconcursos.com.br 
Resolução 
Vimos que o bicondicional qp ↔ (se e somente se) equipara-se à conjunção
de dois condicionais qp → e q p→ . 
Letra C 
11. (ALESP 2010/FCC) Paloma fez as seguintes declarações: 
− “Sou inteligente e não trabalho.” 
− “Se não tiro férias, então trabalho.” 
Supondo que as duas declarações sejam verdadeiras, é FALSO concluir que
Paloma 
(A) é inteligente. 
(B) tira férias. 
(C) trabalha. 
(D) não trabalha e tira férias. 
(E) trabalha ou é inteligente. 
Resolução 
O enunciado já informou que as duas proposições são verdadeiras. 
“Sou inteligente e não trabalho.” 
Esta é uma proposição composta pelo conectivo “e”. Lembra quando uma frase
composta pelo “e” é verdadeira? Quando as duas proposições componentes
são verdadeiras. Desta maneira, concluímos que “Sou inteligente” é verdade
e “Não trabalho” também é verdade. 
Se “não trabalho” é verdade, então “trabalho” é falso. 
Letra C 
Vamos analisar a segunda proposição. 
“Se não tiro férias, então trabalho.” 
Já sabemos que a proposição “não trabalho” é verdade. Portanto, a sua
negação é falsa. 
“Se não tiro férias, então trabalho.” 
F
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
15
www.pontodosconcursos.com.br 
Ora, para que uma proposição composta pelo conectivo “se..., então...” seja
verdadeira, não pode acontecer de o antecedente ser verdadeiro e o
consequente ser falso. Em suma, não pode acontecer VF nesta ordem. Como o
consequente é falso, o antecedente não pode ser verdadeiro, portanto deve ser
falso. 
Conclui-se que a proposição “não tiro férias” é falsa. Isto quer dizer que “tiro
férias” é verdade. 
12. (Petrobras/2007/Cespe) Julgue o item que se segue. 
Considere as proposições abaixo:
p: 4 é um número par; 
q: A Petrobras é a maior exportadora de café do Brasil.Nesse caso, é possível concluir que a proposição p ∨ q é verdadeira. 
Resolução 
Temos que a proposição p é verdadeira, enquanto que a proposição q é falsa.
A disjunção p ∨ q só é falsa se ambas p, q são falsas. Se ao menos uma 
delas for verdadeira, a composta também será verdadeira. Portanto, a
proposição p ∨ q é verdadeira e o item está certo. 
 
13. (SADPE/2008/FGV) Considere as situações abaixo: 
I. Em uma estrada com duas pistas, vê-se a placa: 
Como você está dirigindo um automóvel, você conclui que deve trafegar pela
pista da esquerda. 
II. Você mora no Recife e telefona para sua mãe em Brasília. Entre outras
coisas, você diz que “Se domingo próximo fizer sol, eu irei à praia”. No final do
domingo, sua mãe viu pela televisão que choveu no Recife todo o dia. Então,
ela concluiu que você não foi à praia. 
III. Imagine o seguinte diálogo entre dois políticos que discutem calorosamente
certo assunto: 
- A: Aqui na Câmara tá cheio de ladrão. 
p q p ∨ q
V F V 
“Se não tiro férias, então trabalho.” 
FF
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
16
www.pontodosconcursos.com.br 
- B: Ocorre que eu não sou ladrão. 
- A: Você é safado, tá me chamando de ladrão. 
Em cada situação há, no final, uma conclusão. Examinando a lógica na
argumentação: 
a) são verdadeiras as conclusões das situações I e II, apenas. 
b) são verdadeiras as conclusões das situações II e III, apenas. 
c) são verdadeiras as conclusões das situações I e III, apenas. 
d) as três conclusões são verdadeiras. 
e) as três conclusões são falsas. 
Resolução 
I. Caminhões Æ Pista da Direita 
 F 
Vimos anteriormente que “se não ocorre p a condicional qp→ é verdadeira
qualquer que seja o valor verdade de q.” Ou seja, se o antecedente for falso,
nada podemos concluir a respeito do consequente. A condicional só é falsa
quando o antecedente é verdadeiro e o consequente é falso (não pode
acontecer VF). Portanto, se você está dirigindo um automóvel, poderás dirigir
na pista da direita ou da esquerda. O item é FALSO. Da mesma forma, se
houver um veículo na pista da direita (o consequente é verdadeiro), não
podemos concluir que o veículo é um caminhão. 
II. Domingo próximo fizer sol Æ eu irei à praia. 
 F 
A situação é idêntica ao item anterior. Se o antecedente é falso, nada
podemos concluir sobre o consequente. O item é FALSO. Destacamos
novamente que se o consequente for verdadeiro, nada pode afirmar
sobre o antecedente, ou seja, se o indivíduo foi à praia, não podemos
concluir se no domingo fez sol ou não. 
III. O terceiro item obviamente é FALSO, pois nem o político A chamou o
político B de ladrão, nem o político B chamou o político A de ladrão. O
político A apenas afirmou que “na Câmara tá cheio de ladrão” e o político
B afirmou que ele próprio não era um dos ladrões. 
Letra E 
Vamos aplicar esses conhecimentos sobre conectivos e proposições em
questões envolvendo argumentos. 
E o que é um argumento? 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
17
www.pontodosconcursos.com.br 
“A expressão concreta do raciocínio lógico é o argumento. Um argumento se
sustenta ou cai à medida que o raciocínio que incorpora é bom ou ruim. Cada
argumento é composto de dois elementos básicos, dois diferentes tipos de
proposições: uma proposição ‘premissa’ e uma proposição ‘conclusão’. Uma
premissa é uma proposição que sustenta. É o ponto inicial de um argumento
que contém a verdade conhecida, da qual parte o processo inferencial. Uma
conclusão é uma proposição sustentada, a proposição aceita como verdade na
base da premissa.” (D.Q. McInerny) 
Argumento é toda afirmação de que uma sequência finita de proposições,
chamadas premissas, nPPPP ,...,,, 321 tem como consequência uma proposição 
final Q, chamada conclusão do argumento. Diz-se que um argumento é válido
se e somente se a conclusão for verdadeira, todas as vezes que as premissas
forem verdadeiras. Desse modo, a verdade das premissas é incompatível com
a falsidade da conclusão. A validade de um argumento depende tão somente
da relação existente entre as premissas e a conclusão. Um argumento não
válido é chamado de sofisma ou falácia. Um argumento composto de duas
premissas e uma conclusão é chamado de silogismo. 
Vejamos um exemplo para sedimentar a teoria. 
Jair está machucado ou não quer jogar. Mas Jair quer jogar, logo: 
a) Jair não está machucado nem quer jogar. 
b) Jair não quer jogar nem quer jogar. 
c) Jair não está machucado e quer jogar. 
d) Jair está machucado e não quer jogar. 
e) Jair está machucado e quer jogar. 
O enunciado nada fala sobre a verdade das proposições expostas.
Perguntamo-nos: Quem é Jair? Quem está nos falando que Jair está
machucado? Isto é verdade? Como podemos inferir uma conclusão se não
tenho certeza sobre o valor lógico das premissas? Em suma, como testar a
validade de um argumento? Existe um teste semântico, isto é, um teste que
se baseia nos valores de verdade das suas premissas e conclusão. Um
argumento é válido se, e só se, não for possível ter conclusão falsa e
premissas verdadeiras. Portanto, para termos um argumento válido devemos
supor que as premissas são verdadeiras. Se (e este é um grande se) as
premissas forem verdadeiras, então a conclusão também será. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
18
www.pontodosconcursos.com.br 
Ora, se admitimos a proposição “Jair quer jogar” como verdadeira, devemos
assumir a proposição “Jair não quer jogar” como falsa. Temos então o seguinte
esquema: 
Perguntamo-nos: Quando é que uma disjunção (proposição composta pelo
conectivo “ou”) qp ∨ é verdadeira? Se ao menos uma das proposições p ou 
q é verdadeira; qp ∨ é falsa se e somente se ambas p e q são falsas. No 
nosso caso, temos uma disjunção que é verdadeira, e uma das proposições
que a compõe é falsa. Concluímos que a outra proposição “Jair está
machucado” é verdadeira. 
Letra E 
Jair está machucado e quer jogar. 
Temos então o seguinte argumento VÁLIDO. 
Jair está machucado ou não quer jogar. 
Mas Jair quer jogar, logo: 
Jair está machucado e quer jogar. 
Não estamos afirmando que premissas do enunciado são verdadeiras nem que
a conclusão também o seja. Dizemos apenas que, SE as premissas forem
verdadeiras, então a conclusão também será verdadeira. 
Proposições são verdadeiras ou falsas. Argumentos são válidos ou inválidos. A
validade de um argumento depende da conexão das premissas com a
conclusão, não do valor lógico das premissas que formam o argumento. 
Então, como determinar a validade de um argumento? 
Admita que as premissas sejam verdadeiras, mesmo que não sejam. Há a
possibilidade de, considerando-se as premissas verdadeiras, a conclusão ser
falsa? Se isso pode acontecer (premissas verdadeiras e conclusão falsa) então
o argumento é inválido, um sofisma, uma falácia. Se não, então o argumento é
válido. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
19
www.pontodosconcursos.com.br 
Utilizaremos agora as ferramentas que temos a disposição (proposições,
conectivos e argumentação) para resolver algumas questões de concursos. 
14. (Aneel/2004/Esaf) Surfo ou estudo. Fumo ou não surfo. Velejo ou não
estudo. Ora, não velejo. Assim: 
a) estudo e fumo. 
b) não fumo e surfo. 
c) não velejo e não fumo. 
d) estudo e não fumo. 
e) fumo e surfo. 
O que esta questão está nos pedindo? Que escolhamos uma conclusão
adequada para que o argumento seja válido. Devemos então, de acordo com a
teoria exposta, assumir que as premissas são verdadeiras. Temos o seguinte
esquema: 
A proposição “Não velejo” é verdadeira. Como a proposição “Velejo” é a sua
negação, temos que seu valor lógico é falso. 
A proposição acima é uma disjunção e, para que seja verdadeira, ao menos
uma das proposições que a compõedeve ser verdadeira. Como a proposição
“Velejo” é falsa, concluímos que “Não estudo” é verdadeira. “Estudo”, que é a
negação de “Não estudo”, é, portanto, falsa. 
Analogamente, a proposição “Surfo” é verdadeira e a sua negação “Não surfo”
é falsa. 
Da mesma maneira, temos que a proposição “Fumo” é verdadeira. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
20
www.pontodosconcursos.com.br 
Conclusão: Surfo, não estudo, fumo, não velejo. 
Letra E 
Observação: Daqui em diante, por motivos tipográficos, também para evitar
uma “poluição visual”, não colocaremos mais as chaves nas proposições
compostas que assumiremos como verdadeiras. Estará implícito, levando em
consideração a teoria exposta. Simplesmente aplicaremos as regras dos
conectivos para que as compostas sejam verdadeiras. Por exemplo: 
Em resumo, as seguintes regras tornam as proposições compostas
verdadeiras. 
Conjunção qp ∧ As duas proposições p, q devem ser verdadeiras 
Disjunção qp ∨ Ao menos uma das proposições p, q deve ser verdadeira.
Não pode ocorrer o caso de as duas serem falsas. 
Condicional
qp→ 
Não pode acontecer o caso de o antecedente ser
verdadeiro e o consequente ser falso. Ou seja, não pode
acontecer V(p)=V e V(q)=F. Em uma linguagem informal,
dizemos que não pode acontecer VF, nesta ordem. 
Bicondicional
p q↔ 
Os valores lógicos das duas proposições devem ser iguais. 
Ou as duas são verdadeiras, ou as duas são falsas. 
15. (CGU/2003-2004/Esaf) Ana é prima de Bia, ou Carlos é filho de Pedro. Se
Jorge é irmão de Maria, então Breno não é neto de Beto. Se Carlos é filho de
Pedro, então Breno é neto de Beto. Ora, Jorge é irmão de Maria. Logo: 
a) Carlos é filho de Pedro ou Breno é neto de Beto. 
b) Breno é neto de Beto e Ana é prima de Bia. 
c) Ana não é prima de Bia e Carlos é filho de Pedro. 
d) Jorge é irmão de Maria e Breno é neto de Beto. 
e) Ana é prima de Bia e Carlos não é filho de Pedro. 
Resolução 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
21
www.pontodosconcursos.com.br 
Relembrando o que falamos a respeito de argumentação. Em um argumento
válido, é impossível ao assumirmos que as premissas sejam verdadeiras que a
conclusão seja falsa. Dessa forma, admitiremos que TODAS as proposições,
simples e compostas, são verdadeiras. Para tal, deveremos aplicar as regras
de cada um dos conectivos. Assim, supomos que a proposição “Jorge é irmão
de Maria” é verdadeira. Ora, uma proposição condicional não pode ter o
antecedente verdadeiro e o consequente falso. De fato, na proposição
condicional “Se Jorge é irmão de Maria, então Breno não é neto de Beto”, o
antecedente é verdadeiro. Para não ocorrer VF, o consequente não pode ser
falso, deve ser verdadeiro. Assim, “Breno não é neto de Beto” é verdade. A sua
negação é falsa. Novamente, na condicional “Se Carlos é filho de Pedro, então
Breno é neto de Beto”, o consequente é falso. Para não ocorrer VF, o
antecedente não pode ser verdadeiro, deve ser falso. Consequentemente
“Carlos é filho de Pedro” é falso. Para que uma disjunção seja verdadeira, ao
menos uma das proposições que a compõe deve ser verdade. Na composta
“Ana é prima de Bia ou Carlos é filho de Pedro”, tem-se que “Carlos é filho de
Pedro” é falsa. Dessa forma, “Ana é prima de Bia” deve ser verdade. Temos
então que Ana é prima de Bia e Carlos não é filho de Pedro. 
Letra E 
As questões que seguem apresentam uma peculiaridade em relação às
questões anteriormente resolvidas. Até agora, as questões apresentavam uma
proposição simples, que servia de passo inicial para a nossa estratégia de
argumentação. As próximas questões não apresentam proposições simples. A
solução geral é a seguinte: escolha uma proposição qualquer e dê o seu
palpite: escolha V ou F. Se o seu palpite der certo, ótimo! Caso contrário,
troque-o. Se você escolheu V, troque por F e vice-versa. 
16. (CGU/2003-2004/Esaf) Homero não é honesto, ou Júlio é justo. Homero é
honesto, ou Júlio é justo, ou Beto é bondoso. Beto é bondoso, ou Júlio não é
justo. Beto não é bondoso, ou Homero é honesto. Logo, 
a) Beto é bondoso, Homero é honesto, Júlio não é justo. 
b) Beto não é bondoso, Homero é honesto, Júlio não é justo. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
22
www.pontodosconcursos.com.br 
c) Beto é bondoso, Homero é honesto, Júlio é justo. 
d) Beto não é bondoso, Homero não é honesto, Júlio não é justo. 
e) Beto não é bondoso, Homero é honesto, Júlio é justo. 
Resolução 
Esta questão não apresenta a proposição simples que usualmente aparece em
questões de argumentação. Adotaremos então a estratégia descrita acima.
Escolheremos uma proposição qualquer e arbitrariamente daremos um valor
lógico a ela. Por exemplo, escolheremos a primeira “Homero não é honesto” e
diremos que ela é verdadeira. Não há razão específica para termos feito essa
escolha. Como estamos assumindo que “Homero não é honesto” é uma
proposição verdadeira, a sua negação “Homero é honesto” é falsa. Para que a
disjunção “Beto não é bondoso,ou Homero é honesto” seja verdadeira, a
proposição “Beto não é bondoso” deve ser verdadeira e, consequentemente, a
sua negação “Beto é bondoso” é falsa. Analogamente, “Júlio não é justo” é
verdade, e sua negação “Júlio é justo” é falsa. Dessa forma, “Homero é
honesto, ou Júlio é justo, ou Beto é bondoso” é uma proposição composta
falsa, pois é uma disjunção em que todas as proposições que a compõem são
falsas. Ora, mas, para testarmos a validade de um argumento, temos que ter
TODAS as premissas verdadeiras. Temos então que trocar a nossa escolha
inicial. Admitiremos então que a proposição “Homero não é honesto” seja falsa.
Construiremos então o seguinte esquema: 
Letra C 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
23
www.pontodosconcursos.com.br 
17. (Técnico/MPU/Administrativa/2004/Esaf) Ricardo, Rogério e Renato são
irmãos. Um deles é médico, outro é professor e o outro é músico. Sabe-se que: 
1) ou Ricardo é médico, ou Renato é médico;, 2) ou Ricardo é professor, ou
Rogério é músico; 3) ou Renato é músico, ou Rogério é músico; 4) ou Rogério
é professor, ou Renato é professor. Portanto, as profissões de Ricardo, Rogério
e Renato são respectivamente: 
a) professor, médico, músico. 
b) médico, professor, músico. 
c) professor, músico, médico. 
d) músico, médico, professor. 
e) médico, músico, professor. 
Resolução 
Utilizando a mesma estratégia da questão anterior, escolhemos uma
proposição qualquer e arbitrariamente damos um valor lógico a ela.
Escolhemos (ao acaso) a proposição “Ricardo é médico” e diremos que ela é
verdadeira. Como cada um deles possui uma única profissão, a proposição
“Ricardo é professor” é falsa. Assim, para que a disjunção seja verdadeira,
“Rogério é músico” tem que ser uma proposição verdadeira (uma disjunção é
verdadeira quando pelo menos uma das proposições que a compõe é
verdadeira). Sendo “Rogério é músico” uma verdade, “Rogério é professor” é
falsa. Portanto, “Renato é professor” é verdade. Não tivemos proposições
compostas falsas, nenhuma contradição. O nosso palpite foi correto, por acaso. 
Letra E 
18. (Ipea 2004/FCC) Quando não vejo Lúcia, não passeio ou fico deprimido.
Quando chove, não passeio e fico deprimido. Quando não faz calor e passeio,
não vejo Lúcia. Quando não chove e estou deprimido, não passeio. Hoje,
passeio. Portanto, hoje: 
a) vejo , e não estou deprimido e não chove, e faz calor. 
b) não vejo , e estou deprimido, e chove, e faz calor. 
c) não vejo , e estou deprimido, e não chove, e não faz calor. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
24
www.pontodosconcursos.com.br 
d) vejo , e não estou deprimido, e chove, e faz calor. 
e) vejo , e estou deprimido, e não chove, e faz calor. 
Resolução 
“Passeio” é verdade; “não passeio” é falso. Preenchemos as chaves do
esquemaacima onde aparecem essas proposições. Olhemos para a quarta
premissa: o consequente é falso, e, assim, o antecedente também o é.
Observe que o consequente da segunda premissa é uma conjunção e uma das
proposições que compõe essa conjunção (não passeio) é falsa. Ora, sabemos
que uma conjunção só é verdadeira quando ambas as proposições simples
componentes são verdadeiras. Como esse fato não ocorre, a conjunção “não
passeio e fico deprimido” é falsa. Consequentemente o antecedente “chove” é
falso e a sua negação “não chove” é verdade. Coloquemos nossa atenção
agora na quarta premissa. O consequente “não passeio” é falso e assim temos
que o antecedente (que é a conjunção “Não chove e estou deprimido”) também
é falso.Temos então uma conjunção falsa em que uma das proposições que a
constitui (“não chove”) é verdadeira. Para que a conjunção seja falsa, a outra
componente “estou deprimido” deve ser falsa. Vamos para a primeira premissa.
O consequente da condicional “Quando não vejo Lúcia, não passeio ou fico
deprimido” é uma disjunção que é falsa, pois ambas as proposições
componentes (“não passeio”, “fico deprimido”) são falsas. Dessa forma, o
antecedente “não vejo Lúcia” deve ser falsa (para que a proposição condicional
seja verdadeira não deve ocorrer VF). Finalmente indo para a terceira
premissa, o consequente “não vejo Lúcia” é falso, logo o antecedente “Não faz
calor e passeio” também é falso. Temos então uma conjunção falsa e uma das
proposições que a constitui (“passeio”) é verdadeira. A outra, “não faz calor”
deve então ser falsa e, consequentemente, a sua negação “faz calor” é
verdadeira. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
25
www.pontodosconcursos.com.br 
Letra A 
19. (AFRE-MG/2005/Esaf) O reino está sendo atormentado por um terrível
dragão. O mago diz ao rei: “O dragão desaparecerá amanhã se e somente se
Aladim beijou a princesa ontem”. O rei, tentando compreender melhor as
palavras do mago, faz as seguintes perguntas ao lógico da corte: 
1) Se a afirmação do mago é falsa e se o dragão desaparecer amanhã, posso
concluir corretamente que Aladim beijou a princesa ontem? 
2) Se a afirmação do mago é verdadeira e se o dragão desaparecer amanhã,
posso concluir corretamente que Aladim beijou a princesa ontem? 
3) Se a afirmação do mago é falsa e se Aladim não beijou a princesa ontem,
posso concluir corretamente que o dragão desaparecerá amanhã? 
O lógico da corte, então, diz acertadamente que as respostas logicamente
corretas para as três perguntas são respectivamente: 
a) não, sim, não. 
b) não, não, sim. 
c) sim, sim, sim. 
d) não, sim, sim. 
e) sim, não, sim. 
Resolução 
O dragão desaparecerá amanhã↔Aladim beijou a princesa ontem. 
Na primeira pergunta, o rei supõe que a afirmação do mago é falsa. Uma
proposição bicondicional só é falsa quando os valores lógicos das proposições
componentes são diferentes. Como ele também supõe que o dragão
desaparecerá amanhã, conclui-se que Aladim não beijou a princesa ontem.
Portanto, a resposta para a primeira pergunta é não. 
Na segunda pergunta, o rei supõe que a afirmação do mago é verdadeira. Ora,
uma proposição bicondicional só é verdadeira quando os valores lógicos das
duas proposições são iguais. Ou as duas são verdadeiras, ou as duas são
falsas. O rei supõe também que o dragão desaparecerá amanhã. Portanto,
Aladim beijou a princesa ontem e a reposta para a segunda pergunta é sim. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
26
www.pontodosconcursos.com.br 
Na terceira pergunta, a suposição do rei é que a afirmação do mago é falsa (os
valores lógicos das proposições componentes da bicondicional devem ser
diferentes) e que Aladim não beijou a princesa ontem. Portanto, o dragão
desaparecerá amanhã e a resposta para a terceira pergunta é sim. 
Letra D 
Condição suficiente e condição necessária
Diz-se que p é condição suficiente de (ou para) q sempre que p q→ . Em
outras palavras, uma condição suficiente aparece como antecedente de uma
proposição condicional. Usando a mesma expressão, q se diz condição
necessária de (ou para) p. Em outras palavras, uma condição necessária
aparece como consequente de uma condicional. Por exemplo, a proposição
“Se João é pernambucano, então João é brasileiro” pode ser lida das seguintes
maneiras: 
João ser pernambucano é condição suficiente para João ser brasileiro. 
João ser brasileiro é condição necessária para João ser pernambucano. 
Diz-se que p é condição necessária e suficiente de (ou para) q, ou que q é
condição necessária e suficiente de (ou para) p sempre que p q↔ . Por
exemplo, a proposição “Uma pessoa é recifense se, e somente se, nasceu no
Recife” pode ser lida das seguintes maneiras: 
Ser recifense é condição necessária e suficiente para ter nascido no Recife.
Ter nascido no Recife é condição necessária e suficiente para ser recifense.
Em resumo: 
 
p q → p é condição suficiente para q 
q é condição necessária para p 
p q↔ p é condição necessária e suficiente
para q 
q é condição necessária e suficiente
para p 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
27
www.pontodosconcursos.com.br 
20. (MEC/2008/FGV) Com relação à naturalidade dos cidadãos brasileiros,
assinale a alternativa logicamente correta: 
a) Ser brasileiro é condição necessária e suficiente para ser paulista. 
b) Ser brasileiro é condição suficiente, mas não necessária para ser
paranaense. 
c) Ser carioca é condição necessária e suficiente para ser brasileiro. 
d) Ser baiano é condição suficiente, mas não necessária para ser brasileiro. 
e) Ser maranhense é condição necessária, mas não suficiente para ser
brasileiro. 
Resolução 
a) Brasileiro ↔ paulista. Falso, pois pode ocorrer o caso de uma pessoa ser
brasileira e não ser paulista. Contradição, pois os valores lógicos das
proposições componentes de uma bicondicional devem ser iguais. Uma
proposição bicondicional equipara-se a dois condicionais: Se uma pessoa é
brasileira, então ela é paulista e, se uma pessoa é paulista, então ela é
brasileira. 
b) Brasileiro →paranaense. Falso, pois pode ocorrer o caso de uma pessoa
ser brasileira e não ser paranaense. Como vimos, não pode ocorrer VF em
uma condicional. 
c) Carioca ↔ brasileiro. Falso, pela mesma razão da alternativa A. 
d) Baiano → brasileiro. Verdadeiro, pois é impossível que uma pessoa seja
baiana e não seja brasileira. Neste caso é impossível ocorrer VF. É impossível
que o antecedente seja verdadeiro e o consequente falso. 
e) Brasileiro →maranhense. Falso, pela mesma razão da alternativa B. 
Letra D 
21. (Bacen/2006/FCC) Sejam as proposições: 
p: atuação compradora de dólares por parte do Banco Central. 
q: fazer frente ao fluxo positivo. 
Se p implica q, então: 
a) Fazer frente ao fluxo positivo é condição necessária e suficiente para a
atuação compradora de dólares por parte do Banco Central. 
b) A atuação compradora de dólares por parte do Banco Central não é 
condição suficiente e nem necessária para fazer frente ao fluxo positivo. 
c) A atuação compradora de dólares por parte do Banco Central é condição
necessária para fazer frente ao fluxo positivo. 
d) Fazer frente ao fluxo positivo é condição suficiente para a atuação
compradora de dólares por parte do Banco Central. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
28
www.pontodosconcursos.com.br 
e) A atuação compradora de dólares por parte do Banco Central é condição
suficiente para fazer frente ao fluxo positivo. 
Resolução 
Dizer que p implica q, significa dizer que Se p, então q. Ou seja, temos uma
proposição do tipo ݌ ՜ ݍ. 
Sabemos que: 
p é condição suficiente para q. 
q é condição necessária para p. 
Portanto: 
A atuação compradora de dólares por parte do Banco Central é condição 
suficiente para fazer frente ao fluxo positivo. 
Fazer frenteao fluxo positivo é condição necessária para A atuação
compradora de dólares por parte do Banco Central. 
Letra E 
Equivalências lógicas
Duas proposições são logicamente equivalentes se e somente se p q↔ é uma
tautologia. E o que é tautologia? É uma proposição que é sempre verdadeira,
independentemente dos valores lógicos das proposições componentes. 
Numa linguagem coloquial, podemos dizer que duas proposições são
equivalentes quando dizem “a mesma coisa, de formas diferentes”. 
Quando p é equivalente a q escrevemos p q⇔ . 
Voltemos ao conceito de equivalência. Dissemos que Duas proposições são
logicamente equivalentes se e somente se p q↔ é uma tautologia. E tautologia
é a proposição que é sempre verdadeira. E quando é que uma proposição 
bicondicional (se e somente se) é sempre verdadeira? Quando os valores de p
e q são sempre iguais: ou ambas são verdadeiras, ou ambas são falsas. 
Vamos mostrar, por exemplo, que a proposição p q↔ equivalente a 
( ) ( )p q q p→ ∧ → . Ou seja, que [ ]( ) ( ) ( )p q p q q p↔ ⇔ → ∧ → . Construímos a
tabela-verdade e verificamos se os valores lógicos das duas proposições são
sempre iguais. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
29
www.pontodosconcursos.com.br 
p q p q → q p → ( ) ( )p q q p→ ∧ → p q↔
V V V V V V 
V F F V F F 
F V V F F F 
F F V V V V 
Assim, acabamos de mostrar que uma proposição bicondicional equivale à
conjunção de dois condicionais. 
Há algumas equivalências notáveis que são muito cobradas em concursos.
Vamos enunciar as equivalências, demonstrá-las e aplicá-las. 
Teorema: As proposições p q → , ~ ~q p → e ~ p q∨ são logicamente 
equivalentes. 
Demonstração: 
p q ~ q ~ p p q → ~ ~q p → ~ p q ∨
V V F F V V V 
V F V F F F F 
F V F V V V V 
F F V V V V V 
Como os valores lógicos das três proposições são iguais, elas são ditas
logicamente equivalentes. 
Em uma linguagem informal, poderíamos construir o seguinte algoritmo para
construir essas proposições equivalentes notáveis, dada a proposição
condicional p q→ .
~ ~q p → Negue o antecedente e o
consequente, troque a ordem e
mantenha o conectivo “se...,então” 
~ p q ∨ Negue apenas o antecedente e troque 
o conectivo por “ou”. 
Por exemplo, dada a proposição “Se bebo, então não dirijo”, temos que as
seguintes proposições são equivalentes a ela: 
i) Se dirijo, então não bebo. 
ii) Não bebo ou não dirijo. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
30
www.pontodosconcursos.com.br 
22. (Agente Penitenciário SJDH-BA 2010/FCC) Uma afirmação equivalente à
afirmação “Se bebo, então não dirijo” é 
(A) Se não bebo, então não dirijo. 
(B) Se não dirijo, então não bebo. 
(C) Se não dirijo, então bebo. 
(D) Se não bebo, então dirijo. 
(E) Se dirijo, então não bebo. 
Resolução 
Como foi dito anteriormente, há duas proposições equivalentes (notáveis): 
i) Se dirijo, então não bebo. 
ii) Não bebo ou não dirijo. 
Letra E 
23. (Polícia Civil 2007/Ipad) A sentença “Penso, logo existo” é logicamente
equivalente a: 
a) Penso e existo. 
b) Nem penso, nem existo. 
c) Não penso ou existo. 
d) Penso ou não existo. 
e) Existo, logo penso 
Resolução 
Dada a proposição “penso Æ existo”, temos, trivialmente, duas proposições
equivalentes a ela: 
i) Se não existo, então não penso. (Nega o antecedente e o consequente, troca
a ordem e mantém o conectivo.) 
ii) Não penso ou existo. (Nega o antecedente e troca o conectivo por “ou”). 
Letra C 
24. (MPOG/2006/Esaf) Dizer que “André é artista ou Bernardo não é
engenheiro” é logicamente equivalente a dizer que: 
a) André é artista se e somente se Bernardo não é engenheiro. 
b) Se André é artista, então Bernardo não é engenheiro. 
c) Se André não é artista, então Bernardo é engenheiro. 
d) Se Bernardo é engenheiro, então André é artista. 
e) André não é artista e Bernardo é engenheiro. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
31
www.pontodosconcursos.com.br 
Resolução 
Dada uma proposição p q→ podemos construir uma proposição logicamente 
equivalente negando o antecedente e trocando o conectivo por “ou” obtendo a
proposição ~ p q∨ . Podemos seguir o caminho contrário; dada uma
proposição com o conectivo “ou”, construímos uma equivalente negando a 
primeira proposição e trocando o conectivo por “se..., então”. Assim, a
proposição “André é artista ou Bernardo não é engenheiro” é equivalente a “Se
André não é artista, então Bernardo não é engenheiro”, que, por sua vez, é
equivalente a “Se Bernardo é engenheiro, então André é artista”. 
Letra D 
25. (Aneel/2006/Esaf) Se Elaine não ensaia, Elisa não estuda. Logo: 
a) Elaine ensaiar é condição necessária para Elisa não estudar. 
b) Elaine ensaiar é condição suficiente para Elisa estudar. 
c) Elaine não ensaiar é condição necessária para Elisa não estudar. 
d) Elaine não ensaiar é condição suficiente para Elisa estudar. 
e) Elaine ensaiar é condição necessária para Elisa estudar. 
Resolução 
Temos que: 
i) Elaine não ensaiar é condição suficiente para Elisa não estudar. 
ii) Elisa não estudar é condição necessária para Elaine não ensaiar. 
Como não há alternativas com essas proposições, procederemos da seguinte
maneira. Construiremos uma proposição equivalente à proposição dada e em
seguida escreveremos na linguagem de condição suficiente e condição
necessária. 
A proposição “Se Elaine não ensaia, Elisa não estuda” é equivalente a “Se
Elisa estuda, então Elaine ensaia”. Temos que: 
i) Elisa estudar é condição suficiente para Elaine ensaiar. 
ii) Elaine ensaiar é condição necessária para Elisa estudar. 
Letra E 
26. (TCE/MG/2007/FCC) São dadas as seguintes proposições: 
(1) Se Jaime trabalha no Tribunal de Contas, então ele é eficiente. 
(2) Se Jaime não trabalha no Tribunal de Contas, então ele não é eficiente. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
32
www.pontodosconcursos.com.br 
(3) Não é verdade que, Jaime trabalha no Tribunal de Contas e não é eficiente. 
(4) Jaime é eficiente ou não trabalha no Tribunal de Contas. 
É correto afirmar que são logicamente equivalentes apenas as proposições de
números 
a) 2 e 4 
b) 2 e 3 
c) 2, 3 e 4 
d) 1, 2 e 3 
e) 1, 3 e 4 
Resolução 
Chamando de p : “Jaime trabalha no Tribunal de Contas” e de q : “Jaime é
eficiente”, as proposições (1), (2), (3) e (4) podem, simbolicamente, ser 
reescritas das seguintes maneiras: 
(1) p q→ (2) ~ ~p q → (3) ~ ( ~ )p q∧ (4) ~q p ∨ 
Vamos então construir a tabela-verdade e verificar quais são equivalentes. 
p q ~ p ~ q ~p q ∧ (1): p q → (2):~ ~p q → (3):~ ( ~ )p q∧ (4): ~q p ∨ 
V V F F F V V V V 
V F F V V F V F F 
F V V F F V F V V 
F F V V F V V V V 
Observe que as proposições (1), (3) e (4) possuem as mesmas valorações e,
portanto, são equivalentes. 
Letra E 
27. (Administrador DNOCS 2010/FCC) Considere a seguinte proposição: 
“Se uma pessoa não faz cursos de aperfeiçoamento na sua área de trabalho,
então ela não melhora o seu desempenho profissional.” 
Uma proposição logicamente equivalente à proposição dada é: 
(A) É falso que, uma pessoa não melhora o seu desempenho profissional ou
faz cursos de aperfeiçoamento na sua área de trabalho. 
(B) Não é verdade que, uma pessoa não faz cursos de aperfeiçoamento
profissional e não melhora o seu desempenho profissional. 
(C) Se uma pessoa não melhora seu desempenho profissional, então ela não
faz cursos de aperfeiçoamento na sua área de trabalho. 
(D) Uma pessoa melhora o seu desempenho profissional ou não faz cursos de
aperfeiçoamento na sua área de trabalho. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
33
www.pontodosconcursos.com.br 
(E) Uma pessoa não melhora seu desempenho profissional ou faz cursos de
aperfeiçoamento na sua área de trabalho. 
ResoluçãoTemos, trivialmente, duas proposições equivalentes a ela: 
i) Se a pessoa melhora o seu desempenho profissional, então ela faz cursos de
aperfeiçoamento na sua área de trabalho. (Nega o antecedente e o
consequente, troca a ordem e mantém o conectivo.) 
ii) Uma pessoa faz cursos de aperfeiçoamentos na sua área de trabalho ou ela
não melhora o seu desempenho profissional. (Nega o antecedente e troca o
conectivo por “ou”). 
O que a FCC fez foi trocar a ordem das proposições no caso ii. Isto é
perfeitamente permitido, já que a o conectivo “ou” permite a troca da ordem das
frases sem alterar o seu sentido. 
Letra E 
Negação das Proposições Usuais
Dada uma proposição p qualquer, uma outra proposição, chamada negação de
p, pode ser formada escrevendo-se “É falso que ...” antes de p ou, se possível,
inserindo a palavra “não”. Simbolicamente, a negação de p é designada por 
p~ ou p¬ . Para que p~ seja uma proposição, devemos ser capazes de
classificá-la em verdadeira (V) ou falsa (F). Para isso vamos postular (decretar) 
o seguinte critério de classificação: A proposição p~ tem sempre o valor 
lógico oposto de p , isto é, p~ é verdadeira quando p é falsa e p~ é 
falsa quando p é verdadeira. 
Exemplo: 
 p : Paris está na França. 
 p~ : É falso que Paris está na França. 
 p p~
 V F 
 F V 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
34
www.pontodosconcursos.com.br 
 p~ : Paris não está na França. 
 p ~ : Não é verdade que Paris está na França. 
Para evitar dúvidas, enunciaremos as “fórmulas” de negação das proposições
compostas e, em seguida, aplicaremos nas diversas questões de concurso. 
Negação das proposições usuais
Afirmação Negação 
p ~ p
p q∧ ~ ~p q ∨ 
p q ∨ ~ ~p q∧
p q → ~p q∧
p q↔ ( ~ ) ( ~ )p q q p∧ ∨ ∧ 
݌ ՞ ~ݍ
~݌ ՞ ݍ
p v q 
Como você pode observar, existem várias maneiras de negar uma proposição
composta pelo “se e somente se”. Sinceramente, não acho que você deva
perder tempo com essa negação. 
Poderíamos montar esta tabela em uma linguagem informal para um melhor
entendimento do leitor iniciante. 
Afirmação Negação 
p q ∧ Negue as duas proposições e troque o conectivo
“e” pelo conectivo “ou” 
p q ∨ Negue as duas proposições e troque o conectivo
“ou” pelo conectivo “e” 
p q → Afirme o antecedente, troque o conectivo
condicional pelo conectivo “e” e negue o 
consequente. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
35
www.pontodosconcursos.com.br 
As fórmulas de negação do conectivo “e” e do conectivo “ou” são comumente
denominadas “Leis de De Morgan”. 
Vejamos alguns exemplos. 
Exemplo 1: Conjunção qpqp ~~)(~ ∨⇔∧
Afirmação: Vou ao cinema e vou ao teatro.
Negação: Não vou ao cinema ou não vou ao teatro. 
Exemplo 2: Disjunção qpqp ~~)(~ ∧⇔∨
Afirmação: Eu te ensino Lógica ou meu nome não é Guilherme.
Negação: Não te ensino Lógica e meu nome é Guilherme. 
Exemplo 3: Condicional ~ ( ) ~p q p q→ ⇔ ∧ 
Afirmação: Se for beber, então não dirija. 
Negação: Bebo e dirijo. 
Sentenças abertas, quantificadores
Observe as seguintes expressões: 
a)2 6 0x + = 
b) 3 0x − > 
Elas contêm variáveis e seus valores lógicos (verdadeira ou falsa) dependem
do valor atribuído à variável. 
a) 2 6 0x + = é verdadeira se trocarmos x por 3− e é falsa para qualquer outro 
valor atribuído a x
b) 3 0x − > é verdadeira, por exemplo, para 8x = e falsa, por exemplo, para 
1x = . 
Expressões que contêm variáveis são chamadas de sentenças abertas ou
funções proposicionais. Como já comentamos no início da aula, tais
expressões não são proposições, pois seus valores lógicos dependem dos
valores atribuídos às variáveis. Entretanto, temos duas maneiras de 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
36
www.pontodosconcursos.com.br 
transformar funções proposicionais em proposições: atribuir valor às variáveis
ou utilizar quantificadores. 
Quantificadores são palavras ou expressões que indicam que houve
quantificação. São exemplos de quantificadores as expressões: existe, algum,
todo, cada, pelo menos um, nenhum. Note que os dicionários, de modo geral,
não registram “quantificador”. Esse termo, no entanto, é de uso comum na
Lógica. 
Uma proposição é dita categórica quando é caracterizada por um quantificador
seguido por uma classe ou de atributos,um elo e outra classe de atributos.
Vejamos exemplos de proposições quantificadas. 
Observe que a proposição universal negativa “Nenhum recifense é
pernambucano” equivale a dizer que “Todo recifense não é pernambucano”.
Dessa forma, a expressão “nenhum” pode ser substituída pela expressão 
“todo... não ...”. 
O quantificador universal é indicado pelo símbolo ∀ , que se lê: “todo”, 
“qualquer que seja”, “para todo”. 
O quantificador existencial é indicado pelo símbolo ∃ , que se lê: “algum”,
“existe”, “existe pelo menos um”, ”pelo menos um”, “existe um”. 
Note que uma função proposicional (ou sentença aberta) quantificada é uma
proposição. Então, como proposições, podem ser negadas. 
Negação de proposições quantificadas 
Em resumo, temos o seguinte quadro para negação de proposições
quantificadas. 
Proposição universal afirmativa Todo recifense é pernambucano. 
Proposição universal negativa Nenhum recifense é
pernambucano. 
Proposição particular afirmativa Algum recifense é pernambucano. 
Proposição particular negativa Algum recifense não é
pernambucano. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
37
www.pontodosconcursos.com.br 
Afirmação Negação 
Particular afirmativa (“algum...”) Universal negativa (“nenhum...” ou 
“todo... não ...”) 
Universal negativa (“nenhum...” ou 
“todo... não...”) 
Particular afirmativa (“algum...”) 
Universal afirmativa (“todo...”) Particular negativa (“algum... não”) 
Particular negativa (“algum... não”) Universal afirmativa (“todo...”) 
Vejamos alguns exemplos: 
 p : Algum político é honesto. 
 p : Existe político honesto. 
~ p : Nenhum político é honesto. 
~ p : Todo político não é honesto. 
 q : Nenhum brasileiro é europeu. 
 q : Todo brasileiro não é europeu.
~ q : Algum brasileiro é europeu. 
~ q : Existe brasileiro que é europeu. 
 r : Todo concurseiro é persistente. 
~ r : Algum concurseiro não é persistente. 
~ r : Existe concurseiro que não é persistente. 
 t : Algum recifense não é pernambucano. 
 t : Existe recifense que não é pernambucano. 
~ t : Todo recifense é pernambucano. 
Observação: Como saberemos se uma questão qualquer se refere à negação? 
De três maneiras: 
i) A questão explicitamente pede a negação de uma proposição dada. 
ii) A questão fornece uma proposição verdadeira e pede uma falsa. 
iii) A questão fornece uma proposição falsa e pede uma verdadeira. 
28. (AFC/2002/Esaf) Dizer que não é verdade que Pedro é pobre e Alberto é
alto é logicamente equivalente a dizer que é verdade que: 
a) Pedro não é pobre ou Alberto não é alto. 
b) Pedro não é pobre e Alberto não é alto. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
38
www.pontodosconcursos.com.br 
c) Pedro é pobre ou Alberto não é alto. 
d) se Pedro não é pobre, então Alberto é alto. 
e) se Pedro não é pobre, então Alberto não é alto. 
Resolução 
Comentamos que quando uma questão nos fornece uma proposição falsa e
nos pede uma verdadeira, deveremos assinalar a negação da proposição
dada. Assim, quando a questão fala que “não é verdade que Pedro é pobre e
Alberto é alto”, temos que a proposição “Pedro é pobre e Alberto é alto” é falsa.
Para assinalarmos uma proposição verdadeira, deveremos negar a proposição
dada. Lembremos: para negar uma proposição composta pelo conectivo “e”,
negamos as duas proposições constituintes e trocamos o conectivo “e” pelo
conectivo “ou” (Lei deDe Morgan). Dessa forma, a negação de “Pedro é pobre
e Alberto é alto” é “Pedro não é pobre ou Alberto não é alto”. 
Letra A 
Afirmação Pedro é pobre e Alberto é alto 
Negação Pedro não é pobre ou Alberto não é alto 
29. (Fiscal Trabalho/1998/Esaf) A negação da afirmação condicional "se estiver
chovendo, eu levo o guarda-chuva" é: 
a) se não estiver chovendo, eu levo o guarda-chuva. 
b) não está chovendo e eu levo o guarda-chuva. 
c) não está chovendo e eu não levo o guarda-chuva. 
d) se estiver chovendo, eu não levo o guarda-chuva. 
e) está chovendo e eu não levo o guarda-chuva. 
Resolução 
Para negar uma proposição condicional: afirme o antecedente, troque o
conectivo condicional pelo conectivo “e” e negue o consequente. Assim, a
negação de “se estiver chovendo, eu levo o guarda-chuva" é “está chovendo e
eu não levo o guarda-chuva. 
Letra E 
Afirmação Se estiver chovendo então eu levo o guarda-chuva 
Negação Está chovendo e eu não levo o guarda-chuva 
30. (TRT/9ª Região/2004/FCC) A correta negação da proposição "todos os
cargos deste concurso são de analista judiciário. é: 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
39
www.pontodosconcursos.com.br 
a) alguns cargos deste concurso são de analista judiciário. 
b) existem cargos deste concurso que não são de analista judiciário. 
c) existem cargos deste concurso que são de analista judiciário. 
d) nenhum dos cargos deste concurso não é de analista judiciário. 
e) os cargos deste concurso são ou de analista, ou no judiciário. 
Resolução 
A negação de uma proposição universal afirmativa (“todo...”) é a particular
negativa (“algum... não”). Lembrando que o quantificador existencial “algum”
equivale à expressão “existe”. Dessa forma, a correta negação da proposição
dada é “existem cargos deste concurso que não são de analista judiciário”.
Para negar uma proposição com a expressão “todo...”, troca-se o quantificador
por “algum/existe” e modifica-se o verbo, nega-se o verbo. 
Letra B 
Afirmação Todos Os cargos deste concurso são de analista judiciário. 
Negação Existem Cargos deste concurso que não são de analista judiciário. 
31. (TJ/PE/2007/FCC) Considere a afirmação abaixo. Existem funcionários
públicos que não são eficientes. Se essa afirmação é FALSA, então é verdade
que: 
a) nenhum funcionário público é eficiente. 
b) nenhuma pessoa eficiente é funcionário público. 
c) todo funcionário público é eficiente. 
d) nem todos os funcionários públicos são eficientes. 
e) todas as pessoas eficientes são funcionários públicos. 
Resolução 
Como vimos, quando o enunciado nos fornece uma proposição falsa e nos
pede uma proposição verdadeira, devemos obter a sua negação. Assim, a
negação de uma proposição particular negativa (”algum... não”) é a proposição
universal afirmativa (todo...). Temos então que a negação de “Existem
funcionários públicos que não são eficientes” é “todo funcionário público é
eficiente”. Em outras palavras, para negar uma proposição com a expressão
“existe/algum”, trocamos o quantificador por “todo” e modificamos o verbo,
negamos o verbo. Como a negação de “não ser eficiente” é “ser eficiente”,
temos o resultado acima. 
Letra C 
Afirmação Existem funcionários públicos que não são eficientes. 
Negação Todo funcionário público é eficiente. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
40
www.pontodosconcursos.com.br 
32. (Bacen) Assinale a frase que contradiz a seguinte sentença: “Nenhum
pescador é mentiroso”. 
a) Algum pescador é mentiroso. 
b) Nenhum pescador é mentiroso. 
c) Todo pescador não é mentiroso. 
d) Algum mentiroso não é pescador. 
e) Algum pescador não é mentiroso. 
Resolução 
A negação de uma proposição universal negativa é a proposição particular
afirmativa. Em outras palavras, para negar uma proposição com a expressão
“nenhum”, troque o quantificador por “algum” e mantenha o verbo. Assim, a
negação de “nenhum pescador é mentiroso” é “algum pescador é mentiroso”.
Observe que a proposição “nenhum pescador é mentiroso” equivale a “todo
pescador não é mentiroso”; vimos na questão 3 que, para negar uma
proposição com a expressão “todo”, trocamos o quantificador por
“algum/existe” e modificamos o verbo. 
Letra A 
Afirmação Nenhum Pescador é mentiroso. 
Negação Algum Pescador é mentiroso. 
Afirmação Todo Pescador não é mentiroso. 
Negação Algum Pescador é mentiroso. 
33. (Agente de Estação – Metro – SP 2010/FCC) Considere as proposições
simples: 
p: Maly é usuária do Metrô e q: Maly gosta de dirigir automóvel 
A negação da proposição composta p ∧ ~ q é: 
(A) Maly não é usuária do Metrô ou gosta de dirigir automóvel. 
(B) Maly não é usuária do Metrô e não gosta de dirigir automóvel. 
(C) Não é verdade que Maly não é usuária do Metrô e não gosta de dirigir
automóvel. 
(D) Não é verdade que, se Maly não é usuária do Metrô, então ela gosta de
dirigir automóvel. 
(E) Se Maly não é usuária do Metrô, então ela não gosta de dirigir automóvel. 
Resolução 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
41
www.pontodosconcursos.com.br 
Lembre-se que o símbolo ר representa o conectivo “e”. Para negar uma
proposição composta pelo “e”, negue as duas proposições e troque o conectivo
“e” pelo conectivo “ou”. 
Desta forma, a negação de p ר ~ q é ~ p ש q.
~p : Maly não é usuária do Metrô. 
q: Maly gosta de dirigir automóvel.
~ p ש q: Maly não é usuária do Metrô ou Maly gosta de dirigir automóvel.
Letra A 
34. (METRO-SP 2009/FCC)São dadas as seguintes proposições simples:
p : Beatriz é morena; 
q : Beatriz é inteligente; 
r : Pessoas inteligentes estudam. 
Se a implicação ሺ݌ ר ~ݎሻ ՜ ~ݍ é FALSA, então é verdade que 
(A) Beatriz é uma morena inteligente e pessoas inteligentes estudam. 
(B) Pessoas inteligentes não estudam e Beatriz é uma morena não inteligente. 
(C) Beatriz é uma morena inteligente e pessoas inteligentes não estudam. 
(D) Pessoas inteligentes não estudam mas Beatriz é inteligente e não morena. 
(E) Beatriz não é morena e nem inteligente, mas estuda. 
Resolução 
O enunciado fornece uma proposição falsa e pede uma verdadeira. Devemos
negar a proposição dada. E como negamos uma proposição composta pelo
“se..., então...”? 
Afirme o antecedente, troque o conectivo condicional pelo conectivo “e”
e negue o consequente. 
Na proposição ሺ݌ ר ~ݎሻ ՜ ~ݍ o antecedente é ሺ݌ ר ~ݎሻ e o consequente é ~ݍ. 
Afirmamos o antecedente ሺ݌ ר ~ݎሻ. Colocamos o conectivo “e”. 
ሺ݌ ר ~ݎሻ ר
Negamos o consequente ~ݍ. Ora, a negação de ~ݍ é a proposição ݍ. 
ሺ݌ ר ~ݎሻ ר ݍ
݌ : Beatriz é morena; 
~ݎ: Pessoas inteligentes não estudam.
q: Beatriz é inteligente; 
ሺ݌ ר ~ݎሻ ר ݍ: Beatriz é morena e pessoas inteligentes não estudam e Beatriz é
inteligente. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
42
www.pontodosconcursos.com.br 
(C) Beatriz é uma morena inteligente e pessoas inteligentes não estudam. 
Diagramas de Euler­Venn
O estudo das proposições categóricas pode ser feito utilizando os diagramas
de Euler-Venn. É habitual representar um conjunto por uma linha fechada e
não entrelaçada. 
 A 
Relembremos o significado, na linguagem de conjuntos, de cada uma das
proposições categóricas. 
Todo A é B ↔ Todo elemento de A também é elemento de B.
Nenhum A é B ↔ A e B são conjuntos disjuntos, ou seja, não possuem
elementos comuns. 
Algum A é B ↔ Os conjuntos A e B possuem pelo menos 1 elemento em
comum. 
Algum A não é B ↔ O conjunto A tem pelo menos 1 elemento que não é
elemento de B. 
Vejamos como representar cada uma das proposições categóricas utilizando
os diagramas de Euler-Venn. 
Todo A é B 
A proposição categórica “Todo A é B” é equivalente a:
A é subconjunto de B. 
A é parte de B. 
A está contido em B.
B contém A. 
 
MATEMÁTICA E RACIOCÍNIOLÓGICO PARA TRF DA 1ª REGIÃO 
43
www.pontodosconcursos.com.br 
B é universo de A. 
B é superconjunto de A. 
Se sabemos que a proposição “Todo A é B” é verdadeira, qual será o valor
lógico das demais proposições categóricas? 
“Algum A é B” é necessariamente verdadeira.
“Nenhum A é B” é necessariamente falsa.
“Algum A não é B” é necessariamente falsa. 
Algum A é B 
A proposição categórica “Algum A é B” equivale a “Algum B é A”. 
Se “algum A é B” é uma proposição verdadeira, qual será o valor lógico das
demais proposições categóricas? 
“Nenhum A é B” é necessariamente falsa. 
“Todo A é B” e “Algum A não é B” são indeterminadas. 
Observe que quando afirmamos que “Algum A é B” estamos dizendo que existe
pelo menos um elemento de A que também é elemento de B. 
Nenhum A é B 
A proposição categórica “Nenhum A é B” equivale a:
Nenhum B é A. 
Todo A não é B. 
Todo B não é A. 
A e B são conjuntos disjuntos. 
Se “nenhum A é B” é uma proposição verdadeira, qual será o valor lógico das
demais proposições categóricas? 
“Todo A é B” é necessariamente falsa. 
“Algum A não é B” é necessariamente verdadeira.
“Algum A é B” é necessariamente falsa. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
44
www.pontodosconcursos.com.br 
Algum A não é B 
Observe que “Algum A não é B” não equivale a “Algum B não é A”. Por
exemplo, dizer que “Algum brasileiro não é pernambucano” não equivale a
dizer que “Algum pernambucano não é brasileiro”. 
Se “algum A não é B” é uma proposição verdadeira, qual será o valor lógico
das demais proposições categóricas? 
“Nenhum A é B” é indeterminada, pois poderia haver elementos na
interseção dos conjuntos A e B. 
“Algum A é B” é indeterminada, pois pode haver ou não elementos na
interseção dos conjuntos A e B. 
“Todo A é B” é necessariamente falsa. 
35. (TRF 2004/FCC) Considerando “todo livro é instrutivo” como uma
proposição verdadeira, é correto inferir que: 
a) “Nenhum livro é instrutivo” é uma proposição necessariamente verdadeira. 
b) “Algum livro é instrutivo” é uma proposição necessariamente verdadeira. 
c) “Algum livro não é instrutivo” é uma proposição verdadeira ou falsa. 
d) “Algum livro é instrutivo” é uma proposição verdadeira ou falsa. 
e) “Algum livro não é instrutivo” é uma proposição necessariamente verdadeira. 
Resolução 
Diante do diagrama e da teoria exposta, concluímos facilmente que a resposta
correta é a letra B. Se todo livro é instrutivo, podemos afirmar que algum livro é
instrutivo. 
36. (IPEA 2004/FCC) Considerando “toda prova de Lógica é difícil” uma
proposição verdadeira, é correto inferir que: 
a) “nenhuma prova de Lógica é difícil” é uma proposição necessariamente
verdadeira. 
b) “alguma prova de Lógica é difícil” é uma proposição necessariamente
verdadeira. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
45
www.pontodosconcursos.com.br 
c) “alguma prova de Lógica é difícil” é uma proposição verdadeira ou falsa. 
d) “alguma prova de Lógica não é difícil” é uma proposição necessariamente
verdadeira. 
e) “alguma prova de Lógica não é difícil” é uma proposição verdadeira ou falsa. 
Resolução 
Questão idêntica à anterior. 
Ora, se todas as provas de lógica são difíceis, podemos garantir que alguma
prova de lógica é difícil. 
Letra B 
37. (TRT/2006/FCC) As afirmações seguintes são resultados de uma pesquisa
feita entre os funcionários de certa empresa. “Todo indivíduo que fuma tem
bronquite”. “Todo indivíduo que tem bronquite costuma faltar ao trabalho”.
Relativamente a esses resultados, é correto concluir que: 
a) existem funcionários fumantes que não faltam ao trabalho. 
b) todo funcionário que tem bronquite é fumante. 
c) todo funcionário fumante costuma faltar ao trabalho. 
d) é possível que exista algum funcionário que tenha bronquite e não falte
habitualmente ao trabalho. 
e) é possível que exista algum funcionário que seja fumante e não tenha
bronquite. 
Resolução 
Pelo diagrama exposto, percebemos que todo funcionário fumante costuma
faltar ao trabalho. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
46
www.pontodosconcursos.com.br 
Letra C 
38. (TRT-PR 2004/FCC) Sabe-se que existem pessoas desonestas e que
existem corruptos. Admitindo-se verdadeira a frase "Todos os corruptos são
desonestos", é correto concluir que: 
a) quem não é corrupto é honesto. 
b) existem corruptos honestos. 
c) alguns honestos podem ser corruptos. 
d) existem mais corruptos do que desonestos. 
e) existem desonestos que são corruptos. 
Resolução 
Vamos analisar cada uma das alternativas de per si. 
a) Esta alternativa é falsa, pois podem existir pessoas que não são corruptas e
que são desonestas. 
b) Esta alternativa é falsa, pois todo corrupto é desonesto. 
c) Esta alternativa é falsa, pois todo corrupto é desonesto. 
d) Esta alternativa é falsa, pois podem existir pessoas que não são corruptas e
que são desonestas. 
e) Esta alternativa é verdadeira, pois todos os corruptos são desonestos e,
portanto, existem desonestos corruptos. 
Letra E 
39. (TCE-PB 2006/FCC) Sobre as consultas feitas a três livros X, Y e Z, um
bibliotecário constatou que: 
Æ Todas as pessoas que haviam consultado Y também consultaram X. 
Æ Algumas pessoas que consultaram Z também consultaram X. 
De acordo com suas constatações, é correto afirmar que, com certeza: 
a) pelo menos uma pessoa que consultou Z também consultou Y. 
b) se alguma pessoa consultou Z e Y, então ela também consultou X. 
c) toda pessoa que consultou X também consultou Y. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
47
www.pontodosconcursos.com.br 
d) existem pessoas que consultaram Y e Z. 
e) existem pessoas que consultaram Y e não consultaram X. 
Resolução 
A proposição “Todas as pessoas que haviam consultado Y também
consultaram X” é representada assim: 
Algumas pessoas que consultaram Z também consultaram X. Isto significa
que há elementos comuns aos conjuntos X e Z. Porém, não sabemos qual a
relação que existe entre o conjunto Z e o conjunto Y. Por essa razão,
deixaremos uma parte do conjunto Z pontilhada para demonstrar esta
incerteza. 
Observe que não sabemos se o conjunto Z e o conjunto Y possuem elementos
comuns. Vamos analisar as alternativas. 
a) pelo menos uma pessoa que consultou Z também consultou Y. 
Não temos certeza se os conjuntos Z e Y possuem elementos comuns. Esta
alternativa é falsa. 
b) se alguma pessoa consultou Z e Y, então ela também consultou X. 
Esta alternativa é verdadeira. Se alguma pessoa consultou Z e Y, então
esta pessoa consultou Y. Se esta pessoa consultou Y, então ela também
consultou X. Concluímos que se alguma pessoa consultou Z e Y, então
ela também consultou X. 
c) toda pessoa que consultou X também consultou Y. 
 
MATEMÁTICA E RACIOCÍNIO LÓGICO PARA TRF DA 1ª REGIÃO 
48
www.pontodosconcursos.com.br 
Esta alternativa é falsa. Podemos apenas afirmar que toda pessoa que
consultou Y também consultou X. 
d) existem pessoas que consultaram Y e Z. 
Não temos certeza se os conjuntos Z e Y possuem elementos comuns. Esta
alternativa é falsa. 
e) existem pessoas que consultaram Y e não consultaram X. 
Esta alternativa é falsa, pois todas as pessoas que haviam consultado Y
também consultaram X. 
Resposta: Letra B 
40. (SEFAZ-SP 2009/FCC) Considere o diagrama a seguir, em que U é o
conjunto de todos os professores universitários que só lecionam em faculdades
da cidade X, A é o conjunto de todos os professores que lecionam na
faculdade A, B é o conjunto de todos os professores que lecionam na
faculdade B e M é o conjunto de todos os médicos que trabalham na cidade X. 
Em todas as regiões do diagrama, é correto representar pelo menos um
habitante da cidade X. A respeito do diagrama, foram feitas quatro afirmações: 
I. Todos