Raciocinio Logico

Raciocnio Lgico
Formal
Prof.. Milton Araujo
INSTITUTO INTEGRAL | www.institutointegralead.com.br
Sumrio
1
INTRODUO ................................................................................................................................
................................
................................ 6
1.1
O QUE LGICA? ................................................................................................
................................
............................................................ 6
1.2
RECOMENDAES
ES NECESSRIAS ................................................................................................
.......................................... 6
1.2.1 Como estudar Lgica? ................................................................................................
............................................ 6
1.3
TIPOS DE ARGUMENTO ................................................................................................
................................
..................................................... 7
1.3.1 Argumento
mento Dedutivo ................................................................................................
.............................................. 7
1.3.2 Argumento Indutivo ................................................................................................
................................................ 8
1.4
INTERPRETAES ................................................................................................
................................
............................................................. 9
1.5
PARA FINALIZAR ...............................................................................................................................
................................
............................... 9
CONCEITOS BSICOS ................................................................................................

................................
................................................... 11
2.1
VISO GERAL ................................................................................................................................
................................
................................ 11
2.2
PROPOSIO ................................................................................................................................
................................
................................. 12
2.2.1 Conceito ................................................................................................................................
................................
................................ 12
2.2.2 Indo alm do conceito................................................................................................
conceito
........................................... 13
2.2.3 Linguagem corrente e Linguagem simblica ................................................................
........................................ 16
2.2.4 Aspas ................................................................................................................................
................................
.................................... 16
2.2.5 Valor lgico ou valor-verdade
valor
de uma proposio ...............................................................
............................... 17
2.2.6 Trs princpios bsicos da Lgica Formal ................................................................
.............................................. 18
2.2.7 Classificao das Proposies ...............................................................................................
............................... 19
2.2.8 Conectivos Lgicos ................................................................................................
................................................ 20
2.2.9 Proposio Simples ................................................................................................
............................................... 21
2.2.10
Proposio Composta ................................................................................................
....................................... 21
2.3
EXERCCIOS PROPOSTOS (1) ................................................................................................
............................................. 23
2.3.1 Gabarito Exerccios Propostos (1) ................................................................
......................................................... 25
2.4
............................................. 30
2.4.1 Gabarito Exerccios Propostos (2) ................................................................
......................................................... 32
2.5
............................................. 35
OPERAES LGICAS ................................................................................................

................................
.................................................. 39
3.1
TABELA-VERDADE: ................................................................................................
................................
......................................................... 40
3.1.1 Etapas para o preenchimento de uma Tabela-Verdade
Tabela
................................
.......................................................
40
3.2
OPERAES LGICAS SOBRE PROPOSIES ................................................................
......................................................... 43
3.2.1 Negao................................................................................................................................
................................
................................ 43
3.2.2 Conjuno .............................................................................................................................
................................
............................. 45
3.2.3 Disjuno Inclusiva ................................................................................................
............................................... 49
3.2.4 Disjuno Exclusiva ................................................................................................
............................................... 54
3.2.5 Condio ...............................................................................................................................
................................
............................... 59
3.2.6 Bicondio ............................................................................................................................
................................
............................ 70
3.3
QUADRO-RESUMO ................................................................................................
................................
......................................................... 75
3.4
EXERCCIOS PROPOSTOS ................................................................................................
................................
.................................................. 76
TAUTOLOGIA, CONTRADIO
O E CONTINGNCIA ................................................................
......................................... 97
4.1
4.2
TAUTOLOGIA ................................................................................................................................
................................
................................. 97
CONTRADIO...............................................................................................................................
................................
............................... 98
Acompanhe a srie de dicas,

dicas macetes e atalhos no blog: http://profmilton.blogspot.com.br/
4.3
4.4
5
CONTINGNCIA..............................................................................................................................
................................
.............................. 99
................................
................................................ 101
IMPLICAO LGICA E EQUIVALNCIA LGICA ................................................................

......................................... 104
5.1
IMPLICAO LGICA ................................................................................................
................................
..................................................... 104
5.1.1 Smbolo: ..........................................................................................................................
................................
.......................... 104
5.1.2 Significado: ................................................................................................
................................
......................................................... 104
5.2
EQUIVALNCIA LGICA................................................................................................
................................
.................................................. 107
5.2.1 Smbolo: ................................................................................................
................................
......................................................... 107
5.2.2 Significado: ................................................................................................
................................
......................................................... 107
5.2.3 Equivalncias
lncias Notveis ................................................................................................
....................................... 108
5.3
................................
................................................ 112
LGEBRA PROPOSICIONALL ................................................................................................

........................................ 119
6.1
PROPRIEDADE COMUTATIVA ................................................................................................
.......................................... 119
6.1.1 Conjuno ...........................................................................................................................
................................
........................... 119
............................................. 119
6.1.3 Disjuno Exclusiva ................................................................................................
............................................. 120
6.1.4 Bicondio ..........................................................................................................................
................................
.......................... 120
6.1.5 5Observao Importantssima:...........................................................................................
........................... 120
6.2
PROPRIEDADE DISTRIBUTIVA ................................................................................................
.......................................... 121
6.2.1 Conjuno x Disjuno Inclusiva ................................................................
......................................................... 121
6.2.2 Disjuno Inclusiva x Conjuno ................................................................
......................................................... 121
6.3
LEIS DE DE MORGAN ................................................................................................
................................
.................................................... 122
6.4
NEGAO
O DE OUTRAS PROPOSIES
PROPOSI
COMPOSTAS ................................................................
............................................... 124
6.4.1 Negao de proposio condicional ................................................................
................................................... 124
6.4.2 Negao de proposio bicondicional ................................................................
................................................ 127
6.4.3 Negao da Disjuno Exclusiva: ................................................................
........................................................ 129
6.5
................................
................................................ 129
LGICA DE ARGUMENTAO ................................................................................................

.................................... 135
7.1
ARGUMENTO LGICO DEDUTIVO ................................................................................................
.................................... 135
7.2
VALIDAO DE ARGUMENTOS ................................................................................................
........................................ 137
7.2.1 Mtodo da Tabela--Verdade para validao de argumentos ..............................................
................................
137
7.2.2 Mtodo da condicional associada para validao de argumentos ....................................
................................ 141
7.2.3 Mtodo das regras de inferncia para validao de argumentos ......................................
................................
145
7.3
SILOGISMO HIPOTTICO ................................................................................................
................................
................................................ 146
7.4
................................
................................................ 148
PROPOSIES CATEGRICAS
CAS (QUANTIFICADORES)
(QUANTIFICADORES ................................................................
................................... 171
8.1
QUANTIFICADORES ................................................................................................
................................
....................................................... 171
8.2
NEGAO DE PROPOSIES CATEGRICAS ................................................................
........................................................ 173
8.3
EQUIVALNCIAS NOTVEIS DE PROPOSIES CATEGRICAS................................................................
.................................. 176
8.4
REPRESENTAO DE PROPOSIES CATEGRICAS POR MEIO DE DIAGRAMAS DE EULER-VENN. .................... 177
8.4.1 Todo P Q. ................................................................................................
................................
...................................................... 177
8.4.2 Nenhum P Q.................................................................................................
................................
................................................. 177
8.4.3 Algum P Q. ................................................................................................
................................
.................................................... 177
8.4.4 Algum P no Q. ................................................................................................
............................................. 177

8.5
................................
................................................ 177
8.6
ARGUMENTO CATEGRICO ................................................................................................
............................................ 186
8.6.1 Validao de Argumentos Categricos ................................................................
............................................... 187
8.7
................................
................................................ 191
9
PROPOSIES ABERTAS DE PRIMEIRA ORDEM ................................................................

.......................................... 205
9.1
CONCEITO ................................................................................................................................
................................
.................................. 205
9.2
CONJUNTO-VERDADE ................................................................................................
................................
................................................... 206
9.3
IMPLICAO LGICA ................................................................................................
................................
..................................................... 207
9.4
EQUIVALNCIA LGICA................................................................................................
................................
.................................................. 207
9.5
OPERAES LGICAS ................................................................................................
................................
.................................................... 208
9.5.1 Negao..............................................................................................................................
................................
.............................. 208
9.5.2 Conjuno ...........................................................................................................................
................................
........................... 211
............................................. 211
10
LGICA INFORMAL (APRESENTAO)

ESENTAO) ................................................................
....................................................... 213
11
INSTITUTO INTEGRAL EDITORA

DITORA - CATLOGO ................................................................
............................................. 218

Ateno! Nosso material didtico passa por constantes revises e

atualizaes, seja para corrigir erros, seja para melhorar as explicaes em
alguns tpicos. Isto feito com base nas centenas de dvidas e sugestes que
recebemos mensalmente.
Mantenha seu material didtico sempre atualizado!
Consulte periodicamente nossa pasta pblica, na qual todo o nosso material
didtico mantido: http://www.facebook.com/groups/souintegral/.
http://www.facebook.com/groups/souintegral/
Cadastre-se
se tambm aqui http://integral.klicksite.com.br/anpad-poa-rs/
http://integral.klicksite.com.br/anpad
ou aqui http://mga960.klicksite.com.br/pre-anpad-poa-rs/
http://mga960.klicksite.com.br/pre
e receba, via ee
mail, informaes e atualizaes em primeira mo.
Este material parte integrante dos nossos cursos a distncia. Por contrato
assinado com a RB (empresa que tem os direitos de veiculao dos nossos
cursos online), no poderemos mant-lo
mant lo com distribuio pblica e gratuita
por muito tempo. Por isto, aconselhvel
aconselhvel que voc se inscreva tambm no
Cadastro por e-mail,
mail, pois enviaremos as correes e atualizaes, sem custos,
apenas para os integrantes da lista,
lista, quando o material for retirado da
d
circulao pblica e gratuita.
Por gentileza, repasse esse material
material para o maior nmero possvel de
amigos. Obrigado!
Participe do nosso projeto: http://profmilton.blogspot.com.br/2013/12/payhttp://profmilton.blogspot.com.br/2013/12/pay
it-forward-corrente-do--bem.html

1 Introduo
"No se pode ensinar coisa alguma a um homem; apenas
ajud-lo a encontr-la
la dentro de si mesmo."
[Galileu]
1.1 O que Lgica?

Certamente, o leitor j deve ter se deparado com uma dzia de definies, e isto
pode ter trazido mais confuso do que
qu esclarecimento.
A Lgica surgiu como um ramo da Filosofia, mas atualmente suas aplicaes
permeiam os limites de todas as reas do pensamento, inclusive os mais simples
afazeres cotidianos.
Podemos dizer, no de modo conclusivo, que o homem um ser essencialmente
es
lgico.
Este livro no tem a pretenso de lhe trazer respostas prontas a respeito das
questes relacionadas Lgica. E, por a, j estaremos mostrando o que a lgica
pode ser: uma forma de bem pensar e buscar, por si s, concluses
fundamentadas
adas em evidncias. Certamente que no estamos dizendo que cada um
poder praticar cincia isoladamente, sem qualquer base conceitual.
Deixaremos para examinar, mais adiante,, os conceitos e definies da Lgica
Formal, antecipando apenas que seu objeto principal de estudo o argumento.
Enfim, para no nos alongarmos demasiadamente neste ponto, deixaremos para o
leitor a tarefa de chegar s suas prprias concluses, desde que
que consistentemente
fundamentadas.
1.2 Recomendaes necessrias
1.2.1 Como estudar Lgica?
Pacincia e disciplina so requisitos fundamentais! Muitos alegam que no

conseguem aprender lgica, mas um simples diagnstico mostra que a maioria

dos que iniciam seus estudos nesse assunto, o fazem buscando respostas prontas,
prontas
pois pensam que iro aprender raciocnio lgico por meio de questes resolvidas.
Pense apenas no seguinte: se uma questo de raciocnio lgico j est respondida,
no haver aprendizado...
rendizado... Na verdade, nem sequer se tem uma questo.
Nosso crebro extremamente poderoso, mas tambm bastante preguioso...
Se lanarmos um desafio ao crebro, ele jamais ir parar de trabalhar sobre o
problema, at que consiga solucion-lo.
solucion
Porm,
m, se a soluo apresentada ao
crebro, ele imediatamente para de trabalhar na questo, passando a fazer uma
simples leitura do raciocnio alheio. como correr uma maratona na garupa de
algum: a brisa suave e agradvel no rosto seria como uma iluso de
aprendizado.
A recomendao fundamental, ento, : deixe as questes propostas em segundo
plano e se preocupe em assimilar bem os conceitos. Vale dizer: tenha pacincia!
Geralmente, as questes de lgica formal requerem o domnio de mais de um
conceito para que se possa respond-las.
respond las. Estude todos os conceitos primeiro,
baseando-se
se apenas nos exemplos solucionados para a assimilao dos conceitos.
Deixe os exerccios para a segunda leitura: releia um captulo de cada vez e tente
responder a bateria de questes
que
propostas.
Tenha disciplina! Estude todos os dias,
dias, nem que sejam apenas 30 minutos, e no
abandone um captulo enquanto no tiver pelo menos 70% de aproveitamento nas
questes propostas.
Leia o post: http://profmilton.blogspot.com.br/2013/03/como-estudar
http://profmilton.blogspot.com.br/2013/03/como estudar-e-aprenderraciocinio.html
1.3 Tipos de Argumento
A lgica diferencia duas classes fundamentais de argumentos: os dedutivos e os
indutivos.
1.3.1 Argumento Dedutivo
Ded
Os argumentos dedutivos so aqueles nos quais as premissas fornecem um

fundamento definitivo da concluso. Em outras palavras, numa deduo
impossvel que as premissas sejam verdadeiras e a concluso falsa. Num

raciocnio dedutivo a informao da concluso j est contida nas premissas, de
modo que se toda a informao das premissas verdadeira, a informao da
concluso tambm dever ser verdadeira.
Resumidamente: nos argumentos dedutivos o raciocnio parte de premissas gerais
para uma concluso particular.
Exemplo:
Todos os mamferos so mortais.
Os ces so mamferos.
Logo, os ces so mortais.
1.3.2 Argumento Indutivo
Nos argumentos indutivos as premissas proporcionam somente alguma

fundamentao da concluso, que contm alguma informao que no
n est
contida nas premissas, ficando em aberto a possibilidade de que essa informao
a mais cause a falsidade da concluso apesar das premissas verdadeiras.
Resumidamente: Raciocinar indutivamente partir de premissas particulares, na
busca de uma concluso
luso geral.
Exemplo:
Um aluno chega sua escola e, ao passar pela sala 1 percebe que ela foi pintada
de azul. Observa que a sala 2 tambm foi pintada de azul. Ao passar pelas salas 3
e 4 percebe que ambas foram pintadas de azul, o mesmo ocorrendo com sua
s sala,
que a 5. Dessa forma, esse aluno conclui que todas as salas de aula da escola
foram pintadas de azul. Entretanto, esse aluno no pode ter certeza de que isto
est correto, visto que uma generalizao (inferncia) baseada em alguns casos
particulares
ulares (experincia).
Leitura
recomendada:
raciocinio-logico-4.html
http://profmilton.blogspot.com/2013/12/pilulas
http://profmilton.blogspot.com/2013/12/pilulas-de-

1.4 Interpretaes
Os conceitos da lgica formal so apresentados de modo muito simples, e talvez
seja justamente essa simplicidade que gere confuses e interpretaes diversas de
um mesmo conceito.
Para ilustrar, tomaremos a frase: Eu no disse que ele pegou o dinheiro.
Se perguntarmos se o leitor entendeu a frase acima, a resposta certamente ser
sim!
Vamos imaginar que essa frase um dos conceitos que estamos tentando
interpretar. Faamos ento um exerccio, tirando da frase interpretaes diversas:
Interpretao 1: Eu no disse que ele pegou
pego o dinheiro.
Significado: pode ter sido outra pessoa quem disse isso.
Interpretao 2: Eu no disse que ele pegou o dinheiro.
Significado: posso ter dito que outra pessoa pegou o dinheiro.
Interpretao 3: Eu no disse que ele pegou o dinheiro.
Significado:
nificado: posso ter dito que ele pegou outro objeto.
Interpretao 4: Eu no disse que ele pegou o dinheiro...
Significado: eu j havia dito isto antes, mas no me deram ouvidos...
Como se v, isto no pode acontecer quando se trata de um conceito. preciso
p
haver consenso na interpretao, sob pena de se criar muita confuso.
1.5 Para finalizar
Este livro no foi escrito com a pretenso de fechar a questo em torno do
assunto, visto que nem mesmo os mais renomados logicistas alcanaram tal
proeza. Entretanto, o consenso algo constantemente buscado nos cursos que
ministro, e justamente isto que apresentarei neste livro.
Foram os meus alunos que me incentivaram a transformar minhas notas de aulas
neste livro. Vrias das recomendaes
recomendaes para estudo e at mesmo formas mais
10
simples de se entender certos conceitos, que esto neste livro, so dos meus
alunos, no meus. Posso dizer que este livro tem tantos coautores, que cit-los
cit
nominalmente tomaria todas as suas pginas... Fica aqui o meu agradecimento a
todos eles. Tiro-lhes
lhes o chapu!
Espero que o leitor possa ter com este livro o mesmo proveito e alcance os
mesmos resultados que os alunos dos nossos cursos presenciais, visto que vrios
deles j conseguiram gabaritar provas de Raciocnio Lgico, tanto no Teste
ANPAD quanto em Concursos Pblicos.
Em onze anos, o Instituto Integral j preparou mais de 100 turmas (quase 1.000
alunos) para o Teste ANPAD (maioria) e para Concursos Pblicos em geral.
Nosso ndice de aprovao j ultrapassou
ult
os 75%.
Estude com garra e determinao! Depois, envie-nos
envie nos sua histria de sucesso, para
que o seu nome seja inserido em nossa Galeria dos Campees.
O Autor.

11
2 Conceitos Bsicos
A Experincia uma professora difcil, pois ela d o teste
primeiro e a lio depois.
[Vernon Sanders Law]
2.1 Viso Geral

Lgica Informal (No clssica)
VERDADE (julgamento)
Interpretao Textual
O que foi dito
Lgica Formal (Clssica)
VALIDADE (forma)
Estrutura Lgica
Como foi dito
Exemplo: Na sentena: Se h fumaa,

h fogo.
fumaa a causa e fogo o efeito.
( ) correto.
() incorreto.
o que foi dito est incorreto, pois
fumaa no causa fogo.
Exemplo: Na sentena: Se h fumaa,

h fogo.
fumaa a causa e fogo o efeito.
() correto.
( ) incorreto.
como foi dito est correto, pois
fumaa a proposio antecedente, e
fogo a proposio consequente.
se, no quadro acima, que a Lgica Formal preocupa-se

preocupa se com a estrutura
Observa-se,
lgica (como foi dito), e no com seu contedo (o que foi dito),, a menos que a
questo solicite que seja feito um julgamento de valor.
[Nota: Lgica Informal ser tratada em outro livro.]
Veja um exemplo:
Premissa 1: Se trs um nmero primo, ento dois no um nmero par.
Premissa 2: Mas dois um nmero par.
Concluso: Trs no um nmero primo.

12
No argumento acima, tanto a premissa 1 quanto sua concluso so falsas

(julgamento), e a premissa 2 verdadeira (julgamento). Entretanto, o argumento
acima vlido
lido (estrutura).
[Nota: Argumentos sero vistos em captulo prprio, assim como a forma correta e segura de
valid-los.
los. Neste ponto, suficiente deixar apenas o alerta ao leitor: a lgica formal se baseia na
estrutura lgica (como foi dito) e no na interpretao do texto (o que foi dito)].
2.2 Proposio
2.2.1 Conceito
O conceito de proposio est fundamentado em trs pilares:

2.2.1.1
Definio
Chama-se de proposio uma frase ou sentena declarativa.

Exemplo:
"Joo mdico."
2.2.1.2
Formas de apresentao
Uma proposio se apresenta de duas formas:

2.2.1.2.1 Afirmativa
Exemplo:
"Joo mdico."
2.2.1.2.2 Negativa
Exemplo:
"Joo no mdico."

13
2.2.1.3
Valorao
A valorao de uma proposio depende da classe dessa proposio. Veremos

em detalhes, mais adiante, esse importante ponto do conceito.
Esquemtica e resumidamente,
mente, temos:
Pilar 1: Definio.
Pilar 2: Formas de apresentao (afirmativa ou negativa).
Pilar 3: Valorao: depende da classe da proposio.
propo
Leia no blog o post http://profmilton.blogspot.com.br/2013/04/pilulas-dehttp://profmilton.blogspot.com.br/2013/04/pilulas
raciocinio-logico-2.html
2.2.2 Indo alm do conceito
2.2.2.1
Frase
todo enunciado lingustico, constitudo de uma ou mais palavras, que expressa

um enunciado de sentido completo.
A frase no vem necessariamente acompanhada por um sujeito, verbo ou
predicado. Por exemplo: Ateno. uma frase, pois transmite uma ideia,
id
ou
tem sentido, mas no h verbo, sujeito ou predicado. Ademais, a frase Ateno.
no declarativa,, e, portanto, no uma proposio.
2.2.2.1.1 Orao
todo enunciado lingustico que contm um verbo.

14
Exemplo:
"Joo mdico."
2.2.2.1.2 Perodo
uma frase que possui uma ou mais oraes.

O perodo pode ser:
a) Simples: Quando constitudo de uma s orao.
Exemplo:: Mariana foi ao cinema ontem.
b) Composto: Quando constitudo de duas ou mais oraes.
Exemplo:: O aluno foi bem na prova, pois estudou muito.
2.2.2.2
Tipos de frases
a) declarativas. Exemplo: Joo teve cuidado.

b) exclamativas. Exemplo: Que dia lindo!
c) imperativas. Exemplo: Vire esquerda.
d) interrogativas. Exemplo: Ser que vai chover?
e) rogativas. Exemplo: Por favor, me liga.
H ainda outros tipos de frases, mas no propsito deste estudo discutir essa
questo.
Lgica formal s interessa o primeiro tipo, ou seja, as frases declarativas.
declarativas
Seguindo-se
se o conceito acima, pode-se
pode
definir proposio como uma orao
declarativa.. Observe o leitor que, para fazer uma declarao necessita-se
necessita
fazer
uso de um verbo.

15
Redefinindo o conceito: Proposio uma orao declarativa, que pode ser

expressa de forma afirmativa ou negativa. A valorao da proposio depende
da classe
sse a que ela pertence.
Exemplos de proposies:
a)Joo
Joo funcionrio pblico.
pblico. (forma afirmativa)
Joo no funcionrio pblico. (forma negativa)
Paulo foi Ministro da Educao.
Educao. (forma afirmativa)
b) Paulo
Paulo no foi Ministro da Educao. (forma negativa)
c) sin k) = 0, com k {0, 1, 2, 3}. (forma afirmativa)
sin k) 0, com k {0, 1, 2, 3}.
3}. (forma negativa)
d) x + 5 = 12. (forma afirmativa)
x + 5 12. (forma negativa)
Observe que a proposio d acima est representada em sua forma simblica
(simbolismo matemtico). Podemos estabelecer a leitura dessa proposio em
linguagem corrente:
d) Xis mais cinco igual a doze. (forma afirmativa)
Xis mais cinco no igual a doze. ou Xis mais cinco diferente de doze.
(forma negativa)
e) Este carro azul. (forma afirmativa)
Este carro no azul. (forma negativa)
f) Todos
Todos foram aprovados no exame.
exame. (forma afirmativa)
Nem todos foram aprovados no exame. (forma negativa)
[Nota: As formas de se estabelecer a negao dos diversos tipos de proposies sero vistas em
captulo prprio. Fica o alerta ao leitor,
leitor para que se preocupe em assimilar um conceito de cada
vez!]
g) 2 + 2 = 3. (forma afirmativa)
2 + 2 3. (forma negativa)
16
h) Nenhum
Nenhum aluno compareceu aula hoje. (forma afirmativa)
Algum aluno compareceu aula hoje. (forma negativa)
2.2.3 Linguagem corrente e Linguagem simblica
Uma proposio pode ser representada tanto em linguagem corrente quanto em

linguagem simblica.
2.2.3.1
Linguagem corrente
a representao sob
ob a forma de uma frase, no idioma natural do leitor.
Exemplo: Joo mdico.
2.2.3.2
Linguagem simblica
a representao por meio de letras do alfabeto.

As proposies simples so representadas por letras minsculas (p, q, r, s, t, etc.),
e as proposiess compostas so representadas por letras maisculas (P, Q, R, S,
T, etc.).
Exemplos:
a) p: Joo mdico. (proposio simples)
b) P: Pedro engenheiro e Maria professora. (proposio composta)
[Nota: os conceitos de proposio simples e proposio composta sero vistos em detalhes mais
adiante.]
2.2.4 Aspas
Quando estiver na linguagem corrente, prudente sempre colocar uma

proposio entre aspas. Embora nem todos os autores sigam essa determinao,
aconselha-se
se ao leitor desenvolver esse hbito,
hbito, a fim de evitar algumas confuses
na identificao das proposies simples e compostas.

17
Exemplos:
a) Dadas as proposies: Joo mdico. e Pedro engenheiro.
Note que, neste exemplo, tm-se
tm
duas proposies simples.. O e entre ambas
no um conectivo lgico.
p: Joo mdico.
e
q: Pedro engenheiro.
b) Dada a proposio: Joo mdico e Pedro engenheiro.
Note que, neste exemplo, tem-se
tem
uma proposio composta,, formada por duas
proposies simples. O e entre as proposies simples um conectivo lgico.
P: Joo mdico e Pedro engenheiro.
2.2.5 Valor lgico ou valor-verdade
valor verdade de uma proposio
H duas formas de se valorar uma proposio:

V,, se ela for verdadeira, ou
F, se ela for falsa.
2.2.5.1
Funo de Valorao
v(p) = V. L-se:
se: O valor lgico da proposio p Verdadeiro;
ou
v(p) = F. L-se:
se: O valor lgico da proposio p Falso
[Nota: A forma correta de se indicar o valor lgico de uma proposio atravs de sua funo
de valorao.. Jamais se deve escrever algo do tipo p = V ou p = F,, pois uma proposio no
igual ao seu valor-verdade.]
[Nota: As proposies abertas de primeira ordem no so valoradas dessa forma. Assim, neste
livro, sempre que houver referncia a valor lgico ou valor-verdade
valor verdade de uma proposio
pro
no
estaremos nos referindo s proposies abertas de primeira ordem.]
ordem.

18
2.2.6 Trs princpios bsicos da Lgica Formal

2.2.6.1
Princpio da identidade
Se uma proposio verdadeira, ento ela verdadeira.

2.2.6.2
Princpio da no contradio
contra
Uma proposio no pode ser ao mesmo tempo verdadeira e falsa.

2.2.6.3
Princpio do terceiro excludo
Uma proposio no pode ser nem verdadeira, nem falsa.

[Nota: Excluem-se
se desse conceito as proposies abertas de primeira ordem.]
ordem.

19
2.2.7 Classificao das Proposies
Proposio Lgica
(fechada)
Tambm
conhecida
como proposio fechada,, ou seja, a ela
pode-se atribuir um
nico valor lgico: verdadeiro ou falso.
Exemplos:
a) sin ) = 0, e k
{0, 1, 2, 3}.
b) 2 + 2 = 3.
c) No
No dia 04/03/2010
choveu na cidade de
Porto Alegre-RS.
d) Oito um nmero
primo.
A principal caracterstica da proposio lgica ou fechada o fato
de a informao contida
entre aspas estar completa, clara e exata, o
que possibilita o seu
julgamento.
Proposio Aberta
(presena de incgnita)
1) Primeira ordem: tipo de
proposio para a qual no
se pode atribuir um valorverdade. A proposio se
caracteriza pela presena
de uma incgnita matemtica (x, y, z, ...).
Exemplos:
a) sin ) = 0.
b) x + 5 = 12.
___________________
2) Segunda ordem: tipo de
proposio na qual algum
elemento desconhecido
(geralmente, o sujeito da
frase).
Proposio Categrica
(presena de quantificador)
quantificador
Estabelece--se uma proposio categrica mediante

o uso de quantificadores:
quantificador
1. Todo:: universal afirafir
mativo.
2. Nenhum:
Nenhum universal negativo.
3. Algum:: particular ou
existencial afirmativo.
4. Algum no :
particular
ou existencial negativo.
Exemplos:
a) Todos
Todos foram aprovaaprova
dos no exame.
exame.
b) Nenhum
Nenhum aluno comcom
pareceu aula.
aula.
c) Alguns
Alguns homens so
Exemplos:
bons
motoristas.
motoristas.
a) Carlos funcionrio
d) Existe
Existe tringulo que
pblico.
retngulo.
b) Paulo foi Ministro da no retngulo.
Educao.
Observao: Existe tem o
c) Este carro azul.
d) Ontem choveu em So mesmo significado de
Algum.
Paulo.
[Nota: As proposies abertas de primeira ordem so chamadas de Sentenas Abertas por

vrios autores. Este tipo de proposio foi introduzido na Lgica Formal por matemticos, e,
como no tm valor-verdade
verdade (ou valor lgico), foram deixadas margem do conceito
co
de
proposio. Todavia, h que se ressaltar que o conceito de proposio foi estabelecido pela
Lgica Aristotlica (lgica filosfica), e nele ficou estabelecido que uma proposio tem
associado a ela um valor-verdade
verdade (ou valor lgico): V, se verdadeira; F, se falsa.]
falsa
Lembre-se
se o leitor de que, para ser proposio,, uma frase ou sentena precisa ser
uma orao declarativa,, que possa ser representada tanto na forma afirmativa,
afirmativa
quanto na forma negativa.
negativa. As Sentenas Abertas (ou proposies abertas de
primeira ordem) se enquadram perfeitamente neste conceito. O que precisa ficar
claro aqui que a questo da valorao depender unicamente do tipo de
proposio.
20
Exemplo: x + 5 = 12 est em linguagem simblica (simbolismo matemtico).

Em linguagem corrente, tem-se:
tem
Xis mais cinco igual a doze., que uma
orao declarativa dita de forma afirmativa.
Na forma negativa, a frase acima fica: Xis
mais cinco no igual a doze., ou,

Xis mais cinco diferente de doze.
Como se v x + 5 = 12 se enquadra
enquadra perfeitamente no conceito de proposio,
ficando a questo da valorao ligada ao tipo da proposio.
Neste livro chamaremos as sentenas abertas, de proposies abertas de
primeira ordem,, separando-as
separando as do conceito quando se tratar da sua valorao.
se o leitor de que a Lgica Formal est fundamentada no conceito de
Lembre-se
proposio (orao declarativa).
2.2.8 Conectivos Lgicos
Um conectivo lgico tem a funo de formar uma proposio composta.

So eles:
Conectivo
a) Conjuntivo
b) Disjuntivo Inclusivo
c) Disjuntivo Exclusivo
Smbolo
d) Condicional
e) Bicondicional
Linguagem Corrente
... e ...
... ou ...
Ou... ou...
Se..., ento...
Quando...
Quem...
...que...
...somente se...
... se e somente se...

21
2.2.9 Proposio Simples
Diz-se que uma proposio simples quando nela no h conectivos lgicos.

Exemplos:
a) p: Joo mdico.
b) q: Paulo engenheiro.
c) r: Hoje est chovendo.
d) s: 2 + 2 = 3.
[Nota: Abstenha-se
se de julgar uma proposio, quando isto no for solicitado.
solicitado. Evidentemente, 2
+ 2 = 3 uma proposio falsa.
falsa Mas, se o comando da questo no solicitar o seu valor lgico,
preocupe-se
se apenas com sua estrutura.]
e) Pedro e Paulo estudaram para a prova.

[Nota: No exemplo acima, tem-se
tem uma proposio simples, pois o e entre Pedro e Paulo forma
um sujeito composto, mas no um conectivo lgico.]
2.2.10
Proposio Composta
Uma proposio composta aquela em que h conectivos lgicos.

Sejam as proposies:
p: Pedro
Pedro e Paulo estudaram para a prova.
q: Pedro estudou para a prova .
r: Paulo estudou para a prova.
prova

22
Linguagem corrente
a) Pedro
Pedro e Paulo no estudaram para a prova.
b) No
No verdade que Pedro e Paulo estudaram para a
prova.
c) Pedro
Pedro no estudou para a prova e Paulo no
estudou para a prova.
d) No
No verdade que Pedro estudou para a prova e
Paulo estudou para a prova.
Linguagem simblica
~p
~p
~ q ~r
~( q r)
Observe, no quadro da pgina anterior,

anterior, que todas as frases em linguagem
corrente transmitem exatamente a mesma ideia (o que foi dito o mesmo em
todas elas).. Em outras palavras, todas elas tm o mesmo significado.
Entretanto, na linguagem simblica da Lgica Formal, verifica-se
se que somente
os itens a e b tm a mesma simbologia, que , estruturalmente,
estruturalmente diferente das
demais (como foi dito).
A linguagem simblica mostrada em d tambm pode ser escrita,
escrita por meio de
lgebra proposicional, em sua forma equivalente:
~( q r) ~ q ~r
[Nota: Veremos o que equivalncia lgica e lgebra proposicional mais adiante.]

23
2.3 Exerccios Propostos (1)

Para cada uma das proposies compostas a seguir, identifique as proposies
simples e coloque-as
as na linguagem simblica, conforme mostra o exemplo.
1) Exemplo: Se eu sair de casa, eu vou ao cinema.
cinema
p: Eu saio de casa.
q: Eu vou ao cinema.
2) Clia
Clia no escritora ou Paulo atleta.
atleta.
3) Sara
Sara mope ou Paulo no atleta.
atleta.
Paulo no atleta ou Sara no mope.
mope.
4) Paulo
Se Pedro est na empresa, Mrio e Cntia esto de folga do trabalho.
trabalho.
5) Se
6) Se
Se Bruno no vai escolinha,
esco
Pietra tambm no vai.
7) Ouu Paulo ir para Curitiba, ou Pedro ir para Belm, ou Pierre ir para
Campo Grande.
8) See Polrcio for para Fortaleza, ento Pierre ir para Campo Grande.
Grande
9) Se
Se as vendas diminuem, ento a empresa vai falncia.
falncia.
10) Se
Se o custo de produo sobe, ento os preos sobem.
sobem.
11) Se
Se os preos sobem, ento as vendas diminuem.
diminuem.
12) Alberto no vai ao shopping ou Beatriz vai praia.
13) Beatriz
Beatriz e Carlos iro acampar se, e somente se, existirem condies
climticass favorveis para a prtica de tal atividade.
atividade.
14) No
No verdade que todas as mulheres no so estudiosas.
Residir em apartamentos ruim ou residir em casa bom.
bom.
15) Residir

24
16) See eu frear, o carro para.

para
17)Se Milton professor,
professor ento Paulo motorista.
18) Se a inflao subir dois pontos percentuais, o salrio ser reajustado em um
ponto percentual.
Se eu corro, eu me condiciono fisicamente.
fisicamente.
19) Se
20) Se chover, ento Roger no sair de casa.
casa

25
2.3.1 Gabarito Exerccios Propostos (1)
Para cada uma das proposies compostas a seguir, identifique as proposies

simples e coloque-as
as na linguagem simblica, conforme mostra o exemplo.
cinema
1) Exemplo: Se eu sair de casa, eu vou ao cinema.
p: Eu saio de casa.
q: Eu vou ao cinema.
2) Clia no escritora
critora ou Paulo atleta.
atleta.
Soluo:
p: "Clia escritora."
~p: "Clia no escritora."
q: "Paulo atleta."
Observe que, se colocarmos a proposio p sob a forma:
p: "Sara no escritora."
no estaremos cometendo qualquer erro. Entretanto, esta forma
forma de representar
uma proposio, na qual j contm uma negao, em sua linguagem simblica
gera erros no momento de se estabelecer a negao da proposio (veremos isto
mais adiante).
Assim, proceda do seguinte modo:
a) escolha uma letra para representar
representar a proposio na linguagem simblica;
b) escreva a proposio sempre no modo afirmativo (mesmo que a questo traga
a proposio na forma negativa).
3) Sara
Sara mope ou Paulo no atleta.
atleta.
Soluo:
p: "Sara mope."
q: "Paulo atleta."
~q: "Paulo no atleta."
26
4) Paulo
Paulo no atleta ou Sara no mope.
mope.
Soluo:
p: "Paulo atleta."
~p: "Paulo no atleta."
q: "Sara mope."
~q: "Sara no mope."
5) Se
Se Pedro est na empresa, Mrio e Cntia esto de folga do trabalho.
trabalho.
Soluo:
p: "Pedroo est na empresa."
q: "Mrio e Cntia esto de folga do trabalho."
Observao: "Mrio e Cntia" formam um sujeito composto e no uma
proposio composta!
Se Bruno no vai escolinha, Pietra tambm no vai.
vai.
6) Se
Soluo:
p: "Bruno vai escola."
~p: "Bruno no vai escola."
q: "Pietra vai escola."
~q: "Pietra no vai escola."
7) Ouu Paulo ir para Curitiba, ou Pedro ir para Belm, ou Pierre ir para
Campo Grande.
Soluo:
p: "Paulo ir paga Curitiba."
q: "Pedro ir para Belm."
r: "Pierre ir para Campo Grande."
8) See Polrcio for para Fortaleza, ento Pierre ir para Campo Grande.
Grande

27
Soluo:
p: "Polrcio vai para Fortaleza."
Observao: no se preocupe com o tempo verbal. A Lgica Formal se preocupa
apenas com a estrutura lgica,
lgica e no com sintaxe ou semntica!
q: "Pierre ir para Campo Grande."
9) Se
Se as vendas diminuem, ento a empresa vai falncia.
falncia.
Soluo:
p: "As vendas diminuem."
q: "A empresa vai falncia."
10) Se
Se o custo de produo sobe, ento os preos sobem.
sobem.
Soluo:
p: "O custo de produo sobe."
q: "Os preos sobem."
11) Se
Se os preos sobem, ento as vendas diminuem.
diminuem.
Soluo:
p: "Os preos sobem."
q: "As vendas diminuem."
12) Alberto no vai ao shopping ou Beatriz vai praia.
Soluo:
p: "Alberto vai ao shopping."
shopping
~p: "Alberto no vai ao shopping."
shopping
q: "Beatriz vai praia."

28
13) Beatriz
Beatriz e Carlos iro acampar se, e somente se, existirem condies
climticas favorveis para a prtica de tal atividade.
atividade.
Soluo:
p: "Beatriz e Carlos iroo acampar."
(reveja a observao feita na questo 5)
q: "Existem condies climticas favorveis para a prtica de tal atividade."
(reveja a observao feita na questo 8)
14) No
No verdade que todas as mulheres no so estudiosas.
Soluo:
p: "Todas as mulheres so estudiosas."
~p: "Todas as mulheres no so estudiosas."
Observao: Esta proposio categrica.. Veremos a forma correta de tratar de
suas formas de negao mais adiante.
15) Residir
Residir em apartamentos ruim ou residir em casa bom.
bom.
Soluo:
p: "Residir em apartamentos ruim."
q: "Residir em casa bom."
para
16) See eu frear, o carro para.
Soluo:
p: "Eu freio."
q: "O carro para."
17)Se Milton professor,
professor ento Paulo motorista.
Soluo:
p: "Milton professor."
29
q: "Paulo motorista."
18) Se a inflao subir dois pontos percentuais, o salrio ser reajustado em um
ponto percentual.
Soluo:
p: "A inflao sobe dois pontos percentuais."
q: "O salrio ser reajustado em um ponto percentual."
19) Se
Se eu corro, eu me condiciono
condi
fisicamente.
Soluo:
p: "Eu corro."
q: "Eu me condiciono fisicamente."
20) Se chover, ento Roger no sair de casa.
casa
Soluo:
p: "Chove."
q: "Roger sair de casa."
~q: "Roger no sair de casa."

30

Classifique cada uma das proposies a seguir, conforme codificao indicada:
L: proposio lgica;
A1: proposio aberta de primeira ordem;
A2: proposio aberta de segunda ordem;
UA: proposio categrica universal afirmativa;
UN: proposio categrica universal negativa;
negativ
PA: proposio categrica particular afirmativa;
PN: proposio categrica particular negativa.
Exemplo:
1) Todos
Todos os brasileiros so vegetarianos.
vegetarianos.
Classificao: UA
2) Existem
Existem ndios que so brasileiros.
brasileiros.
Classificao: PA
3) x + 5 = 12
Classificao: A1
4) Carlos funcionrio pblico.
Classificao: A2
5) Alguns alunos no esto presentes na aula hoje.
Classificao: PN
6) Nenhum aluno foi reprovado.
Classificao: UN
7) Dois mais dois igual a trs.
Classificao: L
8) 2 + 2 = 3
Classificao: L
9) 2 um nmero mpar.
31
10) Paulo foi Ministro da Educao.

11) Joo mdico.
12) Chove.
13) Todos
Todos os vegetarianos so magros.
magros.
14) Existem
brasileiros.
15) Existem
xistem ndios que so magros.
magros.
16) Nenhum aluno que cola sai da escola.
Paulo desorganizado.
desorganizado.
17) Paulo
18) Todos
Todos que so desorganizados erram.
erram.
Clia no escritora.
escritora
19) Clia
20) Paulo no atleta.
21) Todo administrador entende de finanas pessoais.
pessoais.
22) 5 um nmero primo.
Nenhuma bola vermelha.
vermelha.
23) Nenhuma
24) Algumas
Algumas frutas so vermelhas.
vermelhas.
25) Os cachorros so mamferos.

32
2.4.1 Gabarito Exerccios Propostos (2)
Classifique cada uma das proposies a seguir, conforme codificao indicada:

L: proposio lgica;
A1: proposio abertaa de primeira ordem;
A2: proposio aberta de segunda ordem;
UA: proposio categrica universal afirmativa;
UN: proposio categrica universal negativa;
PA: proposio categrica particular afirmativa;
PN: proposio categrica particular negativa.
Exemplo:
1) Todos
vegetarianos.
Classificao: UA
2) Existem
brasileiros.
Classificao: PA
3) x + 5 = 12
Classificao: A1
4) Carlos funcionrio pblico.
Classificao: A2
5) Alguns alunos no esto presentes na aula hoje.
Classificao: PN
6) Nenhum aluno foi reprovado.
Classificao: UN
7) Dois mais dois igual a trs.
Classificao: L
8) 2 + 2 = 3
Classificao: L
9) 2 um nmero mpar.
33
Soluo:
L
10) Paulo foi Ministro da Educao.
Soluo:
A2
11) Joo mdico.
Soluo:
A2
12) Chove.
Soluo:
A2
13) Todos
magros.
Soluo:
UA
14) Existem
brasileiros.
Soluo:
PA
15) Existem
xistem ndios que so magros.
magros.
Soluo:
PA
col sai da escola.
16) Nenhum aluno que cola
Soluo:
UN
17) Paulo
Paulo desorganizado.
desorganizado.
Soluo:
A2
18) Todos
Todos que so desorganizados erram.
erram.
Soluo:
UA

34
19) Clia
Clia no escritora.
escritora
Soluo:
A2
20) Paulo no atleta.
Soluo:
A2
21) Todo administrador entende de finanas pessoais.
Soluo:
UA
22) 5 um nmero primo.
Soluo:
L
23) Nenhuma
vermelha.
Soluo:
UN
24) Algumas
vermelhas.
Soluo:
PA
25) Os cachorros so mamferos.
Soluo:
L

35

1) ANPAD 2011 Sejam dadas as seguintes proposies compostas:
I.
Se o objeto reluz, ento de ouro.
II. O objeto barato ou no de ouro.
III. O objeto de ouro se, e somente se, for barato.
Se os valores lgicos (V, se verdadeiro; F, se falso) de I, II e III so,
respectivamente,
ivamente, F, V e F, ento o objeto
a) reluz e barato.
b) barato e de ouro.
c) no reluz e de ouro.
d) no de ouro e no reluz.
e) de ouro e no barato.
Sejam:
p: "O objeto reluz."
q: "O objeto de ouro."
r: "O objeto barato."
Colocando as proposies I, II e III em linguagem simblica:
I.
II.
III.
pq
r ~q
qr
Valores lgicos (dados na questo):

pq
F
r ~q
V
qr
F
I. A proposio condicional falsa quando a proposio antecedente verdadeira

e a proposio consequente falsa. Assim:
v(p) =V
v(q) = F
II. A conjuno verdadeira quando ambas as proposies simples so
verdadeiras:
v(r) = V
v(~q) = V
36
III. A bicondio falsa quando uma das proposies simples verdadeira e a

outra falsa. Como j sabemos que v(q) = F, conclui-se
se que v(r) = V.
A concluso :
"O objeto reluz." (V)
"O objeto de ouro." (F)
"O objeto barato." (V)
Gabarito: Alternativa A
2) ANPAD 2010 Sejam dadas as sentenas a seguir:
I.
2 x 7.
II.
1/4 + 3/4 = 1.
lucr em 2009.
III. A empresa obteve lucro
IV. Todo cachorro mamfero.
Qual(is) delas (so) sentena(s) aberta(s)?
a) Somente I.
b) Somente III.
c) Somente I e III.
d) Somente II e III.
e) Somente III e IV.
3) ANPAD 2009 Considere as seguintes sentenas:
I.
sin(k) = 0, para k {0,1,2,3}
II.
Quem comprou o pastel?
III. Os divisores de 12 so 1, 2, 3, 4 e 12.
Do ponto de vista da lgica, pode-se
pode dizer que
a) II uma proposio interrogativa.
b) III uma proposio verdadeira.
c) I e II no so proposies.
d) I e III so proposies.
es.
e) I, II e III so proposies.
4) ANPAD 2010 Considere as sentenas a seguir:
I.
Faa a prova ou v para casa!
II. Se a taxa de juros sobe, ento o poder de compra diminui.
III. Qual a tua idade?
37
CORRETO afirmar que

a) apenas II no uma proposio.
propo
b) apenas I e III no so proposies.
c) apenas I e III so proposies
d) I, II e III no so proposies.
I.
Paulo foi Ministro da Educao.
II.
0, com k {0, 1, 2, 3}.
III. x + 5 = 12.
Do ponto de vista da lgica, pode-se
pode dizer que
a) I, II e III so proposies.
b) I e III so proposies.
c) II no uma proposio.
e) I, II e III no so proposies.
e) I e III no so proposies e II uma proposio.
I.
Eu fui para So Paulo ontem.
II. Vamos trabalhar!
III. O nmero -22 um nmero natural.
Do ponto de vista da lgica, sabe-se
sabe que
a) II uma proposio interrogativa.
b) III uma proposioo verdadeira.
c) I e II no so proposies.
d) I e III so proposies.
[Nota: H um erro conceitual na questo acima. A proposio I no lgica; aberta de
segunda ordem! Entretanto, o comando da questo diz "do ponto de vista da lgica", o que
significa dizer que, exatamente como ocorreu na questo 3, o enunciado pede que se aponte
somente as proposies lgicas.]
lgicas.

38
Gabarito:
1A
2C
3D
4B
5E
6D
Voc encontrou algum erro aqui? Tem alguma dvida ou sugesto?

Por gentileza, envie-nos
nos um e-mail.
e mail. Nossa proposta responder em, no
mximo, 24 horas!
Obrigado!

39
3 Operaes Lgicas
A Oportunidade
portunidade uma dama altiva, pois no perde tempo com
os despreparados.
de
[Autor desconhecido]
Operao
Smbolo
a) Negao
b) Conjuno
c) Disjuno Inclusiva
d) Disjuno Exclusiva
e) Condio
f) Bicondio ou Dupla condio
Linguagem Corrente
... no ...
No
o verdade que ...
falso que ...
... e ...
... ou ...
Ou... ou...
Se..., ento...
Quando...
Quem...
...que...
...somente se...
...se e somente se...
Observao: compare o quadro acima com o do item 1.2.8

1.
e note que a negao
operao lgica, mas no conectivo lgico.
lgico
Reforando o conceito: um conectivo lgico serve para formar uma proposio
composta. Observe que a mera negao de uma proposio simples no a
transforma em uma proposio composta, razo pela qual o operador lgico de
negao no pode ser considerado um conectivo lgico.
Exemplo:
Joo mdico. (proposio simples forma afirmativa)
Joo no mdico. (proposio simples forma negativa)

40
3.1 Tabela-Verdade:
Verdade:
3.1.1 Etapas para o preenchimento de uma Tabela-Verdade
Tabela Verdade
3.1.1.1
Identificando e contando as proposies simples
Exemplo:
Na proposio composta No verdade que, se Joo vai ao cinema, ento ele
estuda para a prova., tem-se
tem duas proposies simples:
p: Joo vai ao cinema.
q: Joo estuda para a prova.
2
n a quantidade de proposies simples.
3.1.1.2
Nmero de linhas da Tabela-Verdade

Ta
Frmula:
2
Onde:
k o nmero de linhas da tabela-verdade,
tabela
e
n o nmero ou quantidade de proposies simples.
No exemplo acima, tem-se
se que
3.1.1.3
2, ento
4 linhas
Desenha-se uma coluna para cada proposio simples
p q ...
...
...
...
...
41
3.1.1.4
Distribuio
istribuio dos valores lgicos na Tabela-Verdade
Tabela
a) na coluna mais esquerda, preenche-se

preenche se a metade superior das linhas com
valores lgicos V, e a metade inferior com valores lgicos F;
b) na coluna seguinte, preenche-se,
preenche se, alternadamente, com valores lgicos V e F.
p
V
V
F
F
q
V
F
V
F
[Nota: observe que,, em uma tabela-verdade

tabela verdade de quatro linhas, o preenchimento dos valores
lgicos se d do seguinte modo: na primeira coluna, de dois em dois; na segunda coluna, de um
em um]
verdade acima ainda no est completa! O que se fez at agora foi

A tabela-verdade
apenas a distribuio de todos os possveis valores lgicos para as proposies
simpless encontradas no exemplo dado. O preenchimento completo da tabelatabela
verdade s ser possvel aps o estudo do Captulo 2 Operaes Lgicas.
Outro exemplo:
~
n=3
2
8 linhas
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
...
...
...
...
...
...
...
...
...

42
[Nota: observe que,, em uma tabela-verdade

tabela verdade de oito linhas, o preenchimento dos valores lgicos
se d do seguinte modo: na primeira coluna, de quatro em quatro; na segunda coluna, de dois
em dois; na terceira coluna, de um em um]
3.1.1.5
Esquematicamente, tem-se:
tem
Primeira coluna: k/2

Segunda coluna: k/4
Terceira coluna: k/8
Quarta coluna: k/16
...

43
3.2 Operaes Lgicas Sobre Proposies

3.2.1 Negao
A negao uma operao lgica que tem por finalidade mudar o valor lgico de
uma proposio.
[Nota: Excluem-se de apreciao por valor lgico as proposies abertas de primeira ordem,
ordem
que no possuem valor-verdade
verdade (em alguns casos, essas proposies possuem conjuntoconjunto
verdade). necessrio ressaltar que a operao de negao pode ser estabelecida para qualquer
tipo de proposio (inclusive as abertas de primeira ordem). Lembre-se
Lembre se de que uma proposio
uma orao declarativa que pode ser apresentada tanto na forma afirmativa como na forma
negativa.]
3.2.1.1
Smbolo: ~
[Nota: Organizadorass de Concursos Pblicos, como a CESPE-UnB

CESPE UnB costumam usar o smbolo ]
3.2.1.2
Significado:
...no..., No
o verdade que,,,,
que
falso que..., No
o o caso que...
que
Exemplo:
p: Joo mdico.
3.2.1.3
Negao em linguagem simblica: ~p
3.2.1.4
Negao em linguagem corrente:
a) Joo no mdico.
b) No verdade que Joo mdico.
c) falso que Joo mdico.

44
Obs.: As expresses no verdade que ou falso que colocadas na frente de

uma proposio estabelecem sua negao. necessrio
necessrio ter cuidado quando uma
proposio composta for precedida
prece
por uma dessas expresses.
Os casos de negao de proposies compostas (e suas equivalncias, que so
obtidas por meio de lgebra proposicional)
proposicional) sero vistos mais adiante,
adiante no captulo
de lgebra
gebra das Proposies.
3.2.1.5
Tabela-Verdade:
P
V
F
~p
F
V
[Nota:
Nota: Negao de proposies compostas ser vista mais adiante.]
adiante.

45
3.2.2 Conjuno
3.2.2.1
Smbolo:
3.2.2.2
Significado:
...e..., ...mas...
Exemplo:
P: Joo mdico e Paulo engenheiro.
Note que:
p: Joo mdico.
e
q: Paulo engenheiro.
so proposies simples.
3.2.2.3
Linguagem simblica: p q
3.2.2.4
Tabela-Verdade:
1
2
3
4
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F

46
3.2.2.5
Diagramas Lgicos:
Onde:
Os conjuntos P e Q representam as proposies p e q.
representa o conjunto Universo.
A operao p q representada, em diagramas lgicos, pela operao de
interseo entre conjuntos (P Q
conjuntos
.

A regio sombreada na figura acima a rea da verdade para a proposio
p q.
3.2.2.6
Preenchimento da Tabela-Verdade
Tabela
(linha por linha):
x
Tomemos um elemento x.
Linha 1:

verdade que x est no diagrama P;
47
verdade que x est no diagrama Q;

verdade que x est na rea da verdade (regio sombreada do diagrama
acima).
Linha 2:

falso que x est no diagrama Q;
falso que x est na rea da verdade (regio sombreada do diagrama acima).
Linha 3:
falso que x est no diagrama P;

48

Linha 4:

Em resumo:
A conjuno (p q) verdadeira quando AMBAS as proposies simples so
verdadeiras.

49
3.2.3 Disjuno Inclusiva

3.2.3.1
Smbolo:
3.2.3.2
Significado:
...ou...
Exemplo:
P: Maria vai ao cinema ou Joana estuda.
Note que:
p: Maria vai ao cinema.
e
q: Joana estuda.
3.2.3.3
3.2.3.4
Tabela-Verdade:
1
2
3
4
p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F

50
3.2.3.5
Diagramas Lgicos:
Onde:
A operao p q representada, em diagramas lgicos, pela operao de unio
entre conjuntos (P Q

p q.
3.2.3.6
Tabela
(linha por linha):
x
Linha 1:

51

acima).
Linha 2:

acima).
Linha 3:

52

acima).
Linha 4:


53
Em resumo:
A disjuno inclusiva (pp q) verdadeira quando PELO MENOS UMA das
proposies simples verdadeira.

54
3.2.4 Disjuno Exclusiva

3.2.4.1
Smbolo:
3.2.4.2
Significado:
Ou... ou...
Exemplo:
P: Ou Maria viaja ou Carlos joga futebol.
futebol
Note que:
p: Maria viaja.
e
q: Carlos joga futebol.
3.2.4.3
3.2.4.4
Tabela-Verdade:
1
2
3
4
p
V
V
F
F
q
V
F
V
F
pq
F
V
V
F

55
3.2.4.5
Diagramas Lgicos:
Onde:
A operao p q representada, em diagramas lgicos, pela operao
PQ PQ .
p q.

56
3.2.4.6
Tabela
(linha por linha):
x
Linha 1:

Linha 2:


57

acima).
Linha 3:

acima).
Linha 4:


58

Em resumo:
A disjuno exclusiva (p q) verdadeira quando APENAS UMA das
proposies simples verdadeira.

59
3.2.5 Condio
3.2.5.1
Smbolo:
3.2.5.2
Significado:
Se..., ento..., Quando..., Quem..., ...que..., ...somente se...

Exemplo:
P: Se Joo estuda, ento Pedro vai ao cinema.
Note que:
p: Joo estuda.
e
.
q: Pedro vai ao cinema.
[Nota: Uma proposio condicional tambm pode ser dita ver exemplo acima do seguinte
modo:Pedro vai ao cinema, se Joo estuda.]
Outros exemplos:
a) Quando chove, no tem aula ao ar livre.
b) Quem tem dinheiro, no compra fiado.
c) Pessoas que tm dinheiro, no compram fiado.
d) Carlos vai festa somente se Jlia for festa.
3.2.5.3

60
3.2.5.4
Tabela-Verdade:
1
2
3
4
3.2.5.5
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
Diagramas Lgicos:
Onde:
A operao p q representada, em diagramas lgicos, por uma relao de
causa e efeito: P Q.
Note que, na figura acima, no h regio sombreada. Esta uma das
caractersticas da condio:
condio apesar de ser considerada uma operao lgica,
lgica na
verdade no passa de uma relao de causa e efeito entre duas condies.

61
Observe o esquema a seguir:

P
q
antecedente
consequente
acarretante
acarretado
causa
efeito
Condio
Condio
Suficiente
Necessria
Exemplo: Se chegam visitas, o cachorro late.
Condio suficiente (causa): chegam visitas. Significa dizer que o fato de
chegarem visitas uma condio suficiente para o cachorro latir.
Condio necessria (efeito): o cachorro late. Significa dizer que o fato de o
cachorro latir condio necessria, desde que a condio precedente tenha sido
satisfeita.
3.2.5.6
Tabela
(linha por linha):
x
Linha 1:

62
A condio est satisfeita, e, portanto, verdadeira.

Linha 2:

A condio no est satisfeita, e, portanto falsa. No possvel que x esteja no
diagrama P e no esteja no diagrama Q, uma vez que P Q.
Linha 3:


63

Linha 4:

Em resumo:
A condio (p q) verdadeira quando NO OCORRER VF,
VF nesta ordem,
entre as proposies simples.
Observao: A operao de condio (p q) , na verdade, um argumento,
argumento que
contm uma premissa (p) seguida de sua concluso (q). Um argumento s
vlido quando sua concluso no entra em contradio com suas premissas. Esta
a razo
o pela qual no se pode dizer que x pode estar presente no diagrama P e
no estar no diagrama Q (ver figura da Linha 2 acima).
Veremos argumentos em detalhes mais adiante.
3.2.5.7
Algumas equivalncias lgicas notveis:
[Nota: Equivalncias lgicas sero abordadas mais adiante, em captulo prprio. Por ora, basta o
leitor ter presente que uma equivalncia lgica uma igualdade lgica, isto , relaciona duas
proposies que tero valores lgicos sempre iguais.]
iguais.

64
I.
p q ~ p ~q)
II.
p q ~p q
[Nota: as equivalncias vistas acima so tambm chamadas de equivalncias notveis.]

notveis
Tabela-Verdade:
1
2
3
4
I
p
V
V
F
F
II
q
V
F
V
F
III
~p
F
F
V
V
IV
~q
F
V
F
V
V
pq
V
F
V
V
VI
p ~q
F
V
F
F
VII
~ p ~q)
V
F
V
V
VIII
~p q
V
F
V
V
[Nota: observe, atentamente, as colunas V, VII e VIII na Tabela acima. So todas exatamente
iguais! Em outras palavras, as colunas V, VII e VIII so equivalentes entre si.]
Desafio:: O leitor saberia dizer o que ocorre entre as colunas V e VI?

Dica:: Reveja o conceito de negao.
3.2.5.8
Recproca:
Exemplo:
Se chegam visitas, o cachorro late. (linguagem corrente)
p q (linguagem simblica)
A recproca da proposio acima :
Se o cachorro late, chegam visitas. (linguagem corrente)
q p (linguagem simblica)

65
Tabela-Verdade:
I
p
V
V
F
F
1
2
3
4
II
q
V
F
V
F
III
pq
V
F
V
V
IV
qp
V
V
F
V
[Nota: observe que as colunas III e IV na Tabela acima no apresentam valores lgicos iguais
em todas as suas linhas. Significa dizer que a recproca de uma proposio condicional nem
sempre verdadeira.
Conclui-se que uma proposio condicional no equivalente sua recproca.]
recproca
3.2.5.9
Contrria ou Inversa:
Exemplo:
Se chegam visitas, o cachorro late. (linguagem
(
corrente)
A contrria ou inversa da proposio acima :
Se no chegam visitas, o cachorro no late. (linguagem corrente)
~p ~q (linguagem simblica)
Tabela-Verdade:
1
2
3
4
I
p
V
V
F
F
II
q
V
F
V
F
III
~p
F
F
V
V
IV
~q
F
V
F
V
V
pq
V
F
V
V
VI
~p ~q
V
V
F
V
[Nota: observe que as colunas V e VI na Tabela acima no apresentam valores lgicos iguais em
todas as suas linhas. Significa dizer que a contrria ou inversa de uma proposio condicional
nem sempre verdadeira.
inversa
Conclui-se que uma proposio condicional no equivalente sua contrria ou inversa.]
66
3.2.5.10 Contrapositiva:
Exemplo:
Se chegam visitas, o cachorro late. (linguagem corrente)
A contrapositiva da proposio acima :
Se o cachorro no late, no chegam visitas. (linguagem corrente)
~q ~p (linguagem simblica)
Tabela-Verdade:
1
2
3
4
I
p
V
V
F
F
II
q
V
F
V
F
III
~p
F
F
V
V
IV
~q
F
V
F
V
V
pq
V
F
V
V
VI
~q ~p
V
F
V
V
[Nota: observe que as colunas V e VI na Tabela acima apresentam valores lgicos iguais em
todas as suas linhas. Significa dizer que uma proposio condicional equivalente sua
contrapositiva.]
Tem-se aqui o Teorema Contrarrecproco:

Contrarrecproco
p q ~q ~p
Agora revise cuidadosamente os conceitos vistos at aqui. Voc precisar
memorizar as trs importantssimas equivalncias notveis vistas at agora, que
so:
I.
p q ~(p ~q)
II.
p q ~p q

67
III.
p q ~q ~p
Coloque-as
as em um cartaz e visualize-as diariamente!
Exerccios Propostos
1) O seguinte enunciado verdadeiro: Se uma mulher est grvida, a substncia
gonadotrofina corinica est presente em sua urina.
Duas amigas, Ftima e Mariana fizeram esse exame. O de Ftima acusou a
presena da substncia, e o de Mariana, no.
Considerando o enunciado, o resultado dos exames e os conceitos da lgica
formal, responda:
a) Ftima est grvida? Justifique.
b) Mariana est grvida? Justifique.
2) Em uma empresa de exportaes, o cargo de Diretor Executivo s pode ser
ocupado por uma pessoa ps-graduada
ps graduada em Administrao de Empresas. Nessa
empresa, Alex ocupa atualmente o cargo de Diretor Executivo. Ftima j ocupou
esse cargo e Bruno nunca foi Diretor Executivo. Com base nessas premissas, o
que se pode afirmar sobre a formao acadmica de Alex, Bruno e Ftima?
Justifique.

68
Gabarito
Exerccio 1
Soluo:
1 passo - A primeira coisa que se deve fazer buscar, na proposio dada, as
proposies simples e coloc-las
coloc
em linguagem simblica:
p: A mulher est grvida.
q: A substncia est presente em sua urina.
2 passo Escrever a proposio dada em linguagem simblica:
pq
3 passo Vamos colocar a proposio dada em um quadro e lanar nele a
informao dada (resultados dos exames da Ftima e da Mariana)
Comoo a proposio dada verdadeira (conforme o enunciado da questo),

podemos concluir que a Mariana com certeza no est grvida, e nada se pode
afirmar sobre Ftima estar ou no grvida.
Exerccio 2
Soluo:
Aqui precisamos definir primeiro qual a proposio antecedente e qual a
proposio consequente. Observe que, para a empresa, a condio necessria
(proposio consequente) que o funcionrio tenha ps-graduao.
ps graduao. Ento, ter o
cargo a condio suficiente
sufic
(proposio antecedente):
p: O funcionrio est/esteve no cargo.
69
q: O funcionrio tem Ps-Graduao.

Ps
Proposio dada em linguagem simblica:
pq
Com as informaes dadas no enunciado, podemos desenvolver o quadro a
seguir:
Conclui-se que Alex e Ftima so ps-graduados

ps graduados em Administrao de
Empresas, mas nada se pode afirmar sobre a formao acadmica de Bruno.

nos um e-mail.
mximo, 24 horas!
Obrigado!

70
3.2.6 Bicondio
3.2.6.1
Smbolo:
3.2.6.2
Significado
... se, e somente se...

Exemplo:
P: Joo vai ao mdico se, e somente se est doente.
Note que:
p: Joo vai ao mdico.
e
q: Joo est doente.
3.2.6.3
3.2.6.4
Tabela-Verdade:
1
2
3
4
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
V

71
3.2.6.5
Diagramas Lgicos:
Onde:
A operao p q representada, em diagramas lgicos, pela operao
(p q).
p q.

72
3.2.6.6
Tabela
(linha por linha):
x
Linha 1:

acima).
Linha 2:

73

Linha 3:

Linha 4:


74

acima).
Em resumo:
A bicondio (p q) verdadeira quando NO OCORRER VF NEM FV
entre as proposies simples.
3.2.6.7
Algumas equivalncias notveis:
I.
p q p q) q p)
II.
p q ~(p q))
III.
~( p q) p q
[Nota:
Nota: observe que a bicondio a negao natural da disjuno exclusiva, e vice-versa.
vice
Veja a
Tabela-Verdade a seguir.]
Tabela-Verdade:
1
2
3
4
I
p
V
V
F
F
II
q
V
F
V
F
III
pq
V
F
F
V
IV
pq
F
V
V
F
V
~(p q)
F
V
V
F
VI
~( q)
~(p
V
F
F
V
As colunas III e IV na Tabela acima apresentam valores-verdade

valores verdade contrrios, isto
, nas linhas em que a proposio p q verdadeira, a proposio p q falsa,
e nas linhas em que a proposio p q falsa, a proposio p q verdadeira.
Reveja o conceito de negao e comprove que a bicondio uma negao
natural da disjuno exclusiva, e vice-versa.
vice
[Nota: Conforme j foi dito, a negao de proposies compostas ser vista no captulo de
lgebra das Proposies. Veremos
Veremo tambm,, em lgebra das Proposies, outra forma de
estabelecer a negao da bicondio.]
bicondio.
Observe o leitor que as equivalncias notveis:

75
p q ~(p q)
e
~( p q) p q
esto representadas na Tabela-Verdade
Tabela Verdade acima. Tente associar as colunas em que
essas equivalncias notveis aparecem.
Fica como exerccio para o leitor a representao em Tabela-Verdade
Tabela Verdade da seguinte
equivalncia:
p q p q) q p)
[Nota: O leitor j deve ter observado que, para se desenvolver a Tabela--Verdade de uma
operao
rao lgica, necessrio saber em que situao cada um dos operadores lgicos resulta
verdadeiro ou falso.. Desse modo, convm associar na memria o quadro a seguir.]
3.3 Quadro-Resumo
Resumo
Proposio:
verdadeira
quando:
pq
TODAS
as
proposies
simples
so
verdadeiras
pq
PELO MENOS
UMA
das
proposies
simples
verdadeira
pq
APENAS UMA
das proposies
simples
verdadeira
pq
NO
OCORRER VF,
VF
nesta ordem, entre
as
proposies
simples
pq
NO
OCORRER VF,
NEM FV, entre
as
proposies
simples

76
3.4 Exerccios Propostos

1) ANPAD 2010 Dadas as proposies:
I.
6 > 3 e 2 + 7 = 8.
II.
2 > 5 ou 4 1 = 3.
III. Se 8 > 3, ento 3 > 4.
IV. Se 3 > 4, ento 8 > 3.
Os valores lgicos (V, se verdadeiro; F, se falso) das proposies acima so,
respectivamente,
a) F V F V
b) F V F F
c) F F V V
d) V V F F
e) V V V V
2) ANPAD 2011 Sejam dadas as seguintes proposies compostas em que P e
Q so proposies verdadeiras e R uma proposio falsa:
I.
P (Q ~R)
II.
R (Q P)
III. (~P Q) ~R
IV. R Q
V.
P (R Q)
A sequncia CORRETA do respectivo valor verdade de cada uma das
proposies compostas acima
a) V V V F V
b) V F F V F
c) V V V V V
d) F V F F V
e) F V V F F
3) ANPAD 2011 Se, sob o ponto de vista dos valores lgicos, as proposies
compostas P (Q R), Q (P R) e R (P Q) so, respectivamente, verdadeira
(V), falsa (F) e verdadeira (V), ento as proposies
proposies P, Q e R so,
respectivamente,
a) V, F e F.
b) V, F e V.
c) V, V e F.
d) V, V e V.
e) F, F e F.
77
4) ANPAD 2009 Dada a proposio composta Se eu sair de casa, eu vou ao

cinema, identifique, dentre as alternativas a seguir, aquela que a torna falsa.
a) Eu sa de casa falso.
b) Eu sa de casa verdade.
c) Eu vou ao cinema. falso.
d) Eu sa de casa falso, e Eu vou ao cinema falso.
e) Eu sa de casa verdade, e Eu vou ao cinema falso.
5) ANPAD 2009 Sejam as proposies compostas:
I.
Se Maria foi festa, ento ela sabe danar se, e somente se, se Pedro foi
festa, ento ele sabe danar.
II. Se Maria foi festa, ento Pedro sabe danar.
III. se Pedro foi festa, ento Maria sabe danar.
Sabendo que as proposies Maria
Maria foi festa, Pedro foi festa, Maria sabe
danar e Pedro no sabe danar so verdadeiras, pode-se
pode se concluir que os
valores-verdade
verdade (V, se verdadeiro; F, se falso) das proposies I, II e III so,
respectivamente,
a) V, V e V
b) V, F e V
c) F, F e F
d) F, V e V
e) F, F e V
6) ANPAD 2009 Duas cartas so retiradas de um baralho e colocadas com a
face para baixo sobre uma mesa. Algum, que viu as duas cartas, diz para voc
que somente uma das proposies abaixo verdadeira:
I.
H um Rei ou um s, ou
o esto ambos na mesa.
II. H uma Dama ou um s, ou esto ambos na mesa.
Ento, pode-se
se afirmar que
a) a carta que est na mesa no pode ser o s.
b) a carta com maior probabilidade de estar na mesa o s.
c) a carta com maior probabilidade de estar na mesa
me a Dama.
d) a carta com maior probabilidade de estar na mesa o Rei.
e) Rei, Dama e s tm a mesma possibilidade de estarem na mesa.
7) ANPAD 2009 Dado que se eu frear, o carro para, posso afirmar que
a) eu freei, e o carro no parou.
b) eu freio ou o carro no para.
78
c) eu no freio ou o carro para.

d) o carro parou sem eu frear.
e) se eu parei o carro, porque eu freei.
8) ANPAD 2009 Considere a proposio p: Q ou R, em que
Q: Lia frentista.
R: Se Milton pedreiro, ento Nei jardineiro.
Ora, sabe-se
se que a proposio p falsa. Logo,
a) Lia frentista; Milton pedreiro; Nei no jardineiro.
b) Lia frentista; Milton no pedreiro; Nei no jardineiro.
c) Lia no frentista; Milton pedreiro; Nei no jardineiro.
d) Lia no frentista;
ista; Milton no pedreiro; Nei no jardineiro.
e) Lia no frentista; Milton pedreiro; Nei jardineiro.
9) ANPAD 2010 Sejam dadas as proposies verdadeiras a seguir:
I.
Tavares estudioso.
II. Aranhas voam.
Qual alternativa apresenta uma verdade?
verda
a) Se aranhas voam, ento Tavares no estudioso.
b) Aranhas no voam se, e somente se, Tavares for estudioso.
c) Aranhas no voam se, e somente se, Tavares no for estudioso.
d) Se aranhas voam, ento Tavares estudioso e aranhas no voam.
e) Se Tavares
ares estudioso ou aranhas no voam, ento Tavares no estudioso.
10) ANPAD 2010 Se quem come manga com leite passa mal; logo, quem
a) come manga passa mal.
b) no come manga com leite no passa mal.
c) no passou mal no comeu manga ou no tomou leite.
d) passa mal s quem toma leite ou come manga.
e) toma leite passa mal.
11) ANPAD 2010 A porta de um escritrio controlada por uma fechadura
lgica, cujo esquema o seguinte:

79
Sabe-se
se que os smbolos
e
representam, respectivamente, os
operadores lgicos e
(os quais so binrios, no sentido de terem duas
entradas e uma sada). A configurao padro para as entradas A, B, C e D
consiste em, respectivamente, F, F, V e V e implica que a porta do escritrio
esc
est
trancada. Uma combinao lgica das chaves A, B, C e D, respectivamente, para
abrir a porta corresponde a
a) F F F F
b) F V F F
c) F V V F
d) V V F V
e) V V V F
I.
6 > 3 e 2 + 7 = 8.
II.
2 > 5 ou 4 1 = 3.
III. Se 8 > 3, ento 3 > 4.
IV. Se 3 > 4, ento 8 > 3.
Os valores lgicos (V, se verdadeiro; F, se falso) das proposies acima so,
respectivamente,
a) F V F V
b) F V F F
c) F F V V
d) V V F F
e) V V V V
13) ANPAD 2010 A condio para ser estagirio no laboratrio LEA : Se o
candidato se sair bem na entrevista e/ou tiver bom currculo ou falar ingls, ento
ele ser aceito no estgio. Logo, um acontecimento possvel um candidato
a) no ser aceito no estgio, apesar de ir bem na entrevista e de ter bom currculo.
b) no ser aceito no estgio, apesar de ir bem na entrevista e de falar ingls.
c) no ser aceito no estgio, apesar de ir bem na entrevista, de falar ingls e de ter
bom currculo.
80
d) s ser aceito no estgio

estgio se for bem na entrevista, falar ingls e tiver bom
currculo.
e) ser aceito no estgio, apesar de no ir bem na entrevista, no ter bom currculo
e no falar ingls.
14) ANPAD 2010 Dadas as proposies compostas:
I.
Se 7 + 3 = 9, ento 7 + 7 = 15.
II. Se 5 + 5 = 9, ento 6 + 6 = 12.
III. Se 6 + 6 = 12, ento 5 + 5 = 11.
IV. Ou 6 + 6 = 12 e 5 + 5 = 11, ou 7 + 2 = 6.
Os valores-verdade
verdade (V, se verdadeiro; F, se falso) das proposies I, II, III e IV
so, respectivamente,
a) V, V, F, F
b) V, F, F, F
c) V, V, F, V
d) F, V, F, V
e) F, F, V, V
15) ANPAD 2011 Considerando que a proposio o muro alto verdadeira
e que a proposio ele pulou o muro falsa, NO verdade que:
a) Ou ele pulou o muro, ou o muro alto.
b) Se o muro alto, ento ele pulou
pul o muro.
c) Se o muro no alto, ento ele pulou o muro.
d) Se ele pulou o muro, ento o muro no alto.
e) Ou o muro no alto, ou ele no pulou o muro.
16) ANPAD 2011 Sejam dadas as seguintes proposies:
I.
Se uma flor tem perfume, ento 2 > 1.
II. Se 2 < 1, ento a vida curta.
III. O baralho est viciado ou eu estou lendo esta questo.
IV. Se x < y, ento x2 < y2, para todo nmero inteiro.
Os valores lgicos (V, se verdadeira; F, se falsa) das proposies acima so,
respectivamente,
a) F F V V
b) F V F F
c) V V F F
d) V F V F
e) V V V F

81
17) ANPAD 2011 Sejam dadas as sentenas a seguir:

I. x + 5 = 0 x2 = 25
II. x2 = 25 x + 5 = 0
III. x + 5 = 0 x2 = 25
Os valores lgicos (V, se verdadeira; F, se falsa) das proposies acima so,
respectivamente,
a) V F F
b) V V F
c) V F V
d) V V V
e) F F F
18) ANPAD 2011 Na empresa multinacional AZW, o diretor precisa falar,
alm do portugus, os idiomas ingls e alemo. Alberto foi diretor antes de Pedro
nessa empresa, e Jos ainda no foi diretor, pois assumiu o cargo de gestor de
investimentos. Sobre Alberto, Pedro e Jos CORRETO afirmar:
a) Ou Jos fala alemo, ou Jos fala ingls.
b) Jos no fala ingls e Alberto fala ingls.
c) Se Alberto fala ingls,
ls, ento Jos fala alemo.
d) Se Jos fala portugus,
ortugus, ento Pedro fala ingls.
e) Se Pedro e Alberto falam portugus, ento Jos fala ingls.
19) ANPAD 2011 Ao ler a notcia Dado que o reator da usina aqueceu, ento
ocorreu vazamento ou a contaminao se propagou., certo cidado ficou em
dvida, pois tanto a veracidade das notcias sobre o vazamento como a
veracidade das notcias sobre a propagao da contaminao
contaminao eram diversas, ou
seja, as notcias podiam ter valores verdade distintos dependendo de onde eram
anunciadas. Assim, a notcia ora apresentada pode ser considerada falsa se for
a) falso que o reator da usina aqueceu, falso que o vazamento ocorreu e falso que
a contaminao se propagou.
b) verdade que o reator da usina aqueceu, falso que o vazamento ocorreu e falso
que a contaminao se propagou.
c) verdade que o reator da usina aqueceu, falso que o vazamento ocorreu e
verdade que a contaminao se propagou.
pr
d) verdade que o reator da usina aqueceu, verdade que o vazamento ocorreu e
falso que a contaminao se propagou.
e) verdade que o reator da usina aqueceu, verdade que o vazamento ocorreu e
verdade que a contaminao se propagou.

82
20) ANPAD 2011 Dado que as proposies O dia est ensolarado. e Estou
na praia., respectivamente simbolizadas por P e Q, so verdadeiras, NO se
pode concluir como verdadeira a proposio
a) ~P ~Q
b) ~P Q
c) P ~Q
d) ~Q ~P
e) ~Q P
21) ANPAD 2011 Assinale a alternativa que apresenta a negao da proposio
Se a concentrao e a dedicao forem efetivas, ento o aprendizado
consequncia.
a) A concentrao e a dedicao so efetivas, e a aprendizagem consequncia.
b) A concentrao e a dedicao
dedicao so efetivas, e a aprendizagem no
consequncia.
c) A concentrao e a dedicao no so efetivas, e a aprendizagem
consequncia.
d) A concentrao e a dedicao so efetivas, ou a aprendizagem no
consequncia.
e) A concentrao e a dedicao no so efetivas, e a aprendizagem no
consequncia.
22) ANPAD 2011 Observe as proposies a seguir:
I.
Se x um nmero real e x2 > 4, ento x > 2.
II. Se x um nmero real e x > 2, ento x2 > 4.
III. Se x um nmero real e x2 4 = 0, ento x = 2.
IV. Se x um nmero real e x = 2, ento x2 4 = 0.
proposies acima
a) F V V V
b) V F F F
c) F F V V
d) V V F V
e) F V F V
23) ANPAD 2011 Sejam dadas as seguintes proposies compostas em que P e
Q so proposies verdadeiras e R uma proposio falsa:
I.
P (Q ~R)
II.
R (Q P)
83
III. (~P Q) ~R
IV. R Q
V.
P (R Q)
proposies compostas acima
a) V V V F V
b) V F F V F
c) V V V V V
d) F V F F V
e) F V V F F
24) ANPAD 2011 Quem no corre anda. Logo,
a) quem anda corre.
b) quem corre anda.
c) quem anda no corre.
d) quem no anda corre.
e) quem no anda no corre.
25) ANPAD 2011 Se o computador estiver conectado Internet, ento
trabalharei menos. Logo,
a) trabalharei menos e o computador estar conectado Internet.
b) o computador estar conectado Internet e eu no trabalharei mais.
c) o computador no estar conectado Internet ou eu trabalharei menos.
d) se eu trabalhar menos, ento o computador estar conectado Internet.
e) se eu trabalhar menos, ento o computador no estar conectado Internet.
26) ANPAD 2011 Se, sob o ponto de vista dos valores
valores lgicos, as proposies
compostas P (Q R), Q (P R) e R (P Q) so, respectivamente, verdadeira

(V), falsa (F) e verdadeira (V), ento as proposies P, Q e R so,
respectivamente,
a) V, F e F.
b) V, F e V.
c) V, V e F.
d) V, V e V.
e) F, F e F.
27) ANPAD 2011 Seja dado que as proposies P: Jos foi se divertir,
diverti Q: Joo
foi universidade e R: Jos est de frias, so, respectivamente, verdadeira,
verdadeira e falsa.
84
Sejam tambm dadas as proposies compostas:

I.
Se Jos est de frias, ento ele foi se divertir e Joo no foi universidade.
II. Se Jos foi see divertir, ento ele no est de frias e Joo no foi
universidade.
III. Se Joo no foi universidade, ento Jos no est de frias, mas foi se
divertir.
Quanto ao valor verdade, as proposies I, II e III so, respectivamente,
a) V, F e V.
b) V, V e F.
c) V, F e F.
d) F, F e V.
e) F, V e V.
28) ANPAD 2012 (Adaptada) Assinale a alternativa que apresenta a sequncia
de valores
es lgicos (V, se verdadeiro;
ve
F, se falso) para as sentenas A, B e C que
tornam a proposio
osio composta
com
(~(B C) A) ((B C) A)) falsa
a) FFF
b) FVV
c) FVF
d) VFF
e) VVV
29) ANPAD 2012 (Adaptada) Sejam dadas as proposies
P: Trabalhar importante,
Q: Estudar importante e
R: Viver essencial.
A proposio composta Se trabalhar importante, ento estudar tambm o ,
mas viver essencial ou no verdade que trabalhar importante. pode ser
simbolizada por:
a) P (Q R)
b) (P Q) (R ~P)
c) (P Q) (R ~P)
d) (P Q) (Q R)
e) (P Q) (R ~P)
30) ANPAD 2012 (Adaptada) Se olhar, eu vejo. Logo,
a) vi.
b) olhei.
c) se vi, ento olhei.
85
d) se no vi, ento no olhei.

olhei
e) se no olhei,, ento no vi.
31) ANPAD 2012 (Adaptada) Dadas as proposies verdadeiras:
I.
Vou comprar um carro.
carro
II. Recebi visitas.
III. Estou estudando.
Assinale, dentre as alternativas a seguir, aquela que apresenta uma proposio
com valor verdade falso.
a) Se estou estudando e recebi visitas, ento vou comprar um carro.
carro
b) Se estou estudando ou recebi visitas, ento vou comprar um carro.
carro
c) Se no estou estudando e no recebi visitas, ento vou comprar um carro.
carro
d) Se estou estudando e no recebi visitas, ento no vou comprar um carro.
carro
e) Se estou estudando ou no recebi visitas, ento no vou comprar um carro.
carro
32) ANPAD 2012 (Adaptada) Dado que as proposies Meu carro branco.
branco
e Minha casa azul.
. so verdadeiras e que Minhas costas esto doendo.
falsa, ento a alternativa que representa uma proposio verdadeira :
a) Se meu carro branco,, ento minhas costas esto doendo.
b) Se minhas costas no esto doendo, ento meu carro no branco.
branco
c) Minha casa azul ou meu carro branco, mas minhas costas esto doendo.
d) Se minhas costas esto doendo, ento meu carro branco e minha casa no
azul.
e) Se meu carro branco e minhas costas no esto doendo,, ento minha casa
no azul.
33) ANPAD 2012 (Adaptada) Ao viajar a negcios, Joo,, uma pessoa que
nunca mente, falou a sua esposa:
esposa Se as condies climticas forem
desfavorveis,, telefonarei para avisar e voltarei no dia seguinte.
. Entretanto, Joo
no telefonou para a esposa.
esposa Assim, pode-se
se afirmar com certeza que
a) as condies climticas no estavam desfavorveis.
desfavorveis
b) Joo voltou no mesmo dia.
dia
c) Joo voltou no dia seguinte.
seguinte
d) as condies climticas estavam desfavorveis e Joo voltou no dia seguinte.
segu
e) as condies climticas no estavam desfavorveis e Joo voltou no mesmo
dia.

86
34) ANPAD 2012 (Adaptada) Em certa ilha existem duas tribos

ribos: a Mega e a
Giga.. A seguinte afirmao tomada como verdadeira: Ao contrrio dos Mega,
M
no mais existem Giga analfabetos.
analfabetos Logo, pode-se concluir que:
a) Todo Giga Mega.
b) Existem Giga que so Mega.
M
c) Todos os Mega so analfabetos.
analfabetos
d) Existem analfabetos que so Mega.
M
e) No existem analfabetos que sejam Mega.
35) ANPAD 2012 (Adaptada) Considere a proposio Chove
Chove. como
verdadeira e a proposio Vou jogar futebol.
. como falsa. Considere, tambm,
as seguintes proposies compostas:
I.
Chove e no vou jogar futebol.
futebol
II. Se chover,, ento vou jogar futebol.
III. No chove e no vou jogar futebol.
IV. Chove se, e somente se, eu no for jogar futebol.
V. Chove e eu no vou jogar futebol se, e somente se, eu no for jogar futebol
e no chover.
Dentre as proposies compostas acima, as verdadeiras so
a) somente I e IV.
b) somente I, II e V.
c) somente I, IV e V.
d) somente II, III e IV.
e) I, II, III, IV e V.
36) ANPAD 2012 (Adaptada) Dado que as proposies Eu fiz o concurso. e
Eu estudei muito. so verdadeiras e que No
estive
stive presente em todas as
aulas. falsa, qual das alternativas a seguir representa uma proposio
verdadeira?
a) Se estudei muito, ento eu no fiz o concurso.
b) Se eu fiz o concurso,
curso, ento no estive presente em todas as aulas.
c) Eu fiz o concurso
curso ou estudei muito, mas no estive presente em todas as aulas.
d) Se estudei muito
ito e fiz o concurso, ento no estive presente em todas as aulas.
e) Se no estive presente em todas as aulas, ento eu fiz o concurso
curso e estudei
muito.
37) ANPAD 2012 (Adaptada) Sejam dadas as seguintes proposies
compostas:
I.
Se leio muito,, ento sou culto ou fico bem informado.
87
II. Se fico bem informado ou sou culto, ento leio muito.

III. Ou sou culto e fico bem informado, ou leio muito.
Dado que os valores lgicos de leio
muito, de sou culto e de fico bem

informado so, respectivamente, falso,
fals verdadeiro e falso, pode--se afirmar que
os valores lgicos (V, se verdadeiro; F, se falso) das proposies compostas
acima so, respectivamente,
a) VFF
b) VFV
c) VVF
d) VVV
e) FFF
38) ANPAD 2012 (Adaptada) Sejam dadas as seguintes proposies:
I.
Se 4 par, ento 5 primo.
II. Se 4 no par, ento 5 primo.
III. Se 5 primo, ento 4 no par.
IV. Se 4 ou 5 mpar, ento 4 ou 5 par.
A sequncia dos valores lgicos (V, se verdadeiro; F, se falso) de cada uma das
quatro proposies compostas acima
aci
a) V V F F
b) V F V V
b) V V F V
d) V V V V
e) F V F V
39) ANPAD 2012 (Adaptada) Sejam dadas as proposies compostas e
verdadeiras a seguir:
I.
Se saio de casa,, ento no faz sol.
II. Ou saio de casa,, ou faz sol.
III. Se saio de casa,, ento no faz frio.
IV. Se faz sol, ento no
o faz frio.
Uma possibilidade de sequncia para os valores lgicos (V, se verdadeiro; F, se
falso) das proposies Eu saio de casa., Faz sol. e Faz frio.
a) V F V
b) V F F
c) F F F
d) F V V
e) F F V

88

I.
Eu fico em casa.
II. O dia est chuvoso.
III. Estou de frias.
Sabendo que as proposies acima so verdadeiras, qual das alternativas a seguir
apresenta uma proposio que tem valor verdade falso?
a) Se estou de frias e o dia est chuvoso, ento fico em casa.
b) Se estou de frias ou o dia no est chuvoso, ento fico em casa.
casa
c) Se no estou de frias e o dia no est chuvoso, ento fico em casa.
casa
d) Se estou de frias e o dia no est chuvoso, ento no fico em casa.
casa
e) Se estou de frias ou o dia no est chuvoso, ento no fico em casa.
casa
41) ANPAD 2012 (Adaptada) Sejam dadas as proposies P, Q e R:
P: Estudar importante.
Q: Ler primordial.
consequncia
R: Aprender consequncia.
A proposio composta Se estudar importante, ento ler primordial ou
aprender consequncia.
. pode ser simbolizada por:
a) P (Q R)
b) (P Q) R
c) P (Q R)
d) (P Q) R
e) P (Q R)
42) ANPAD 2012 (Adaptada) Uma possvel negao da proposio Se Rafael
foi ao supermercado,, ento Manoel foi jogar futebol e usava tnis.
. :
a) Rafael foi ao supermercado e Manoel foi jogar futebol e usava tnis.
tnis
b) Rafael foi ao supermercado ou Manoel foi jogar futebol e usava tnis.
c) Rafael no foi ao supermercado ou Manoel foi jogar futebol e usava tnis.
d) Rafael no foi ao supermercado e Manoel no foi jogar futebol e usava tnis.
e) Rafael foi ao supermercado e Manoel no foi jogar futebol ou no usava tnis.
43) ANPAD 2012 (Adaptada) Dado que a proposio composta
((A B) (B ~C)) (A C) falsa, ento
o os valores lgicos (V, se
verdadeiro, F, se falso) de A, B e C so, respectivamente,
a) F F V
b) F V F
c) V V F
d) V F F
89
e) V V V
44) ANPAD 2012 (Adaptada) Sejam dadas as proposies:
P: Os pssaros cantam.
Q: Os cachorros latem.
R: Os gatos miam.
Uma forma de escrever a proposio ((P Q) R) ((R ~Q) P) em
linguagem natural :
a) Se os pssaros cantam e os cachorros latem, ento os gatos miam;
miam ou se os
pssaros cantam e os gatos miam,
miam ento os cachorros no latem.
b) Se os pssaros cantam e os cachorros latem, ento os gatos miam;
miam ou os
pssaros cantam se os gatos miam e os cachorros no latem.
c) Se os pssaros cantam,
cantam ento os cachorros latem e os gatos miam;
miam ou os gatos
miam se os pssaros cantam e os cachorros no latem.
d) medida que os pssaros cantam e os cachorros latem,, ento os gatos miam;
ou os pssaros cantam se, e somente se, os gatos miam e os cachorros no latem.
latem
e) os pssaros cantam e os cachorros latem se, e somente se, os gatos miam;
miam ou
se os pssaros cantam,, ento os gatos miam e os cachorros no latem.
latem
45) ANPAD 2012 (Adaptada) Se as normas so respeitadas ou cumpridas,
ento o convvio agradvel.
agradvel Logo,
a) se o convvio agradvel,
agradvel ento as normas so respeitadas.
b) se o convvio agradvel,
agradvel ento as normas no so cumpridas.
c) se o convvio no agradvel,
agradvel ento as normas no so respeitadas,
respeitadas mas so
cumpridas.
d) se o convvio no agradvel,
agradvel ento as normas no so respeitadas e nem
cumpridas.
e) se o convvio no agradvel,
agradvel ento as normas no so respeitadas ou no so
prticas.
I.
Se 5 > 5, ento 5 > 7.
7
II. A metade de 2x x ou o dobro de x 4x.
III. No verdade que 1 2 e 2 1.
IV. Se o cachorro um animal,
animal ento o elefante um vegetal.
A sequncia do valor lgico (V, se verdadeira; F, se falsa) de cada proposio
acima
a) F V F V
b) V V F V
90
c) V V V V
d) V F V V
e) V V V F
47) ANPAD 2007 Sejam as proposies:
p: O co bravo e q: O gato branco.
A linguagem simblica equivalente proposio No verdade que o co
bravo ou o gato no branco
a) ~
b) ~ ~
c)
d) ~
e) ~
48) ANPAD 2007 Considere a proposio No verdade que, se Maria no
elegante, ento ela inteligente. Uma proposio logicamente equivalente
a) Maria elegante ou inteligente.
b) Maria elegante e no inteligente.
c) Maria no elegante e inteligente.
d) Maria no elegante e nem
ne inteligente.
e) Maria no elegante ou no inteligente.
49) ANPAD 2006 Se P a proposio Jos fez a prova e Q a proposio
Pedro estudou, ento a proposio composta No verdade que se Jos no
fez a prova ento Pedro estudou pode
pode ser escrita na linguagem simblica como
a) ~ ~
b) ~ ~
c) ~
d) ~
e) ~ ~
50) ANPAD 2006 Sabendo que P e Q so proposies, o que NO se pode
afirmar sobre a funo valorao (v)?
(
a) v(~P)
(~P) = V se, e somente se, v(P) = F.
b) v(PQ)
Q) = V se, e somente se, v(P) = v(Q) = V.
c) v(PQ)
Q) = V se, e somente se, v(P) = V ou v(Q) = V.
d) v(PQ)
Q) = V se, e somente se, v(P) = F ou v(Q) = V
e) v(PQ)
Q) = V se, e somente se, v(P) = v(Q) = V.

91

p:: Bruna foi ao cinema.
q:: Caio foi jogar tnis.
A proposio composta Caio foi jogar tnis ou Bruna no foi ao cinema pode
ser escrita na linguagem simblica como
a) ~ ~ ~
b) ~(~
c) ~( ~
d) ~(~
e) ~( ~
52) ANPAD 2006 Seja a proposio
proposio Se Davi pratica natao, ento Nair joga
vlei. Uma proposio equivalente pode ser dada por
a) Davi pratica
ica natao e Nair joga vlei.
b) Davi no pratica natao ou Nair joga vlei.
c) Se Nair joga vlei, ento Davi pratica natao.
d) Davi no pratica natao e Nair no joga vlei.
e) Se Davi no pratica natao, ento Nair no joga vlei.
53) ANPAD 2006 Uma proposio equivalente a Se Tadeu economista,
ento Renato no estudioso
a) Se Renato estudioso, ento Tadeu no economista.
b) Se Renato estudioso, ento Tadeu economista.
c) Se
Se Tadeu no economista, ento Renato estudioso.
d) Tadeu economista ou Renato estudioso.
e) Tadeu economista ou Renato no estudioso.
54) ANPAD 2006 Considere
;2
4 0 e
proposies:
I.
Se o Estado de Rio de Janeiro
Jan
est na Regio Sul, ento
II. Se o Estado de Rio de Janeiro est
es na Regio Sudeste, ento
III. Se o Estado de Rio de Janeiro est na Regio Sudeste, ento
IV. Se o Estado de Rio de Janeiro
Jan
est na Regio Sul, ento
A sequencia formada pelo valor verdade (V, se verdade; F, se
proposies ,
a) F V V V
b) F V F F
c) V V F V
d) V F F F
as seguintes
1
2.
2.
6.
2.
falso) dessas

92
e) V V V V
55) ANPAD 2006 Considere as seguintes proposies:
p: Hoje quarta-feira.
q:: Celso vai jogar boliche.
A proposio composta ~ ~ , em linguagem corrente, expressa pela
declarao:
a) Hoje quarta-feira
feira e Celso no vai jogar boliche.
b) Hoje quarta-feira
ira ou Celso no vai jogar boliche.
c) Hoje no quarta-feira
feira e Celso vai jogar boliche.
d) Hoje no quarta-feira
e) Hoje no quarta-feira
feira ou Celso no vai jogar boliche.
Sabe que Se chegam
m visitas, o cachorro late. Assim,
56) ANPAD 2005 Sabe-se
CORRETO afirmar que
a) se no chegarem visitas, ento o cachorro no latir.
b) o fato de chegarem visitas condio necessria para o cachorro latir.
c) o fato de chegarem visitas condio suficiente para o cachorro
cachorro latir.
d) o cachorro s vai latir se chegarem visitas.
e) se o cachorro latiu, ento chegaram visitas.
p: Amir estudioso.
q: Amir trabalhador.
A alternativa abaixo que representa a proposio ~ ~
a) Amir trabalhador e estudioso.
b) Amir no trabalhador ou no estudioso
c) Amir noo trabalhador e estudioso.
d) Amir no trabalhador ou estudioso.
e) Amir no trabalhador e no estudioso.
58) ANPAD 2004 Baseando-se
Baseando nas tabelas-verdade
rdade das proposies seguintes,
a alternativa que representa um valor falso
a) se 2 + 2 = 4, ento 2 par
b) se 2 + 2 = 3, ento 2 mpar
c) se 2 + 2 = 4, ento 2 mpar
d) se 2 + 2 = 2, ento 2 divide 3
e) se 2 + 2 = 2, ento 2 2 = 2

93
59) ANPAD 2004 Dada a proposio: Se Carla solteira, ento Maria

estudante, uma proposio equivalente
a) Carla solteira e Maria estudante.
b) Se Maria estudante, ento Carla solteira.
c) Se Maria no estudante, ento Carla no solteira.
solteira
d) Maria estudante se, e somente se,Carla solteira.
e) Se Carla no solteira, ento Maria no estudante.
60) ANPAD 2004 Um vendedor fala para seu cliente: quem tem dinheiro no
compra fiado. O cliente escuta e repete: quem no tem dinheiro
dinheiro compra fiado.
Pode-se dizer que
a) as duas afirmaes so equivalentes.
b) as duas afirmaes no so equivalentes.
c) as duas afirmaes no so inversas.
d) as duas afirmaes so condicionais equivalentes.
e) as duas afirmaes no so condicionais.
61) ANPAD 2003 Considere as seguintes proposies simples
p: Joo vai ao clube.
q: Hoje domingo.
A proposio composta ~( ~ , em linguagem corrente,
a) Joo vai ao clube ou hoje domingo.
b) Joo vai ao clube e hoje domingo.
c) Joo no vai ao clube e hoje no domingo.
d) Joo no vai ao clube e hoje domingo.
e) Joo no vai ao clube ou hoje domingo.
62) ANPAD 2003 Sejam as proposies p: Joo inteligente e q: Paulo joga
tnis. Ento, ~ ~ , em linguagem corrente,
a) Joo inteligente ou Paulo no joga tnis.
b) Joo inteligente e Paulo no joga tnis.
c) Joo no inteligente e Paulo no joga tnis.
d) Joo no inteligente ou Paulo joga tnis.
e) Joo inteligente ou Paulo joga tnis.
63) ANPAD 2003 A CONTRAPOSITIVA da proposio Se
S os preos
aumentam, ento as vendas diminuem.
a) Se os preos diminuem, ento as vendas aumentam.
b) Os preos diminuem e as vendas aumentam.
94
c) Se os preos aumentam, ento as vendas aumentam.

d) As vendas aumentam ou os preos diminuem.
e) Se as vendas aumentam, ento os preos diminuem.
64) ANPAD 2002 Se Rubens estudar, ento passar no concurso. Deste modo,
correto afirmar que
a) Se Rubens no passar no concurso, ento no ter estudado.
b) O estudo de Rubens condio necessria para que ele passe no concurso.
c) Se Rubens no estudar, no passar no concurso.
d) Rubens passar no concurso s se estudar.
e) Mesmo que Rubens estude, ele no passar no concurso.
65) ANPAD 2002 Sejam as proposies
p: Lusa bancria.
q: Lusa fumante.
Ento, a proposio ~(q ~p), em linguagem corrente
a) Lusa no bancria e no fumante.
b) Lusa bancria e no fumante.
c) Lusa fumante, mas no bancria.
d) Lusa no bancria ou fumante.
e) Lusa bancria ou fumante.
66) ANPAD 2002 A proposio p ~q equivalente a
a) p q
b) p ~q
c) ~p q
d) ~q p
e) ~p ~q
67) ANPAD 2002 Sejam
p: 9 + 32 = 51
q: O comprimento de uma circunferncia dado por
circunferncia.
Ento,
to, a proposio verdadeira
a) (p ~q) q
b) ~(p q) q
c) (p ~q) q
d) (~p ~ q) q
e) ~(p q) q
, onde o raio da

95
68) ANPAD 2002 A proposio ~(p

~( ~r) q r falsa, se:
a) p e q so verdadeira e r falsa.
b) p, q e r so verdadeiras.
c) p e q so falsas e r verdadeira.
d) p, q e r so falsas.
e) p e r so verdadeiras e q falsa.
69) ANPAD 2002 A proposio p (~p q)) equivalente proposio
a) ~p q
b) p q
c) p q
d) ~p q
e) p ~q
70) ANPAD 2002 Considere as seguintes proposies simples:
p: Jos estudante.
q: Maria professora.
A proposio composta ~(~p
~(~ q), em linguagem corrente,
a) Jos no estudante ou Maria professora.
b) Jos estudante ou Maria no professora.
c) Jos no estudante ou Maria no professora.
d) Jos estudante e Maria professora.
e) Jos estudante e Maria no professora.
71) ANPAD 2002 Considere a sentena Se feriado, os bancos esto
fechados.
A CONTRAPOSITIVA dessa sentena
a) Se os bancos no esto fechados, no feriado.
b) Se os bancos esto fechados, no feriado.
c) Se no feriado, os bancos esto fechados.
d) Se os bancos esto fechados, feriado.
e) Se feriado, os bancos esto fechados.
p: Pardais adoram frutas.
q: Fazendeiros detestam pardais.
A proposio composta ~(p
~( ~q), em linguagem corrente,
a) falso que pardais adoram frutas e que fazendeiros detestam pardais
96
b) Fazendeiros detestam pardais ou pardais no adoram frutas.

c) falso que pardais adoram frutas ou que fazendeiros
fazendeiros detestam pardais.
d) Fazendeiros detestam pardais e pardais adoram frutas.
e) Fazendeiros detestam pardais ou pardais adoram frutas.
p: Golfinhos comem sardinha.
q: Cristina no
o gosta de golfinhos.
~( ~q), em linguagem corrente, :
a) falso que os golfinhos comem sardinha e que Cristina no gosta de
golfinhos.
b) Cristina no gosta de golfinhos ou os golfinhos no comem sardinha.
c) falso que os golfinhos comem sardinha ou que Cristina gosta de golfinhos.
d) Cristina gosta de golfinhos e os golfinhos comem sardinha.
e) Cristina gosta de golfinhos ou os golfinhos comem sardinha.
Gabarito:
1A 2A
10 C 11 E
19 B 20 C
28 B 29 E
37 A 38 C
46 E 47 A
55 A 56 C
64 A 65 B
73 B
3A
12 A
21 B
30 D
39 B
48 D
57 E
66 E
4E
13 E
22 E
31 E
40 E
49 E
58 C
67 C
5E
14 A
23 A
32 D
41 A
50 E
59 C
68 E
6A
15 B
24 D
33 A
42 E
51 E
60 B
69 B
7C
16 E
25 C
34 D
43 C
52 B
61 E
70 E
8C
17 A
26 A
35 A
44 B
53 A
62 B
71 A
9C
18 D
27 A
36 E
45 D
54 C
63 E
72 B

nos um e-mail.
mximo, 24 horas!
Obrigado!
Participe do nosso projeto: http://profmilton.blogspot.com.br/2013/12/pay
.blogspot.com.br/2013/12/payit-forward-corrente-do--bem.html

97
4 Tautologia, Contradio e Contingncia

Voc faz suas escolhas e suas escolhas fazem voc.
[Steve Beckman]
4.1 Tautologia
Tautologia uma proposio composta que sempre ter resultado lgico
verdadeiro.. Em outras palavras, na tabela-verdade
tabela verdade de uma proposio
tautolgica, a coluna encimada pela proposio apresenta somente valores
lgicos V (verdadeiro).
Exemplos:
a) p ~p
p ~p p ~p
V F
V
F V
V
b) p p
p p p p
V V
V
F F
V
c) p p
p p p p
V V
V
F F
V

98
d) (p q) ~p q)
p
V
V
F
F
q ~p p q ~p q (p q) ~p q)
V F
V
V
V
F F
F
F
V
V V
V
V
V
F V
V
V
V
4.2 Contradio
Contradio uma proposio composta que sempre ter resultado lgico falso.
Na tabela-verdade,
verdade, a coluna da proposio contraditria apresenta somente
valores lgicos F (falso).
Exemplos:
a) p ~p
p ~p p ~p
V F
F
F V
F
b) ~ ~
p
V
V
F
F
q ~p ~q
V F F
F F V
V V F
F V V
~ ~
F
V
V
V
V
F
F
F
~ ~
F
F
F
F

99
4.3 Contingncia
Quando a proposio composta no for tautologia e nem contradio, ela ser
uma contingncia. Em outras palavras: contingncia uma proposio composta
que tanto pode ter resultado lgico V (verdadeiro) como F (falso).
Exemplo:
a)
~
p
V
V
F
F
q ~p ~q ( ~
V F F
V
F F V
V
V V F
F
F V V
V
(~
F
F
V
F
( ~
~
F
F
V
F
Exemplo:
1) ANPAD 2006 Considera as proposies a seguir:
I. Josi morena ou no verdade que Josi morena e Jorge loiro.
II. Ou o caf no est quente ou o bolo no est delicioso se, e somente se, o caf
est quente e o bolo est delicioso.
Pode-se afirmar que
a) ambas as proposies so tautologias.
b) ambas as proposies so contradies.
c) a proposio I uma contradio e a II uma tautologia.
d) a proposio I uma tautologia e a II uma contradio.
e) ambas as proposies no so tautologias.
Soluo:
I. Josi morena ou no verdade que Josi morena e Jorge loiro.
Identificando as proposies simples:
p: Josi morena.
q: Jorge loiro.
Em linguagem simblica, a proposio dada fica assim:
100
~(
a) Tabela-Verdade:
p
V
V
F
F
q (
V
V
F
F
V
F
F
F
~(
F
V
V
V
~(
V
V
V
V
Outra forma de verificao:

b)
~(
Observe que a proposio p est em ambos os lados da disjuno inclusiva, e,

direita do smbolo de disjuno inclusiva ()
( ) h uma negao. Poderemos valorar
a proposio atravs dos valores lgicos da proposio p,, como segue:
p ~( p q )
V
V
No esquema acima, verifica-se
verifica que, se a proposio p for verdadeira, a disjuno
ser verdadeira, pois (consulte o quadro-resumo
quadro resumo no item 2.2.6.9.) a disjuno
inclusiva ser verdadeira sempre que pelo menos uma de suas proposies for
verdadeira.
Por outro lado, se a proposio p for falsa, teremos:
p ~( p q )
F
~( F
)
~(
F
)
V
V
Como se v, a proposio ~(
logo, trata-se de uma tautologia.
tautologia
sempre ter resultado lgico verdadeiro,

101
II. Ou o caf no est quente ou o bolo no est delicioso se, e somente se, o caf
est quente e o bolo est delicioso.
Identificando as proposies simples:
p: O caf est quente.
q: O bolo est delicioso.
Em linguagem simblica, a proposio dada fica assim:
~ ~
Tabela-Verdade:
p
V
V
F
F
q ~p ~q ~ ~
V F F
F
F F V
V
V V F
V
F V V
F
V
F
F
F
(~ ~
F
F
F
V
Pela Tabela-Verdade
Verdade acima, v-se
v que a proposio ~ ~
contingncia.
uma
Observao: A proposio I uma tautologia e a proposio II uma

contingncia. Assim, verifica-se
verifica se que esta questo no apresenta alternativa que
contemple o resultado encontrado, e, portanto, deveria ter sido anulada.
anulada
1) ANPAD 2009 Em um condomnio residencial, havia duas placas. Na
primeira, estava escrito que todo cachorro amigo do homem; na segunda, lialia
se que nem todo cachorro amigo do homem, cuidado. Assim, pode-se
pode
concluir que
a) uma placa repete a informao da outra.
out
b) a informao da primeira placa uma tautologia.
c) a informao da segunda placa uma contradio.
d) a informao da primeira placa poderia ser negada pela segunda se aquela
fosse substituda por existem cachorros que so amigos do homem.

102
e) a informao da segunda placa poderia ser substituda por existem cachorros

que no so amigos do homem, cuidado.
2) ANPAD 2009 Sejam dadas as seguintes proposies
I.
Todo juro alto derivado da inflao.
II. completamente justificvel, em probabilidade,
probabilidade, o fato de uma pessoa
escolher o jogo {7, 21, 27, 43, 48, 56} em vez de {1, 2, 3, 4, 5, 6} para o sorteio
de uma Mega-Sena,
Sena, por exemplo.
III. A tabela-verdade
verdade da implicao (p q) a mesma da disjun
disjuno p q.
IV. A forma p p uma tautologia.
Pode-se afirmar que
a) somente I e II so falsas.
b) somente I e IV so falsas
c) somente II e IV so verdadeiras.
d) somente II verdadeira.
e) somente IV verdadeira.
3) ANPAD 2006 Considera as proposies a seguir:
I.
Josi morena ou no verdade que
que Josi morena e Jorge loiro.
II. Ou o caf no est quente ou o bolo no est delicioso se, e somente se, o
caf est quente e o bolo est delicioso.
Pode-se afirmar que
a) ambas as proposies so tautologias.
b) ambas as proposies so contradies.
contradi
c) a proposio I uma contradio e a II uma tautologia.
d) a proposio I uma tautologia e a II uma contradio.
e) ambas as proposies no so tautologias.
[Nota: a questo acima no tem, entre suas alternativas, uma que contemple o que
q pede o
enunciado.]
4) ANPAD 2006 Dada a proposio composta No verdade que se Joo

estiver de frias ele no vai trabalhar, ento, ele est de frias e trabalhando,
pode-se afirmar que
a) uma contradio.
b) uma tautologia.
c) no tautologia e nem contradio.
d) equivalente a se Joo est de frias ento ele no trabalha.
e) equivalente a se Joo est de frias ento ele trabalha.
103
5) ANPAD 2005 A proposio composta Maria vai ao cinema, ou no

verdade que Maria
ria vai ao cinema e Joo vai ao mdico
a) uma tautologia.
b) uma contingncia.
c) uma contradio.
d) um silogismo.
e) um paradoxo.
I.
~(p q) ~ p ~qq.
II. ~(p q) ~ p ~ q.
III. p (p q) p.
IV. p (q r) (p q)
q (p r).
Dentre as quatro sentenas, as que representam tautologias so
a) II, III e IV
b) I, III e IV
c) apenas I e IV
d) apenas I e III
e) apenas II e IV
Gabarito:
1E
2E
3D
4B
5A
6B

nos um e-mail.
mximo, 24 horas!
Obrigado!

104
Implicao Lgica e Equivalncia Lgica

Uma pessoa inteligente aprende com seus erros.
erros Uma pessoa
sbia aprende com os erros dos outros."
[Augusto Cury]
5.1 Implicao Lgica

5.1.1 Smbolo:
5.1.2 Significado:
Haver
aver implicao lgica entre proposies sempre que no ocorrer VF nesta
ordem.
No confundir a relao de implicao lgica () com operao de condio
().
Abrimos parntese neste ponto, para explicar a diferena entre operao e
relao:
Na matemtica ou na lgica, uma operao um tipo de procedimento
realizado sobre certos elementos, seguindo a uma regra especfica e
produzindo um resultado compatvel com essa regra. Em outras palavras:
uma operao sempre produzir um resultado.
Exemplo: Sejam os conjuntos A e B no vazios:
A = {1, 2, 3}
B = { 2, 3, 4, 5}
Ao realizarmos a operao de unio ()
( ) entre ambos, chegaremos a um resultado
(um terceiro conjunto), que podemos nominar como conjunto C.
AB=C
C = {1, 2, 3, 4, 5}

105
Uma relao estabelece uma correspondncia entre os elementos

implicados, mas no produz resultado algum. Em outras palavras, uma
relao decorre de mera observao entre os elementos implicados.
Exemplo: Sejam os conjuntos A e B no vazios:
A = {1, 2, 3}
B = {1, 2, 3, 4, 5, 6}
Verifica-se
se que todos os elementos do conjunto A so tambm elementos do
conjunto B. Desse modo, diz-se
diz
que o conjunto A est contido (
) no conjunto
B, ou seja:
AB
Observe que, acima, se fez apenas uma constatao, e disto no resultou
resulto um
terceiro conjunto como resultado.
Fecha-se
se aqui o parntese.
Observao: Na operao de condio (),, quando ocorre VF nesta ordem, o
resultado lgico ser falso (F).
Na relao de implicao lgica (),
), quando ocorre VF nesta ordem, diz-se
diz que
no h implicao lgica entre as proposies envolvidas. Por outro lado,
quando no ocorrer VF nesta ordem, diz-se
diz que h implicao lgica.
lgica Veja que,
em se tratando de implicao lgica, nunca se pode dizer que a implicao
verdadeira ou falsa,, pois neste caso no h resultado lgico.
Exemplos:
1) Verificar se

106
Tabela-Verdade:
p
V
V
F
F
V
V
F
V
q
V
F
V
F
Nas colunas em destaque, na tabela-verdade

tabela verdade acima, no ocorreu VF, nesta ordem,
em uma mesma linha, portanto, a proposio p implica a proposio q p.
2) Verificar se
Soluo:
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
V
F
F
F
V
V
V
F
Nas colunas em destaque da tabela-verdade

tabela verdade acima no ocorreu VF, nesta ordem,
em qualquer das linhas. Logo, a proposio implica a proposio .
3) Verificar se
Soluo:
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
V
F
V
V
V
V
F
F
Na tabela-verdade
verdade acima verifica-se
verifica se a ocorrncia de VF, nesta ordem, nas linhas
3 e 4. Desse modo, diz-se
se que a proposio no implica a proposio ,
ou, em linguagem simblica:
107
5.2 Equivalncia Lgica

5.2.1 Smbolo:
5.2.2 Significado:
Haver
aver equivalncia lgica entre proposies sempre que no ocorrer VF nem
FV.
No confundir a relao de equivalncia lgica () com operao de
bicondio ().
Observao: Na operao de bicondio (),, quando ocorre VF ou FV, o
resultado lgico ser falso (F).
Na relao de equivalncia lgica (),
), quando ocorre VF ou FV, diz-se
diz que no
h equivalncia lgica entre as proposies envolvidas. Por outro lado, quando
no ocorrer VF nem FV, diz-se
diz
que h equivalncia lgica.. Veja que, em se
tratando de equivalncia lgica, nunca se pode dizer que ela verdadeira ou
falsa,, pois neste caso no h resultado lgico.
Exemplos:
1) Verificar a equivalncia:
Soluo:
Tabela-Verdade:
p
V
V
F
F
q ~p
V F
F F
V V
F V
V
F
V
V
V
F
V
V
Nas colunas em destaque da tabela-verdade

tabela verdade acima no ocorreu VF, nem FV,
logo, equivalente a ~ .
108
2) ANPAD 2007 Sejam as proposies p:: O co bravo e q: O gato

branco. A linguagem simblica equivalente proposio No verdade que o
co bravo ou o gato no branco.
branco
a) ~
b) ~ ~
c)
d) ~
e) ~
Soluo:
Estrutura lgica da proposio: ~
Tabela-Verdade:
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
V
F
V
a
~
F
F
V
F
F
F
V
F
b
~ ~
F
V
V
V
V
F
V
V
d
~
V
F
V
V
e
~
V
V
F
V
As duas colunas em destaque na tabela-verdade

tabela verdade acima identificam a
equivalncia:
~ ~ ~
Resposta: alternativa A.
A questo em tela se resolve mais rapidamente por meio de lgebra
proposicional (Lei de De Morgan),
Morgan), que ser vista no captulo seguinte.
5.2.3 Equivalncias Notveis

5.2.3.1
Dupla-negao:
~~

109
Tabela-Verdade:
~
V
F
F
V
~~
V
F
As colunas em destaque evidenciam a equivalncia

5.2.3.2
~( ~
Tabela-Verdade:
V
V
F
F
V
F
V
F
V
F
V
V
F
V
F
F
F
V
F
V
V
F
V
V

5.2.3.3
Tabela-Verdade:
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V
V
F
V
V

5.2.3.4
Contrapositiva:
~ ~

110
Tabela-Verdade:
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V
V
F
V
V

5.2.3.5
Negao da condio:
Tabela-Verdade:
V
V
F
F
V
F
V
F
F
V
F
V
V
F
V
V
F
V
F
F
F
V
F
F

5.2.3.6
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
V
pq
V
F
V
V
qp
V
V
F
V
(p q) (q p)
V
F
F
V

111
5.2.3.7
Negao da bicondio:
( ~
(~
Leia o post: http://profmilton.blogspot.com.br/2013/12/pilulashttp://profmilton.blogspot.com.br/2013/12/pilulas-de-raciociniologico-1.html

Tabela-Verdade:
p
V
V
F
F
q ~p
V F
F F
V V
F V
~q
F
V
F
V
~(p q)
F
V
V
F
pq
V
F
F
V
p ~q
F
V
F
F
~p q
F
F
V
F
(p ~q)
~q (~p q)
F
V
V
F

5.2.3.8
Negao da bicondio:
~(
Tabela-Verdade:
p
V
V
F
F
Q
V
F
V
F
V
F
F
V
F
V
V
F
F
V
V
F

5.2.3.9
Negao da disjuno exclusiva:
~(

112
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
~(
F
V
V
F
V
F
F
V
V
F
F
V

1) ANPAD 2010 Seja dada a proposio Todas as manhs eu saio para fazer
caminhada e, enquanto caminho, fao exerccios. INCORRETO afirmar:
a) Se no saio, ento no fao exerccios.
b) Saio todas as manhs para fazer exerccios.
c) Pela manh, saio para fazer exerccios.
exerc
d) Pela manh, saio para fazer caminhada e exerccios.
e) Todas as manhs, se eu caminhar, fao exerccios.
2) ANPAD 2010 Uma forma de negar a proposio Se o amor no fosse to
grande e a saudade no fosse infinita, eu no voltaria ou atrasaria minha volta
pode ser escrita como
a) O amor to grande, a saudade infinita; eu volto e no atraso minha volta.
b) O amor to grande, a saudade infinita; eu no volto e atraso minha volta.
c) O amor no to grande, a saudade no infinita; em volto
volto e no atraso minha
volta.
d) Se o amor to grande e a saudade infinita, ento eu volto ou atraso minha
volta.
e) Se eu no voltar ou atrasar minha volta, ento o amor no to grande e a
saudade no infinita.
proposi
P: Rui rico.
Q: Rui elegante ou carinhoso.
A proposio (p ~q) q equivalente a
a) Rui elegante ou carinhoso se, e somente se, ele rico.
b) Rui rico se, e somente se, ele no elegante ou carinhoso.
c) Se Rui no rico e elegante ou carinhoso, ento ele elegante ou carinhoso.
d) Se Rui rico, ento ele elegante ou carinhoso.

113
e) Se Rui no elegante, no carinhoso e rico, ento ele no elegante e no

carinhoso.
logo quem
4) ANPAD 2010 Se quem come manga com leite passa mal; logo,
5) ANPAD 2010 A condio para ser estagirio no laboratrio
laboratrio LEA : Se o
candidato se sair bem na entrevista e/ou tiver bom currculo ou falar ingls, ento
ele ser aceito no estgio. Logo, um acontecimento possvel um candidato
a) no ser aceito no estgio, apesar de ir bem na entrevista e de ter bom currculo.
b) no ser aceito no estgio, apesar de ir bem na entrevista e de falar ingls.
c) no ser aceito no estgio, apesar de ir bem na entrevista, de falar ingls e de ter
bom currculo.
d) s ser aceito no estgio se for bem na entrevista, falar ingls
ingls e tiver bom
currculo.
e) ser aceito no estgio, apesar de no ir bem na entrevista, no ter bom currculo
e no falar ingls.
a) quem anda corre.
b) quem corre anda.
a) vi.
114
b) olhei.
olhei
p: O co bravo. e
q: O gato branco.
A linguagem simblica equivalente
equivalente proposio No verdade que o co
bravo ou o gato no branco
a) ~
b) ~ ~
c)
d) ~
e) ~
10) ANPAD 2007 Considere a proposio No verdade que, se Maria no
elegante, ento ela inteligente. Uma proposio
proposio logicamente equivalente
a) Maria elegante ou inteligente.
b) Maria elegante e no inteligente.
c) Maria no elegante e inteligente.
d) Maria no elegante e nem inteligente.
e) Maria no elegante ou no inteligente.
fez a prova ento Pedro estudou pode ser escrita na linguagem simblica como
a) ~ ~
b) ~ ~
c) ~
d) ~
e) ~ ~
12) ANPAD 2006 Considerando-se
Considerando a proposio p:: Se Rui bom poeta, ento
Jorge atleta,
CORRETO afirmar que
a) a contrapositiva de p Se Rui no bom poeta, ento Jorge no atleta.
b) a contrapositiva de p Se Jorge no atleta, ento Rui no bom poeta.
c) a contrapositiva de p Se Jorge atleta, ento Rui bom poeta.
115
d) a recproca de p Se Rui no bom poeta, ento Jorge no atleta.

e) a recproca de p Se Jorge no atleta, ento Rui no bom poeta.
13) ANPAD 2006 Seja a proposio Se Davi pratica natao, ento Nair joga
vlei. Uma proposioo equivalente pode ser dada por
a) Davi pratica
ica natao e Nair joga vlei.
b) Davi no pratica natao ou Nair joga vlei.
c) Se Nair joga
ga vlei, ento Davi pratica natao.
d) Davi no pratica natao e Nair no joga vlei.
e) Se Davi no pratica natao, ento Nair no joga vlei.
14) ANPAD 2006 Uma proposio equivalente a Se Tadeu economista,
ento Renato no estudioso
a) Se Renato estudioso, ento Tadeu no economista.
b) Se Renato estudioso, ento Tadeu economista.
c) Se
Se Tadeu no economista, ento Renato estudioso.
d) Tadeu economista ou Renato estudioso.
e) Tadeu economista ou Renato no estudioso.
A proposio composta ~ ~ , em linguagem corrente,
te, expressa pela
declarao:
eira ou Celso no vai jogar boliche.
16) ANPAD 2004 Dada a proposio: Se Carla solteira, ento Maria
estudante, uma proposio equivalente
a) Carla solteira e Maria estudante.
b) Se Maria estudante, ento Carla solteira.
c) Se Maria no estudante, ento Carla no solteira.
d) Maria estudante se, e somente se,Carla solteira.
e) Se Carla no solteira, ento Maria no estudante.

116

18) ANPAD 2002 Se Rubens estudar, ento passar no concurso. Deste modo,
correto afirmar que
a) Se Rubens no passar no concurso, ento no ter estudado.
b) O estudo de Rubens condio necessria para que ele passe no concurso.
concurs
c) Se Rubens no estudar, no passar no concurso.
d) Rubens passar no concurso s se estudar.
e) Mesmo que Rubens estude, ele no passar no concurso.
19) ANPAD 2002 A proposio
a)
b) ~
c) ~
d) ~
e) ~ ~
~ equivalente a
20) ANPAD 2002 A proposio p (~p q) equivalente proposio

a) ~
b)
c)
d) ~
e) ~
p: Jos estudante.
117
22) ANPAD 2002 Considere a sentena Se feriado, os bancos esto

fechados.
A CONTRAPOSITIVA dessa sentena
a) Se os bancos no esto fechados, no feriado.
b) Se os bancos esto fechados, no feriado.
c) Se no feriado, os bancos esto fechados.
d) Se os bancos esto fechados, feriado.
e) Se feriado, os bancos esto fechados.
p:: Pardais adoram frutas.
a) falso que pardais adoram frutas e que fazendeiros detestam pardais
c) falso que pardais adoram frutas ou que fazendeiros detestam pardais.
sim
q: Cristina no gosta de golfinhos.
golfinhos.
b) Cristina no gosta de golfinhos ou os
os golfinhos no comem sardinha.
Gabarito:
1A 2C
3D
9 A 10 D 11 E
17 B 18 A 19 E
4C
12 B
20 B
5E
13 B
21 E
6D 7C
8C
14 A 15 A 16 C
22 A 23 B 24 B

118

nos um e-mail.
mail. Nossa proposta responder em, no
mximo, 24 horas! Obrigado!

119
6 lgebra Proposicional
"Quanto mais esperto o homem se julga, mais precisa de
proteo divina para defender
der-se de si mesmo."
[Seneca]
Abordaremos aqui as principais propriedades das proposies lgicas.

lgic Estas so
suficientes para a resoluo rpida da maioria das questes de Raciocnio Lgico
do Teste ANPAD e dos Concursos Pblicos.
A memorizao dessas propriedades dispensar o leitor de desenvolver as
tabelas-verdade
verdade correspondentes.
6.1 Propriedade Comutativa
6.1.1 Conjuno
pqqp
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
V
F
F
F
V
F
F
F
pqqp
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
V
V
V
F
V
V
V
F

120
6.1.3 Disjuno Exclusiva
pqqp
Tabela-Verdade:
q pq qp
V
F
F
F
V
V
V
V
V
F
F
F
p
V
V
F
F
6.1.4 Bicondio
pqqp
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
V
F
F
V
V
F
F
V
6.1.5 5Observao Importantssima:
No se aplica a propriedade comutativa proposio condicional:
pqqp
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
V
F
V
V
V
V
F
V

121
Observe que as duas ltimas colunas da tabela-verdade

tabela
acima no so iguais,
iguais o
que significa dizer que no h equivalncia entre as proposies.
6.2 Propriedade Distributiva
6.2.1 Conjuno x Disjuno Inclusiva
p (q r) (p q) (p r)
Tabela-Verdade:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r q r p (q r) p q p r (p q) (pp r)
V V
V
V
V
V
F
V
V
F
V
V
V V
F
V
V
V
F
F
F
F
F
F
V V
F
F
F
F
F
V
F
F
F
F
V V
F
F
F
F
F
F
F
F
F
F
Observe que as colunas em destaque na tabela-verdade

tabela verdade acima so iguais,
identificando, assim, a equivalncia.
6.2.2 Disjuno Inclusiva x Conjuno
p (q r) (p q) (p r)
Tabela-Verdade:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r q r p (q r) p q p r (p q) (pp r)
V V
V
V
V
V
F
F
V
V
V
V
V
F
V
V
V
V
F
F
V
V
V
V
V V
V
V
V
V
F
F
V
F
F
F
V
F
F
V
F
F
F
F
F
F
F
F

122

6.3 Leis de De Morgan
[Nota: Augustus De Morgan (18061871)
(1806 1871) foi professor da Universidade de Londres.]
S se aplicam as Leis de De Morgan nas negaes de:

Conjuno;
Disjuno inclusiva.
Exemplos:
a) ~ ~ ~
Tabela-Verdade:
p
V
V
F
F
q ~p ~q ~ ~
V F F
F
F F V
F
V V F
F
F V V
V
~( ~ ~
V
V
V
F
pq
V
V
V
F

b) ~(~
Tabela-Verdade:
p
V
V
F
F
q ~p ~q ~
V F F
V
F F V
F
V V F
V
F V V
V
~( ~
F
V
F
F
p ~q
F
V
F
F

123
c) ~
Tabela-Verdade:
q ~p ~q
V F F
F F V
V V F
F V V
p
V
V
F
F
~
V
V
F
V
~( ~
F
F
V
F
~p q
F
F
V
F

d) ~(~
Tabela-Verdade:
p
V
V
F
F
q ~p ~q ~
V F F
F
F F V
F
V V F
V
F V V
F
~(~
V
V
F
V
p ~q
V
V
F
V

e) ~( ~
Tabela-Verdade:
p
V
V
F
F
q ~p ~q
V F F
F F V
V V F
F V V
~
F
V
F
F
~( ~
V
F
V
V
~p q
V
F
V
V


124
6.4 Negao de outras proposies compostas

Lembre-se de que s se aplicam as Leis de De Morgan nas negaes de:
Conjuno;
Disjuno inclusiva.
inclusiva.
Como, ento, seria possvel estabelecer a negao das proposies compostas a
seguir?
a) ~
b) ~(
c) ~(
Resposta: por meio de equivalncias notveis!

6.4.1 Negao de proposio condicional
Para a negao de uma condio,

condio lana-se
se mo da seguinte equivalncia notvel:
~( ~
Algebricamente, vamos negar ambos os membros da equivalncia acima:

~(
~~( ~
No segundo membro da equivalncia, tem-se

tem
uma dupla-negao.
negao. Lembre-se
Lembre de
que: ~~
Desse modo:
~(
Na proposio condicional, a proposio p denominada proposio

antecedente, ou causa,, e a proposio q denominada proposio consequente,
consequente
ou efeito.
125
Assim, uma leitura para a negao da proposio condicional seria:

Manter a causa e negar o efeito.
Tabela-Verdade:
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
pq
V
F
V
V
~(p q)
F
V
F
F
p ~q
F
V
F
F
Observe, na tabela-verdade
verdade acima, que as colunas em destaque confirmam a
equivalncia lgica: ~
~
Exemplos:
1) A negao da proposio: Se chegam visitas, o cachorro late.
a) Se no chegam visitas, o cachorro no late.
b) No chegam visitas e o cachorro no late.
c) Chegam visitas e o cachorro no late.
d) Se o cachorro no late, no chegam visitas.
e) Se o cachorroo late, chegam visitas.
Soluo:
Sejam as proposies simples:
p: Chegam visitas.
q: O cachorro late.
Linguagem simblica da proposio dada:
Negao (via equivalncia notvel): ~
Negao em linguagem corrente: Chegam visitas e o cachorro no late.

126
Observe que a causa (Chegam visitas.) foi mantida; e o efeito (O cachorro

late.) foi negado.
Resposta: alternativa C.
2) ANPAD 2009 Assinale a alternativa que apresenta a negao da proposio
Se a concentrao e a dedicao
dedicao forem efetivas, ento o aprendizado
consequncia.
a) A concentrao e a dedicao so efetivas, e a aprendizagem consequncia.
b) A concentrao e a dedicao so efetivas, e a aprendizagem no
consequncia.
c) A concentrao e a dedicao no so
so efetivas, e a aprendizagem
consequncia.
d) A concentrao e a dedicao so efetivas, ou a aprendizagem no
consequncia.
e) A concentrao e a dedicao no so efetivas, e a aprendizagem no
consequncia.
Soluo:
p: A concentrao e a dedicao so efetivas.
q: O aprendizado consequncia.
consequncia
Linguagem simblica da proposio dada:
Negao (via equivalncia notvel): ~
Negao em linguagem corrente: A concentrao e a dedicao so efetivas e o

aprendizado no consequncia.
consequncia
Resposta: alternativa B.
3) Assinale a alternativa que apresenta a negao da proposio Se no houver
acordo, os professores entraro em greve por tempo indeterminado.
a) No houve acordo e os professores no entraram em greve por tempo
indeterminado.

127
b) Houve acordo e os professores no entraram em greve por

indeterminado.
c) Se houve acordo, os professores no entraram em greve por
indeterminado.
d) Se os professores entraram em greve por
por tempo indeterminado, no
acordo.
e) No houve acordo ou os professores no entraram em greve por
indeterminado.
tempo
tempo
houve
tempo
Soluo:
p: Haver acordo.
q: Os professores entraro em greve por tempo indeterminado.
Linguagem
inguagem simblica da proposio dada: ~
Negao (via equivalncia notvel): ~ ~
~ ~
Negao em linguagem corrente: No houve acordo e os professores no

entraram em greve por tempo indeterminado.
Observao: Lembre-se
se de que, na negao de uma proposio condicional, a
causa deve ser mantida,, estando ela negada ou no, e o efeito deve ser sempre
negado!
[Nota: Observe que o tempo verbal da proposio pode variar,
varia , uma vez que a lgica formal
ocupa-se da estrutura lgica,, e no da sintaxe ou da semntica.]
Resposta: alternativa A.
6.4.2 Negao de proposio bicondicional
Para a negao de uma bicondio, lana-se

lana se mo da seguinte equivalncia
notvel:

128
Algebricamente, vamos negar ambos os membros da equivalncia acima:

~(
Observe que, no segundo membro da equivalncia acima se tem uma negao de

conjuno, na qual se pode aplicar Lei de De Morgan:
~
Agora restaram duas proposies condicionais negadas, nas quais se aplicam a

equivalncia ~
~
Resultando...
~(
Outra forma de se estabelecer a negao da proposio bicondicional atravs da

equivalncia notvel: ~(
(
[Nota: Revise o tpico de Equivalncias Notveis.]
Notveis.
Exemplo:
FDRH 2009 Uma forma de negar a proposio: Joo vai ao mdico se, e
somente se est doente.,
a) Joo no vai ao mdico se, e somente se no est doente.
b) Se Joo no vai ao mdico, ele no est doente.
c) Joo no vai ao mdico e no est doente.
d) Joo vai ao mdico e no est doente, e Joo est doente e no vai ao
mdico.
e) Ou Joo vai ao mdico, ou Joo est doente.
Soluo:
p: Joo vai ao mdico.
q: Joo est doente.

129
A linguagem simblica da proposio

proposi dada :
H duas formas de se estabelecer a negao de uma proposio bicondicional:

a) ~
b) ~
~
(
Desse modo, a negao da proposio dada poderia ser apresentada de uma das
seguintes formas:
a) No verdade que Joo vai ao mdico se, e somente se est doente.
Linguagem simblica: ~(
b) Joo vai ao mdico e no est doente ou Joo est doente e no vai ao
mdico.
Linguagem simblica: ~ ~
c) Ou Joo est doente, ou Joo vai ao mdico.
Linguagem simblica:
Resposta: Alternativa E.
6.4.3 Negao da Disjuno Exclusiva:
~(
Observe o leitor que a disjuno exclusiva a negao da bicondio e vicevice

versa.
1) ANPAD 2010 Uma forma de negar a proposio Se o amor no fosse to
grande e a saudade no fosse infinita, eu no voltaria ou atrasaria minha volta
pode ser escrita como
a) O amor to grande, a saudade infinita; eu volto e no atraso minha volta.
b) O amor too grande, a saudade infinita; eu no volto e atraso minha volta.
c) O amor no to grande, a saudade no infinita; em volto e no atraso minha
volta.
130
d) Se o amor to grande e a saudade infinita, ento eu volto ou atraso minha

volta.
e) Se eu no voltar ou atrasar minha volta, ento o amor no to grande e a
saudade no infinita.
2) ANPAD 2012 (Adaptada) Uma possvel negao da proposio Se Rafael
foi ao supermercado,, ento Manoel foi jogar futebol e usava tnis.
. :
a) Rafael foi ao supermercado e Manoel foi jogar futebol e usava tnis.
tnis
b) Rafael foi ao supermercado ou Manoel foi jogar futebol e usava tnis.
c) Rafael no foi ao supermercado ou Manoel foi jogar futebol e usava tnis.
d) Rafael no foi ao supermercado e Manoel no foi jogar futebol e usava tnis.
e) Rafael foi ao supermercado e Manoel no foi jogar futebol ou no usava tnis.
3) ANPAD 2012 Negar que Os gatos e os cachorros so animais domsticos.
dizer que
a) existem gatos que no so animais domsticos.
b) existem
em cachorros que no so animais domsticos.
c) os gatos e os cachorros no so animais domsticos.
d) todos os gatos ou cachorros so animais domsticos.
e) h algum gato ou cachorro que no animal domstico.
fez a prova ento Pedro estudou pode ser escrita na linguagem simblica como
a) ~ ~
b) ~(~
c) ~(
d) ~
e) ~ ~
5) ANPAD 2006 A negao da proposio Se Joo jogador de basquete,
ento ele bonito, :
a) Se Joo no jogador de basquete, ento ele no bonito.
b) Se Joo no bonito, ento ele no jogador de basquete.
c) Joo no jogador
gador de basquete ou ele bonito.
d) Joo jogador de basquete ou ele no bonito.
e) Joo jogador de basquete e ele no bonito.
131
p:: Bruna foi ao cinema.

q:: Caio foi jogar tnis.
A proposio composta
sta Caio foi jogar tnis ou Bruna no foi ao cinema pode
ser escrita na linguagem simblica como
a) ~ ~ ~
b) ~(~
c) ~( ~
d) ~(~
e) ~( ~
7) ANPAD 2006 A negao da proposio Vera vai ao cinema ou festa
a) Vera vai ao cinema ou no vai festa.
b) Vera no vai ao cinema ou no vai festa.
c) Vera vai ao cinema e festa.
d) Vera no vai ao cinema e vai festa.
e) Vera no vai ao cinema e no vai festa.
segui
proposies:
8) ANPAD 2006 Considere as seguintes
A proposio composta ~(~ , em linguagem corrente, expressa pela
declarao:
feira ou Celso no vai
va jogar boliche.
9) ANPAD 2005 A negao de Carmelinda magra e loira pode ser descrita
por
a) Carmelinda no magra e no loira.
b) Carmelinda no magra ou loira.
c) Carmelinda magra e no loira.
d) Carmelinda no magra ou no loira.
e) Carmelinda magra ou no loira.
10) ANPAD 2004 A negao da proposio: Pedro fala ingls e francs
a) Pedroo fala ingls ou fala francs.
b) Pedro no
o fala ingls e fala francs.
132
c) Pedro no fala ingls ou fala francs.

d) Pedro no fala ingls e no fala francs.
francs
e) Pedro no
o fala ingls ou no fala francs.
11) ANPAD 2003 Considere as seguintes proposies simples
p: Joo vai ao clube.
q: Hoje domingo.
A proposio composta ~( ~ , em linguagem corrente,
a) Joo vai ao clube ou hoje domingo.
b) Joo vai ao clube
lube e hoje domingo.
c) Joo no vai ao clube e hoje no domingo.
d) Joo no vai ao clube e hoje domingo.
e) Joo no vai ao clube ou hoje domingo.
12) ANPAD 2003 A NEGAO da sentena Ana no voltou e foi ao
cinema.
a) Ana voltou ou noo foi ao cinema.
b) Ana voltou e no foi ao cinema.
c) Ana no voltou ou no foi ao cinema.
d) Ana no voltou e no foi ao cinema.
e) Ana no voltou e foi ao cinema.
14) ANPAD 2002 Sejam as proposies
p: Lusa bancria.
q: Lusa fumante.
Ento, a proposio ~(q ~p), em linguagem corrente
a) Lusa no bancria e no fumante.
b) Lusa bancria e no fumante.
c) Lusa fumante, mas no bancria.
d) Lusa no bancria ou fumante.
e) Lusa bancria ou fumante.
133

p: Jos estudante.
p: Pardais adoram frutas.
a) falso
so que pardais adoram frutas e que fazendeiros detestam pardais
c) falso que pardais adoram frutas ou que fazendeiros detestam pardais.
q: Cristina no gosta de golfinhos.
A proposio
posio composta ~(p
golfinhos.
b) Cristina no gosta de golfinhos ou os golfinhos no comem sardinha.

134
Gabarito:
1C 2E 3E 4E 5E 6E 7E 8A 9D
10 E 11 E 12 A 13 B 14 B 15 E 16 B 17 B
nos um e-mail.
mximo, 24 horas!
Obrigado!

135
Lgica de Argumentao
Tudo aquilo que no enfrentamos em vida acaba se tornando
tornand
nosso destino.
[Carl Jung]
7.1 Argumento Lgico Dedutivo

Um argumento formado por um uma ou mais proposies, P1, P2, P3, ..., Pn,
chamadas de premissas, seguidas de uma proposio Q, chamada de concluso.
Uma forma simblica de se representar um argumento a seguinte:
P1, P2, P3, ..., Pn Q
L-se: P1, P2, P3, ..., Pn acarretam Q, ou
Q se deduz de (ou decorre de, ou se infere de) P1, P2, P3, ..., Pn
Na representao acima, as premissas so apresentadas na forma simblica,
separadas por vrgula.
gula. A proposio direita do smbolo (chamado de trao de
assero) a concluso do argumento.
Outra forma de se representar um argumento:
P1: (proposio)
P2: (proposio)
P3: (proposio)
...
Pn: (proposio)
Q: (proposio)
Descrio: colocam-se
se as proposies, em linguagem simblica,, uma embaixo da
outra. A seguir, passa-se
se um trao sob a ltima premissa, e, aps o trao, colocacoloca
se a concluso, tambm em linguagem simblica.
Exemplo:
ANPAD 2002 (adaptado) Considere o seguinte argumento:
Se 7 menor que 4, ento 7 no primo.
136
Mas 7 no menor que 4, logo 7 primo.

O primeiro passo para a resoluo do argumento identificar as premissas e a
concluso:
I.

primo. Premissa 1.
Mas 7 no menor que 4. Premissa 2.
Logo, 7 primo. Concluso.
[Nota: na linguagem corrente, a concluso do argumento sempre vir aps palavras

palavra ou
expresses tais como logo, portanto, desse modo, assim sendo, etc.]
O segundo passo identificar todas as proposies simples contidas no

argumento, representando cada uma delas em linguagem simblica por letras
minsculas, conforme j visto no Captulo 1:
p: 7 menor que 4.
q: 7 primo.
[Nota: procure representar as proposies simples (simbolicamente) sempre na forma
afirmativa,, ainda que, no argumento dado, elas estejam na forma negativa.]
O terceiro passo escrever o argumento em linguagem simblica, usando a

segunda forma de representao
represe
vista anteriormente:
P1: p ~q
P2: ~p
Q: q
.
Observao: O argumento acima um silogismo.

Silogismo todo argumento constitudo por duas premissas,, seguidas de uma
concluso.
[Nota: o procedimento acima sempre deve ser adotado sempre que a questo solicitar a
validao do argumento.]

137
7.2 Validao de Argumentos

Um argumento ser vlido quando sua concluso for verdadeira, sempre que
todas as suas premissas forem verdadeiras.
[Nota: a verdade,, tanto das premissas quanto da concluso, decorrem da estrutura lgica
do argumento, e no do julgamento das proposies contidas nele. Em outras palavras: a
validao est na estrutura lgica do argumento.]
7.2.1 Mtodo da Tabela-Verdade

Tabela Verdade para validao de argumentos
ar
O mtodo ficar mais bem explicado, se utilizarmos um exemplo:

Argumento:
Proposies em linguagem simblica:
p: 7 menor que 4.
q: 7 primo.
Argumento em linguagem simblica:
P1: p ~q
P2: ~p
Q: q
.
Para a validao de um argumento por meio de sua tabela-verdade,

tabela verdade, deve-se
deve
proceder do seguinte modo:

138
7.2.1.1
Construir a tabela-verdade
verdade do argumento
1
2
3
4
7.2.1.2
q ~p ~q p ~q
V F F
F
F F V
V
V V F
V
F V V
V
Destacar, na tabela-verdade,
tabela verdade, as colunas em que se encontram as premissas e
tambm a concluso do argumento:
1
2
3
4
7.2.1.3
p
V
V
F
F
p
V
V
F
F
Q P2
P1
q ~p ~q p ~q
V F F
F
F F V
V
V V F
V
F V V
V
Selecionar as linhas em que todas as premissas so verdadeiras (V), e descartar as

demais:
1
2
3
4
p
V
V
F
F
Q P2
P1
q ~p ~q p ~q
V F F
F
F F V
V
V V F
V
F V V
V
Na tabela-verdade
verdade acima, as linhas 1 e 2 foram descartadas, pois as premissas
no so todas verdadeiras nessas duas linhas.
As linhas 3 e 4 apresentam as premissas verdadeiras.
P1
Q P2
p q ~p ~q p ~q
3 F V V F
V
4 F F V V
V
7.2.1.4
Para que o argumento seja vlido, a concluso deve ser verdadeira (V) em todas as
linhas cujas premissas so verdadeiras.

139
Observe, na tabela-verdade
verdade acima, que a concluso falsa na linha 4. Desse
modo, o argumento dito no vlido, ou invlido, ou falcia, ou sofisma.
sofisma
Exerccio Resolvido:
ANPAD 2002 Considere os seguintes argumentos:
I.
II. Se Londres est na Dinamarca, ento Paris no est na Frana.
Mas Paris est na Frana, portanto Londres est na Dinamarca.
III. Se 5 um nmero primo, ento 5 no divide 15.
Mas 5 divide 15, logo 5 no um nmero primo.
A validade dos argumentos I, II, III forma, respectivamente, a seguinte
sequencia:
a) Vlido, Vlido, Vlido
b) No vlido, No vlido, Vlido
c) Vlido, No vlido, Vlido
d) Vlido, Vlido, No vlido
e) No vlido, No vlido, No vlido
Soluo:
O argumento I j foi resolvido.
Argumento II:
Se Londres est na Dinamarca, ento Paris no est na Frana.
Proposies em linguagem
guagem simblica:
p: Londres est na Dinamarca.
q: Paris est na Frana.
P1: p ~q
P2: q
Q: p
.

140
Tabela-verdade:
1
2
3
4
Q P2
P1
p q ~q p ~q
V V F
F
V F V
V
F V F
V
F F V
V
Seleo das linhas em que todas as premissas so verdadeiras:
1
2
3
4
Q P2
P1
p q ~q p ~q
V V F
F
V F V
V
F V F
V
F F V
V
Q P2
P1
p q ~q p ~q
3 F V F
V
Observe, na linha 3 remanescente na tabela-verdade
tabela verdade acima, que a concluso
falsa. Ento, o argumento no vlido.
Argumento III:
Se 5 um nmero primo, ento 5 no divide 15.

141

P1: p ~q
P2: q
Q: ~p
.
Tabela-verdade:
1
2
3
4
p
V
V
F
F
P2
q
V
F
V
F
Q
P1
~p ~q p ~q
F F
F
F V
V
V F
V
V V
V
Seleo das linhas em que todas as premissas so verdadeiras:
1
2
3
4
p
V
V
F
F
P2
q
V
F
V
F
Q
P1
~p ~q p ~q
F F
F
F V
V
V F
V
V V
V
P2 Q
P1
p q ~p ~q p ~q
3 F V V F
V
Observe, na linha 3, que tanto as premissas quanto a concluso so verdadeiras.
O argumento , portanto, vlido.
Resposta:: Alternativa B.
7.2.2 Mtodo
da
condicional
associada
para
validao
de
argumentos
Este mtodo consiste em se criar uma proposio condicional

condicional na qual a
proposio antecedente a conjuno de todas as premissas, e a proposio
consequente a concluso do argumento.

142
Simbolicamente:
P1 P 2 P3 ... Pn Q
Se a condicional associada for uma tautologia, o argumento ser vlido.
vlido
Exemplo:
ANPAD 2002 Considere os seguintes argumentos:
I.
Mas Paris est na Frana, portanto Londres
Londres est na Dinamarca.
sequncia:
Soluo:
Argumento I:
p: 7 menor que 4.
q: 7 primo.

143

P1: p ~q
P2: ~p
Q: q
.
Condicional associada: [(p ~q) (~p)] q

Tabela-Verdade:
1
2
3
4
p
V
V
F
F
q ~p ~q p ~q (p ~q) (~p) [(p ~q) (~p)]

(~p) q
V F F
F
F
V
F F V
V
F
V
V V F
V
V
V
F V V
V
V
F
Observe que a condicional associada (vide ltima coluna da tabela-verdade

tabela
acima) no uma tautologia. Portanto, o argumento no vlido.
Argumento II:
Se Londres est na Dinamarca, ento Paris no est na Frana.
P1: p ~q
P2: q
Q: p
.
Condicional associada: [(p ~q) q] p

144
Tabela-Verdade:
p
V
V
F
F
1
2
3
4
q ~p ~q p ~q (p ~q) q [(p ~q) q] p

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

tabela
acima) no uma tautologia. Portanto, o argumento no vlido.
Argumento III:
Se 5 um nmero primo, ento 5 no divide 15.
P1: p ~q
P2: q
Q: ~p
.
Condicional associada: [(p ~q) q] ~p

Tabela-Verdade:
1
2
3
4
p
V
V
F
F
q ~p ~q p ~q (p ~q) q [(p ~q) q] ~p

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

tabela
acima) uma tautologia.. Portanto, o argumento vlido.

145
7.2.3 Mtodo
das regras
de
inferncia
para
validao
de
argumentos
As regras a seguir se aplicam apenas em silogismos, cuja premissa 1 uma

proposio condicional, e tanto a premissa 2 quanto a concluso so proposies
simples.
7.2.3.1
Regra Modus Ponens:
[Nota: Em grego, Modus Ponens significa modo afirmativo.]
P1: p q
P2: p
Q: q
.
Condicional associada: [(p q) p] q

Tabela-verdade:
1
2
3
4
p
V
V
F
F
q p q (p q) p [(p q) p] q
V
V
V
V
F
F
F
V
V
V
F
V
F
V
F
V
A ltima coluna da tabela-verdade

tabela
acima (condicional associada ao argumento)
uma tautologia. Portanto, o argumento vlido.
7.2.3.2 Regra Modus Tollens:
[Nota: Em grego, Modus Tollens
Toll
significa modo negativo.]
P1: p q
P2: ~q
Q: ~p
.
Condicional associada: [(p q) (~q)] ~p

146
Tabela-verdade:
1
2
3
4
p
V
V
F
F
q ~p ~q p q (p q) ~q [(p q) ~q] ~p
V F F
V
F
V
F F V
F
F
V
V V F
V
F
V
F V V
V
V
V
A ltima coluna da tabela-verdade

tabela verdade acima (condicional associada ao argumento)
uma tautologia. Portanto, o argumento vlido.
Observaes:
(1) As regras Modus Ponens e Modus Tollens s se aplicam a silogismos cuja
premissa 1 seja uma proposio condicional, e,
e tanto a premissa 2 quanto a
concluso sejam proposies simples.
(2) No necessrio desenvolver a tabela-verdade
tabela verdade para as regras Modus Ponens
e Modus Tollens,, como foi feito acima.
acima. Basta que o leitor observe atentamente a
estrutura lgica de cada uma delas, aplicando-as
aplicando as ao argumento em anlise.
(3) H outras regras de inferncia, que no sero abordadas neste livro.
(4) Voc sabia que, atravs do quadro resumo visto no item 2.2.6.8. (reproduzido
abaixo), possvel validar um argumento sem escrever sua tabela-verdade
tabela
inteira, em menos de um minuto?
Proposio:
verdadeira
quando:
pq
AMBAS
as
proposies
simples
so
verdadeiras
pq
PELO MENOS
UMA
das
proposies
simples
verdadeira
pq
APENAS UMA
das proposies
simples
verdadeira
pq
NO
OCORRER VF,
VF
nesta ordem, entre
as
proposies
simples
pq
NO
OCORRER VF,
NEM FV, entre
as
proposies
simples
A tcnica ensejada acima s pode ser explicada em aula presencial.

7.3 Silogismo Hipottico
O silogismo hipottico constitudo de duas premissas com proposies
proposi
condicionais, seguidas de uma concluso tambm
m dada sob a forma
f
de
proposio condicional.
147
Em linguagem simblica, temos:

P1: p q
P2: q r
Q: p r
Observe que o consequuente
ente da primeira premissa igual ao antecedente da
segunda premissa. A concluso formada pelo antecedente da primeira premissa
com o consequente
ente da segunda premissa.
Exemplo:
ANPAD 2002 Se Felipe toca violo, ele canta. Se Felipe toca piano, ento ele
no canta. Logo
a) Se Felipe no toca violo, ento ele no toca piano.
b) Se Felipe toca violo, ento ele no toca
toc piano.
c) Se Felipe toca violo, ento ele no canta.
d) Se Felipe canta, ento ele no toca violo.
e) Se Felipe toca piano, ento ele canta.
Soluo:
Linguagem simblica:
p: Felipe toca violo.
q: Felipe canta.
r: Felipe toca piano.
Argumento
rgumento em linguagem simblica:
P1: p q
P2: r ~q
Q: ?
Para que a proposio consequente na Premissa 1 fique igual proposio
antecedente na Premissa 2 basta substituir, na premissa 2, a condio pela sua
contrapositiva:

148
P1: p q
P2: q ~r
Q: p ~r
m linguagem corrente: Se Felipe toca violo,
violo, ento ele no toca
Concluso, em
piano.
Resposta: Alternativa B..
1) ANPAD 2009 Dado o texto Neste mundo capitalista, a poltica define o que
se pode ganhar, porque ela, alm de elaborar as regras, tambm as aplica.,
aplica podese afirmar que
a) a proposio no mundo capitalista, a poltica define o que se pode ganhar a
concluso do argumento sugerido.
b) a proposio no mundo capitalista, a poltica define o que se pode ganhar
g
a
premissa do argumento sugerido.
c) no h concluso no argumento estabelecido no texto.
d) no h premissa no argumento delineado no texto.
e) o texto no consiste em um argumento.
2) ANPAD 2009 Considera as seguintes proposies verdadeiras.
I.
Clia no escritora ou Paulo atleta.
II. Sara mope ou Paulo no atleta.
III. Paulo no atleta ou Sara no mope.
IV. Se Sara no mope, ento Clia escritora.
Ento, pode-se
se concluir que
a) Clia escritora, Paulo no atleta e Sara mope.
b) Clia escritora, Paulo no atleta e Sara no mope.
c) Clia no escritora, Paulo atleta e Sara mope.
d) Clia no escritora, Paulo no atleta e Sara mope.
e) Clia no escritora, Paulo no atleta e Sara no mope.
3) ANPAD 2009 Se Pedro est na empresa, Mrio e Cntia esto de folga do
trabalho na empresa. Se Cntia est de folga do trabalho na empresa, Bruno no
vai escolinha. Se Bruno no vai escolinha, Pietra tambm no vai. Ora, Bruno
foi escolinha. Logo,, pode-se
pode concluir que
149
a) Cntia no est de folga do trabalho na empresa.

b) Mrio no est de folga do trabalho na empresa.
c) Cntia no est de folga do trabalho na empresa e Pietra foi escolinha.
d) Pedro e Cntia esto na empresa.
e) Pedro no est na empresa e Mrio est na empresa.
4) ANPAD 2009 Quatro irmos decidiram que no passaro juntos um
determinado feriado, cada um indo para uma cidade diferente: ou Paulo ir para
Curitiba, ou Pedro ir para Belm, ou Pierre ir para Campo Grande; se Polrcio
for para Fortaleza, ento Pierre ir para Campo Grande; se Pedro for para Belm,
ento Polrcio ir para Fortaleza. Ora, Pierre no ir para Campo Grande. Logo,
a) Paulo ir para Curitiba ou Pedro no ir para Belm.
b) Paulo no ir para Curitiba
Curitib e Polrcio no ir para Fortaleza.
c) Pedro ir para Belm ou Polrcio ir para Fortaleza.
d) Pedro no ir para Belm e Polrcio ir para Fortaleza.
e) Pedro no ir para Belm e Paulo no ir para Curitiba.
5) ANPAD 2009 Dadas as proposies sobre a empresa X:
p: Se as vendas diminuem, ento a empresa vai falncia.
q: Se o custo de produo sobe, ento os preos sobem.
r: Se os preos sobem, ento as vendas diminuem.
Sabe-se
se que a empresa X no foi falncia, ento
a) as vendas no aumentaram
b) as vendas diminuram
c) o custo de produo no subiu
d) os preos diminuram
e) os preos subiram
6) ANPAD 2009 Considere as seguintes proposies como premissas:
I.
Alberto no vai ao shopping ou Beatriz vai praia.
II.
Se Alberto no vai ao shopping, ento Beatriz e Carlos iro acampar.
III. Beatriz e Carlos iro acampar se, e somente se, existirem condies
climticas favorveis para a prtica de tal atividade.
Como Beatriz no foi praia, a concluso para que esse argumento seja invlido
a) Alberto no foi ao shopping e Beatriz e Carlos foram acampar.

b) Alberto no foi ao shopping e existem condies climticas favorveis
prtica do camping.

150
c) Alberto no foi ao shopping ou Beatriz e Carlos foram acampar com

condies climticas favorveis
favorvei prtica do camping.
d) Se Beatriz e Carlos foram acampar com condies climticas favorveis
prtica de tal esporte, ento Alberto foi ao shopping.
e) Se existem condies climticas favorveis prtica do camping, ento
Alberto no foi ao shopping
ing.
7) ANPAD 2010 Uma notcia foi assim divulgada:
Se a inflao subir dois pontos percentuais, o salrio ser reajustado em um
ponto percentual.
Acontece que o reajuste salarial foi de trs pontos percentuais. Logo,
a) a inflao subiu dois pontos percentuais.
b) a inflao subiu seis pontos percentuais.
c) a regra estabelecida na notcia no foi violada.
d) a regra estabelecida na notcia foi violada.
e) a regra garante o reajuste dos trs pontos anunciados.
8) ANPAD 2010 Se eu corro, eu me condiciono
condiciono fisicamente. Se eu me
condiciono fisicamente, eu fico resistente a resfriados. Agora eu no estou
condicionado fisicamente; logo,
a) eu no fico resistente a resfriados.
b) eu corro e fico resistente a resfriados.
c) eu corro e no fico resistente a resfriados.
d) eu no corro e no fico resistente a resfriados.
e) eu no corro ou no fico resistente a resfriados.
9) ANPAD 2010 Seja dado o seguinte argumento:
Se ele tem muitos amigos, ele os respeita como indivduos. Se os respeita como
indivduos,
s, ento ele no pode esperar que todos eles se comportem da mesma
maneira. Ele tem muitos amigos. Portanto, no espera que todos eles se
comportem da mesma maneira.
Considerem-se
se as letras sentenciais: A: Ele tem muitos amigos; R: Ele respeita
seus amigoss como indivduos e E: Ele espera que todos os amigos se comportem
da mesma maneira. Ento, qual das seguintes alternativas representa uma
formalizao horizontal desse argumento?
a) , ~ , ~ .
b) , ~ , ~ .
c) , ~ , ~
d) , ~ , .
151
e) ~ ,
~ ,
10) ANPAD 2010 Sejam dadas as sentenas: P: Marcus se saiu bem na prova
de estatstica e Q: Sabrina se saiu bem na prova de matemtica e de
estatstica. Sabendo-se,
se, alm disso, que Marcus e Sabrina se saram bem na
prova de estatstica, pode-se
pode concluir que
a) P Q verdade.
b) Q P verdade.
c) P Q falso.
d) Q P falso.
e) Q P verdade.
11) ANPAD 2010 Se tudo que amor proibido e toda proibio cobiada,
ento
a) tudo que cobiado amor.
b) tudo que proibido amor.
c) tudo que no cobiado proibido.
d) tudo que amor cobiado.
e) tudo que no amor no cobiado.
12) ANPAD 2010 Voc sabe que Se chover, ento Roger no sair de casa.
Como Roger saiu de casa, voc conclui que no choveu. Esse processo de
inferncia
a) apenas indutivo .
b) apenas dedutivo.
c) indutivo e dedutivo.
d) predicativo.
e) tanto indutivo como predicativo.
predicativo
13) ANPAD 2010 Se Elias for ao cinema, ento Graa dentista. Felipe
cozinheiro, ou Diana professora, ou graa dentista. Se Diana professora,
ento Elias ir ao cinema. Ora, Graa no dentista. Ento, conclui-se
conclui que
a) Diana professora e Graa no dentista.
dentist
b) Diana professora ou Elias ir ao cinema.
c) Diana no professora e Elias ir ao cinema.
d) Felipe cozinheiro e Diana no professora.
e) Felipe no cozinheiro e Elias no ir ao cinema.

152
14) ANPAD 2010 Se Alberto est na portaria, ele, sempre

sempre que Maria chega
atrasada empresa, anota em um caderno o tempo de atraso dessa funcionria.
Hoje, Maria foi trabalhar e Alberto no anotou no caderno o tempo de atraso
dela. Logo, pode-se
se concluir, com certeza, que hoje
a) Maria chegou atrasada.
b) Maria
ria no chegou atrasada.
c) Maria chegou atrasada, mas Alberto no estava na portaria.
d) Maria no chegou atrasada e Alberto estava na portaria.
e) Maria no chegou atrasada ou Alberto no estava na portaria.
15) ANPAD 2010 Se quem come manga com leite passa mal; logo, quem
16) ANPAD 2010 Observe as sentenas:
sentenas: Se eu estudar, passarei no concurso
e Eu passarei no concurso ou no estudarei. Logo,
a) no se pode concluir a segunda sentena com base na primeira.
b) no se pode concluir a primeira sentena com base na segunda.
c) pode-se
se afirmar que as duas sentenas
sentenas no so proposies lgicas.
d) pode-se
se afirmar que as duas sentenas so proposies lgicas equivalentes.
e) pode-se
se concluir que, se eu passei no concurso, ento eu estudei.
17) ANPAD 2010 Considere as formas de argumento expostas a seguir.
I.
, ~ , ~~
II.
~ Q, ~ , ~
III. ~ ~Q, ~ , ~
Pode-se
se concluir que a(s) forma(s) de argumento vlida(s) (so)
a) apenas I.
b) apenas I e II.
c) apenas I e III.
d) apenas II e III.
e) I, II e III.
18) ANPAD 2010 Sejam as proposies P: sair de casa; R: no est
chovendo e T: correr beira-mar.
beira mar. Uma forma de escrever o argumento
P R, ~ ~T R , P T
153
a) Se eu saio de casa, ento no est chovendo. No verdade que eu no corro

beira-mar e est chovendo. Eu saio de casa. Portanto, corro beira-mar.
beira
b) Se eu saio de casa, ento est chovendo. No verdade que eu no corro
beira-mar
mar e est chovendo. Eu saio de casa. Portanto, corro beira-mar.
beira
c) Se eu saio de cs, ento no est chovendo. No verdade que eu corro
beira-mar
mar e est chovendo. Eu saio de casa. Portanto, corro beira-mar.
beira
d) Se eu saio de cs, ento no est chovendo. No verdade que eu no corro
beira-mar
mar e no est chovendo. Eu saio de cs. Portanto, corro beira-mar.
beira
e) Se eu saio de casa, ento no est chovendo. Eu corro beirabeira-mar e no est
chovendo. Eu saio de cs. Portanto, corro beira-mar.
beira
19) ANPAD 2010 Considere as proposies a seguir.
p: Se Luisa solteira e no advogada, ento Luisa nadadora.
nada
q:: Luisa no nadadora.
Pode-se
se concluir que Luisa
a) solteira e advogada.
b) solteira e no advogada.
c) no solteira e advogada.
d) no solteira ou advogada.
e) no solteira e advogada.
I.
Pessoas idosas so egostas.
II.
Pessoas egostas so rejeitadas.
III. Quem sabe escalar prdio no rejeitado.
Assim, NO se pode concluir que pessoas
a) egostas no sabem escalar prdio.
b) idosas no sabem escalar prdio.
c) idosas so rejeitadas.
d) rejeitadas no sabem escalar prdio.
e) rejeitadas so egostas.
21) ANPAD 2010 Dada a sequncia de implicaes P Q, Q R, R T,
T S e
a) ~R, posso concluir ~T.
b) ~S, posso concluir P.
c) ~S, posso concluir ~P.
d) Q, posso concluir P.
e) T, posso concluir P.
154
22) ANPAD 2011 Uma universidade pode optar entre uma das duas formas a
seguir para realizar o processo de seleo de alunos para os seus cursos de
graduao: um novo processo seletivo ou o vestibular tradicional. Se optar por
um novo processo
sso seletivo, ento a universidade optar pelo ENEM (Exame
Nacional do Ensino Mdio) e pela aplicao de uma nova prova de vestibular. Se
adotar o ENEM, ento ela utilizar a nota mdia das edies do ENEM de que
cada candidato participou. Se adotar uma nova
nova prova de vestibular, a prova ser
especfica para a rea de cada curso (sade, exatas, humanas, etc.). Sabe-se
Sabe que a
universidade no adotar a nota mdia das edies do ENEM de que cada
candidato participou. Logo, a universidade
a) adotar o vestibular tradicional e o ENEM.
b) adotar o vestibular tradicional ou aplicar uma nova prova de vestibular.
c) adotar um novo processo seletivo e aplicar uma nova prova de vestibular.
d) adotar um novo processo seletivo, mas no aplicar uma nova prova de
vestibular.
e) aplicar uma nova prova de vestibular, mas no adotar a nota mdia das
edies do ENEM.
23) ANPAD 2011 Definindo as letras sentenciais A, B e C como:
A: O carro veloz.
B: A rua est livre.
C: Eu chegarei a tempo.
As premissas (A B) C e ~C nos possibilitam concluir que
a) o carro veloz e no chegarei a tempo.
b) a rua no est livre e o carro no veloz.
c) no verdade que a rua no est livre ou que o carro veloz.
d) no verdade que a rua no est livre e que o carro no
no veloz.
e) no verdade que o carro veloz ou que no chegarei a tempo.
24) ANPAD 2011 Se ela sai, ento ele no volta. Se ela no sai, ento eu no
vou. Agora, eu vou; logo,
a) ela sai e ele volta.
b) ele volta e ela no sai.
c) ele no volta e ela sai.
d) ela no sai e ele no volta.
e) ela no sai ou ele volta.

155
25) ANPAD 2011 Se Belarmino mais alto do que Amlia, ento Amlia e
Antnia tm a mesma altura. Se Amlia e Antnia tm a mesma altura, ento
Cssia mais baixa do que Paulo. Se Cssia
Cssia mais baixa do que Paulo, ento
Emerson mais alto do que Cssia. Ora, Emerson no mais alto do que Cssia.
Logo,
a) Cssia mais baixa do que Paulo e Amlia e Antnia tm a mesma altura.
b) Amlia e Antnia tm a mesma altura, e Belarmino mais alto do que Amlia.
c) Cssia no mais baixa do que Paulo, e Amlia e Antnia tm a mesma altura.
d) Amlia e Antnia no tm a mesma altura, e Belarmino mais alto do que
Amlia.
e) Cssia no mais baixa do que Paulo, e Belarmino no mais alto do que
Amlia.
26) ANPAD 2011 Se Ivan no italiano, ento Amlia alem, e Magda
inglesa. Se Ivan italiano, ento Bernardo brasileiro ou Gregrio grego. Se
Gregrio grego, France francesa. Mas France francesa se, e somente se, no
for verdade
ade que Elena no espanhola. Porm, Elena no espanhola. Logo,
a) Ivan italiano.
b) Amlia no alem.
c) Bernardo brasileiro.
d) Magda no inglesa.
e) Gregrio no grego.
27) ANPAD 2011 Se Jos viaja, ento seu filho Pedro joga bola conosco. Se a
me de Pedro viaja, ento Pedro no joga bola conosco. Assim, pode-se
pode afirmar:
a) Pedro s joga bola conosco se seu pai viajar.
b) Se Pedro est jogando bola conosco, ento seu pai viajou.
c) Se Pedro est jogando bola conosco,ento sua me no viajou.
d) certo que o pai est em casa, j que Pedro est jogando bola conosco.
e) certo que a me est em casa, j que Pedro est jogando bola conosco.
28) ANPAD 2011 Se estou com fome, ento no aprendo a matria. Se presto a
ateno desejada, ento aprendo a matria. Assim,
a) se presto a ateno desejada, ento estou com fome.
b) se no estou com fome, ento presto a ateno desejada.
c) se presto a ateno desejada, ento no estou com fome.
d) se aprendo a matria, ento eu presto a ateno desejada.
e) se no estou com fome, ento no presto a ateno desejada.

156
29) ANPAD 2011 Quando se fala de proposies, fala-se

fala se de verdade e
falsidade; quando se fala de argumento, fala-se
fala em validade e invalidade.
validade. Sejam
dados os argumentos a seguir:
I. Se Pedro for ao cinema, tomar sorvete. Sabe-se
Sabe se que ele foi ao cinema.
Portanto, ele tomar sorvete.
II. Se Pedro for ao cinema, tomar sorvete. Sabe-se
Sabe se que ele no foi ao cinema.
Portanto, ele no tomar sorvete.
so
III. Se Pedro for ao cinema, tomar sorvete. Sabe-se
Sabe se que ele no tomou sorvete.
Portanto, ele no foi ao cinema.
Os argumentos I, II e III so, respectivamente,
a) vlido, vlido e vlido.
b) vlido, invlido e vlido.
c) vlido, vlido e invlido.
d) invlido, invlido e vlido.
e) invlido, vlido e invlido.
30) ANPAD 2011 Em uma conversa com o professor, Pedro anotou as
seguintes proposies:
I. Se eu estudar, ento irei bem na prova ou aprenderei a matria.
II. Se eu for bem na prova, ento passarei de ano.
III. Se eu aprender a matria, ento passarei de ano.
Nesses termos, assinale a alternativa que apresenta uma concluso possvel.
a) Se Pedro estudar, ento passar de ano.
b) Estudar condio necessria para passar de ano.
c) Pedro aprender
nder a matria mesmo no estudando.
d) Se Pedro estudar, ainda assim no passar de ano.
e) Pedro ir bem na prova implica ele ter aprendido a matria.
31) ANPAD 2011 Se Mnica tem uma funo gratificada no trabalho, ento ela
tem uma boa casa. Se ela gasta
gasta tudo em sales de beleza, ento ela no tem uma
boa casa. Foi descoberto que Mnica no tem uma boa casa; logo, Mnica
a) Gasta tudo em sales de beleza.
b) No gasta tudo em sales de beleza.
c) Tem uma funo gratificada no trabalho.
d) No tem uma funo gratificada no trabalho.
e) Tem uma funo gratificado no trabalho e gasta tudo em sales de beleza.
a) vi.
157
b) olhei.
olhei
33) ANPAD 2012 (Adaptada) Se Slvio tem dinheiro suficiente, ento ele
el
comprar
ar o carro que quer.
quer Se Slvio ganhar na loteria,, ento ele
el ter dinheiro
suficiente. Baseando-se,
se, unicamente, nessas duas informaes, certo que:
a) Slvio no ganhou na loteria.
loteria
b) Slvio ganhou na loteria,
loteria mas no comprou a blusa que queria.
c) Se Slvio no comprou o carro queria, ento ele no ganhou na loteria.
loteria
d) Se Slvio comprou o carro que queria, ento ganhou na loteria.
e) Se Slvio no ganhou na loteria, ento ele comprou o carro que queria.
34) ANPAD 2012 (Adaptada) Considere a seguinte afirmao:
afirmao Se Joo o
culpado, ento ele est com a mala do dinheiro. Se Joo trabalha na empresa, ele
suspeito de desfalque.. Mas Joo no tem a mala do dinheiro e tampouco
suspeito pelo crime. Logo,
a) Joo culpado e trabalha na empresa.
b) Joo culpado ou trabalha na empresa.
c) Joo no culpado e trabalha na empresa.
d) Joo culpado e no trabalha na empresa.
e) Joo no culpado e no trabalha
traba na empresa.
35) ANPAD 2012 (Adaptada) Sabe-se que, se Cludio fizer o curso,
curso ento no
far a viagem ao exterior.
exterior Contudo, ou Cludio far a viagem ao exterior,
exterior ou no
comprar uma casa e tampouco tirar frias. Como Cludio tirou frias,
frias tem-se:
a) Cludio fez a viagem ao exterior e fez o curso.
b) Cludio no fez a viagem ao exterior e fez o curso.
c) Cludio fez a viagem ao exterior e no fez o curso.
d) Cludio no fez a viagem ao exterior e no fez o curso.
e) Se Cludio no fez o curso,
curso ento no fez a viagem ao exterior.
36) ANPAD 2012 (Adaptada) Considere as seguintes premissas de um
argumento: Se papai noel existe ou os golfinhos so minerais,, ento o cachorro
vegetal. Se o cachorro vegetal,, ento jil bom no lanche. Mas jil no
bom no lanche. Para que o argumento seja vlido, pode-se
pode se concluir que
a) os golfinhos so ave e papai noel no existe.
b) golfinhos so minerais e papai noel no existe.
158
c) o cachorro no vegetal e papai noel existe.

d) os golfinhos no so minerais e papai noel no existe.
e) o cachorro vegetal e golfinhos no so minerais.
37) ANPAD 2012 (Adaptada) Se o co est no canil,, ento ele tem coleira. Se
o co tem coleira,, ento domesticado. Porm, o co no domesticado;
domesticado logo,
a) o co est no canil e tem coleira.
b) o co est no canil ou tem coleira.
c) o co est no canil e no tem coleira.
d) o co no est no canil e tem coleira.
e) o co no est no canil e no tem coleira.
38) ANPAD 2012 (Adaptada) Se h fumaa, h fogo. See h brasa, h fogo.
Logo,
a) no h fumaa e nem brasa.
b) no h fumaa e nem fogo.
c) se h fogo, ento h fumaa e brasa.
d) se no h fogo, ento no h fumaa e nem brasa.
e) se no h fumaa, ento no h fogo e nem brasa.
40) ANPAD 2006 Cinco amigos, Andr, Celso, Daniel, Hugo e Mrio, prestam
exame de seleo para a Aeronutica. Sabe-se
Sabe se que, se Andr estudou, Celso foi
aprovado; se Daniel foi aprovado, Andr estudou; se Hugo no estudou, Mrio
tambm no o fez; se Hugo estudou, Daniel foi aprovado. Como Mrio estudou,
a) Daniel no foi aprovado.
b) Hugo no foi aprovado.
provado.
c) Mrio foi aprovado.
d) Andr foi aprovado.
e) Celso foi aprovado.
41) ANPAD 2006 Considere os seguintes argumentos:
159
I.
Se o leo manso, ento o coelho no branco.

Como o coelho branco, o leo no manso.
II. O anel de ao ou a bolinha de ferro.
O anel no de ao logo, a bolinha no de ferro.
III. Se Denise canta, ento Flvio chora.
Ora, Denise no canta, logo, Flvio no chora.
A atribuio de validade aos argumentos I, II e III forma, respectivamente, a
seguinte sequencia:
a) vlido, no vlido, no vlido.
b) no vlido, no vlido, no vlido.
c) vlido, vlido, no vlido.
d) no vlido, no vlido, vlido.
e) vlido, noo vlido, vlido.
42) ANPAD 2005 Joo falou para seus alunos na aula de lgica formal:
Se o princpio da lgica for entendido, ento a aula proveitosa, todavia,
t
a aula
ser proveitosa somente se vocs prestarem ateno.
Advertiu ainda sobre o fato de que a aula poderia ser proveitosa, mesmo que o
princpio da lgica no fosse compreendido. Sabe-se
Sabe se que os alunos no prestaram
ateno aula. Logo, pode-se
pode concluir que
a) a aula foi proveitosa e o princpio da lgica foi entendido.
e
b) a aula foi proveitosa ou o princpio da lgica foi entendido.
c) a aula no foi proveitosa ou os alunos entenderam o princpio da lgica.
d) a aula foi proveitosa e o princpio da lgica no foi entendido.
e) a aula no foi proveitosa e os alunos no entenderam o princpio da lgica.
43) ANPAD 2005 Considere as seguintes proposies.
Quem sabe pintar no insensvel.
Mutantes no sabem escrever.
Quem no sabe escrever insensvel.
Uma concluso possvel pode ser escrita como
a) Os seres insensveis no sabem escrever.
b) Mutantes no sabem pintar.
c) Seres que no sabem pintar so insensveis.
d) Seres que sabem escrever no so insensveis.
e)) Seres que no sabem escrever so mutantes.
44) ANPAD 2005 Considere as seguintes proposies condicionais:
Se Jorge maior do que Jardel, ento Tiago e Caio tm o mesmo tamanho.
160
Se Tiago e Caio tm o mesmo tamanho, ento Pedro maior do que

Jardel.
Se Pedro maior do que Jardel, ento Jorge maior do que Tiago.
Sabendo-se
se que Jorge no maior do que Tiago, qual das seguintes alternativas
apresenta uma
proposio verdadeira de acordo com as apresentadas acima?
a) Jorge no maior do que Tiago e Pedro menor do que Jardel.
b) Jorge maior do que Jardel
Jardel e Tiago e Caio tm o mesmo tamanho.
c) Jorge no maior do que Jardel e Tiago e Caio no tm o mesmo tamanho.
d) Jorge maior do que Jardel e Pedro menor do que Jardel.
e) Jorge e Pedro so menores do que Jardel.
est azeda, ento a manga no est doce. Ou a
45) ANPAD 2005 Se a laranja est
manga est doce ou Andr no gosta de manga. Ora, Andr gosta de manga.
Logo,
a) a laranja est azeda e a manga est doce.
b) a laranja est azeda e a manga no est doce.
c) a laranja no est azeda e a manga
mang est doce.
d) a laranja no est azeda e a manga no est doce.
e) se a laranja no est azeda, ento a manga no est doce.
46) ANPAD 2005 O muro de uma escola foi pichado. Carlos, Giovanni e
Mrio so suspeitos. Sabe-se
Sabe que o fato foi efetivamente cometido por um ou por
mais de um deles, j que podem ter agido individualmente ou no. Sabe-se,
Sabe
ainda, que (i) se Carlos inocente, Giovanni culpado; (ii) ou Mrio culpado
ou Giovanni culpado, mas no os dois; e (iii) Mrio no inocente. Logo,
a) Giovanni e Mrio so os culpados.
b) somente Carlos inocente.
c) somente Giovanni culpado.
d) somente Mrio culpado.
e) Carlos e Mrio so os culpados.
47) ANPAD 2005 Se eu no saio de carro, o tempo fica ensolarado. Se eu saio
de carro, Jonas,
onas, o gato, no sai de casa. Entretanto, Jonas saiu de casa. Logo,
a) eu sa de carro e o tempo ficou ensolarado.
b) eu sa de carro e o tempo no ficou ensolarado.
c) eu no sa de carro e o tempo ficou ensolarado.
d) eu no sa de carro e o tempo no ficou ensolarado.
e) se Jonas saiu de casa, o tempo no ficou ensolarado.
161
48) ANPAD 2005 Sejam dados os enunciados:

I.
Como aumentar as vendas? O poder aquisitivo dos brasileiros est
diminuindo a cada ano.
II. Joo
o trabalha na empresa Y; portanto, ele e suas famlia tm planos de
sade.
III. Na cidade de So Pedro, a maioria das pessoas no sabe em quem votar.
IV. Os que criticam o aborto so hipcritas. Protestam contra quem faz o
aborto, mas nada veem de errado
errado no fato de crianas morrerem de fome.
V. Voc entende de administrao?
VI. No quero ir para casa pois o jogo ainda no acabou, e eu s saio do estdio
quando ele acaba.
se afirmar que
Diante disso, pode-se
a) II, IV e VI so argumentos.
b) I, II e VI so argumentos
c) II, III e VI so argumentos
d) II, IV e V so argumentos
e) IV, V e VI so argumentos
49) ANPAD 2005 Dadas as premissas P1 e P2, e a concluso Q, ento o
argumento vlido
a) P1: Se Matias estiver disposto, ento ele ganhar o jogo.
P2: Matias no estava disposto.
Q: Matias no ganhou o jogo.
b) P1: Se Matias estiver disposto, ento ele ganhar o jogo.
P2: Matias ganhou o jogo.
Q: Matias estava disposto.
c) P1: Se Matias estiver disposto, ento ele ganhar o jogo.
P2: Matias perdeu o jogo.
Q: Matias no estava disposto.
d) P1: Se Matias estiver disposto, ento ele ganhar o jogo.
P2: Matias perdeu o jogo.
Q: Matias estava disposto.
e) P1: Se Matias estiver disposto, ento ele ganhar o jogo.
P2: Matias estava disposto.
Q: Matias no ganhou o jogo.
50) ANPAD 2004 Andr mandou aprontar o seu carro para participar de uma
corrida, mas no sabe se o mesmo ficar pronto. Seus amigos
amigos Jlio, Srgio e
162
Vtor tm opinies diferentes sobre se o carro ficar ou no pronto at a hora da

corrida. Se Jlio estiver certo, ento Vtor estar enganado. Se Vtor estiver
enganado, ento Srgio estar enganado. Se Srgio estiver enganado, ento o
carro
arro no ficar pronto. Nessa situao, ou o carro fica pronto ou Andr no
participar da corrida. Ora, verificou-se
verificou se que Jlio estava certo. Logo,
a) o carro ficou pronto.
b) Andr no participou da corrida.
c) Srgio e Vtor no estavam enganados.
d) Vtor estava enganado, mas Srgio no.
e) Srgio estava enganado, mas Vtor no.
51) ANPAD 2004 Se x + y = 2 , ento x = 0. Ora, x no zero. Ento, pode-se
pode
afirmar que
a) y = 2.
b) y = 0.
c) y = 2 x.
d) x + y 2.
e) y 0.

52) ANPAD 2004 Numa vila afastada, chamada Vila 51, temtem-se que se um
homem no inteligente, ento bonito e que se inteligente, ento
preguioso. Com base nessas afirmaes, pode-se
pode concluir que
a) homenss inteligentes no so bonitos.
b) homens que no soo bonitos
bo
no so inteligentes.
c) homens bonitos so preguiosos.
d) homens que no
o so bonitos so preguiosos.
e) homenss bonitos no so inteligentes.
53) ANPAD 2003 Considerando verdadeiras as proposies Se Joo cometeu
um grave delito, ento ele sonegou impostos. e Joo no sonegou impostos.,
pode-se concluir que
a) Joo sonegou impostos
b) Joo cometeu um grave delito.
c) Joo cometeu um grave delito e ele sonegou impostos.
d) Joo no cometeu um grave delito.
e) Joo cometeu um grave delito ou ele sonegou impostos.
54) ANPAD 2003 Considere a proposio Paulo elegante, ou Paulo alto e
moreno. Como Paulo no elegante, ento, conclui-se
conclui que
163
a) Paulo no alto e no moreno.

b) Paulo no alto ou no moreno.
c) Paulo alto e moreno.
d) Paulo alto ou moreno.
e) Paulo alto e no moreno.
55) ANPAD 2003 Considere as seguintes premissas
I.
Se no chover, Cludia vai praia.
praia
II. Se chover, Fbia vai ao clube.
Como choveu o dia inteiro, ento
a) Cludia no foi praia e Fbia foi ao clube.
b) Cludia e Fbia no foram praia.
c) Cludia e Fbia no foram ao clube.
d) Cludia foi praia.
e) Fbia foi ao clube.
56) ANPAD 2003 Considere a proposio Pedro estudioso e trabalhador, ou
Pedro bonito. Como Pedro no bonito, ento
a) Pedro estudioso e trabalhador.
b) Pedro estudioso ou trabalhador.
c) Pedro no estudioso ou no trabalhador.
d) Pedro estudioso e no trabalhador.
e) Pedro no estudioso e no trabalhador.
57) ANPAD 2003 Considere as seguintes premissas:
Cludia bonita e inteligente, ou Cludia simptica.
Cludia no simptica.
A partir dessas premissas, conclui-se
c
que Cludia
a) bonita ou inteligente.
inteligente
b) bonita e inteligente..
c) bonita e no inteligente.
inteligente
d) no bonita e no inteligente.
inteligente
e) no bonita e inteligente.
I.
164

sequencia:
I.
A vermelho se, somente se, B verde.
II. B no verde se, somente se, C azul.
Pode-se concluir que
a) Se C azul, ento A no vermelho.
b) Se C amarelo, ento A no vermelho.
c) Se A no vermelho, ento C no azul.
d) Se C azul, ento B amarelo.
e) Se B verde, ento C amarelo.
60) ANPAD 2002 Considere os argumentos abaixo:
I.
Se 6 no par, ento 3 no primo.
Mas 6 par.
Logo 3 primo.
II. Se faz frio, Margarete fica em casa.
Margarete no ficou em casa.
Logo, no fez frio.
III. Se voc tem ar condicionado, ento no passa calor.
Quem mora em Foz do Iguau tem ar condicionado.
Logo, se voc mora em Foz do Iguau, no passa calor.
Os argumento(s) dedutivo(s) (so)
a) I e II
b) II e III
c) somente I
d) somente III
e) I, II e III
[Nota: argumento dedutivo argumento vlido.]

165
61) ANPAD 2008 Lcio tio de Norma ou Raquel me de Slvia. Se Valdir

neto de Tas, Jac sobrinho de Jos. Se Raquel me de Slvia, Jac no
sobrinho de Jos. Ora, Valdir neto de Tas; logo,
a) Lcio tio de Norma e Raquel no me de Slvia.
b) Lcio noo tio de Norma e Raquel me de Slvia.
c) Jac no sobrinho de Jos e Lcio tio de Norma.
d) Valdir neto de Tas e Jac no sobrinho de Jos.
e) Raquel me de Slvia ou Jac no sobrinho de Jos.
62) ANPAD 2008 Quando no vejo Abelardo, no malho ou estudo
Matemtica. Quando no chove e malho, no vejo Abelardo, quando estou triste,
no malho e estudo Matemtica. Quando no estou triste e estou estudando
Matemtica, no malho. Hoje malho, portanto, hoje,
a) no vejo Abelardo, estou estudando Matemtica, no estou triste e no chove.
b) no vejo Abelardo, estou estudando matemtica, estou triste e chove.
c) vejo Abelardo, estou estudando Matemtica, no estou triste e chove.
d) vejo Abelardo, no estou estudando
estudando Matemtica, estou triste e chove.
e) vejo Abelardo, no estou estudando Matemtica, no estou triste e chove.
63) ANPAD 2008 Laura surfista ou Mrio paisagista. Se Nair decoradora,
Oscar no bailarino. Se Oscar no bailarino, Mrio no paisagista.
pai
Ora,
Laura no surfista e Suzi no desenhista;pode-se,
desenhista;pode se, ento, concluir
corretamente que
a) Laura no surfista e Mrio no paisagista.
b) Laura no surfista e Nair decoradora.
c) Mrio paisagista e Oscar bailarino.
d) Nair no decoradora e Oscar no bailarino.
e) Nair decoradora e Suzi no desenhista.
64) ANPAD 2008 Se uma avaliao peridica, tambm atuante, mas se ela
atuante, eficaz. Em determinada empresa, a avaliao no eficaz no
peridica. Assim, pode-se
se concluir que,
a) se a avaliao atuante, ela no eficaz.
b) se a avaliao eficaz, ela peridica.
c) se a avaliao peridica, ela eficaz.
d) se a avaliao peridica, ela no eficaz.
e) se a avaliao no atuante, ela peridica.

166
65) ANPAD 2008 Assinale a alternativa que expe um argumento cuja

estrutura vlida.
a) Ricardo foi festa, somente se Renata foi festa. Renata foi festa. Portanto,
Ricardo foi festa.
b) Ricardo foi festa, somente se Renata foi festa. Sabe-se
se tambm que
Rogrio foi festa, somente se Renata foi festa. Entretanto, Renata no foi
festa. Logo, Ricardo no foi festa assim como Rogrio.
c) Ricardo no foi festa se, e somente se, Renata foi festa. Renata foi festa
se, e somente se, Rogrio no foi festa. Sabe-se
Sabe se que Rogrio foi festa.
Consequentemente, Ricardo no foi festa.
d) Se Ricardo foi festa, ento Renata no foi festa ou Rogrio foi festa.
Ricardo no foi festa. Logo, Renata foi festa ou Rogrio no foi festa.
e) Se Ricardo foi festa, ento Renata foi festa. Renata no foi festa ou
Rogrio foi festa. Rogrio no foi festa. Portanto, Ricardo foi festa.
66) ANPAD 2007 Em uma determinada maternidade estavam num mesmo
quarto cinco mes:
es: Marta, Juliana, Vanessa, Giovana e Rosa, e suas filhas:
Betina, Clara, Renata, Judite e Lcia, no necessariamente nessa ordem. Os
enfermeiros do hospital afirmaram o seguinte:
I.
Se Betina filha de Marta, ento Clara no filha de Juliana.
II. Clara
ara filha de Juliana, ou Renata filha de Vanessa.
III. Se Judite no filha de Giovana, ento Betina filha de Marta.
IV. Nem Renata filha de Vanessa nem Lcia filha de Rosa.
Com base nessas afirmaes, pode-se
pode concluir que
a) Renata filha de Vanessa, ou Betina filha de Marta.
b) se Clara filha de Juliana, Betina filha de Marta.
c) Judite filha de Giovana, e Clara filha de Juliana.
d) Se Clara filha de Juliana, ento Judite no filha de Giovana.
e) Judite filha de Giovana, e Betina filha de Marta.
67) ANPAD 2007 Se o governo aumenta a taxa de juros, ento as exportaes
aumentam. Embora o que se sabe que as exportaes aumentaram, o que
podemos concluir que
a) a taxa de juros aumentou.
b) a taxa de juros diminuiu.
diminuiu
c) as exportaes aumentaram.
d) as exportaes diminuram.
e) as exportaes aumentaram, e a taxa de juros tambm.

167

I.
Se Carlos trair a esposa, Larissa ficar magoada.
II. Se Larissa ficar magoada, Pedro no ir ao jogo.
III. Se Pedro no for ao jogo, o ingresso no ser vendido.
IV. Ora, o ingresso foi vendido.
Portanto, pode-se
se afirmar que
a) Carlos traiu a esposa, e Pedro no foi ao jogo.
b) Carlos traiu a esposa, e Pedro foi ao jogo.
c) Carlos no traiu a esposa, e Pedro foi ao jogo.
d) Pedro foi ao jogo, e Larissa ficou magoada.
e) Pedro no foi ao jogo, e Larissa no ficou magoada.
69) ANPAD 2007 Numa determinada regio chove ou faz sol. Se chove, h
enchente; porm se faz sol, h seca.
Assim, uma concluso possvel a de que nessa regio
a) h seca.
b) h enchente.
c) h tempos de seca e de enchente.
d) h tempos de seca ou de enchente.
e) h apenas enchente.
70) ANPAD 2007 Manoela vai comprar um computador ou um carro; porm
disse ao seu noivo que no verdade que, se comprar um computador, retirar o
dinheiro da poupana. Assim, pode-se
pode afirmar que
a) Manoela vai comprar o carro.
b) Manoela vai comprar o computador.
c) Manoela retirou o dinheiro da poupana.
d) Manoela no vai comprar o carro nem o computador.
e) Manoela retirou o dinheiro da poupana e vai comprar o computador.
I. Os gatos so pretos e os cachorros so brancos.
II. Se todos os gatos so brancos, no h gatos na varanda.
III. No verdade que os cachorros so pretos e que h gatos na varanda.
Admitindo-se
se que todas essas sentenas sejam verdadeiras, CORRETO afirmar
que:
a) Os gatos so pretos ou os cachorros so brancos.
b) No h gatos na varanda.
c) Todos os gatos esto na varanda.
168
d) Os cachorros so pretos.
e) Os gatos so brancos.
72) ANPAD 2007 Em determinado campeonato de futebol, analisam-se
analisam
as
condies de alguns resultados:
I.
Se a Portuguesa venceu, nem o Estrela nem o Navegantes foram para a
prxima fase.
II. Se o Navegantes no foi para a prxima fase, o Ipiranga venceu.
III. Se o Ipiranga venceu, o Serrinha foi rebaixado.
Sabe-se que o Serrinha no foi rebaixado; portanto:
a) a Portuguesa no venceu e o Navegantes no foi para a prxima fase.
b) O Estrela e o Navegantes no foram para a prxima fase.
c) O Navegantes no foi para a prxima fase e o Ipiranga no venceu.
d) A Portuguesa
sa e o Ipiranga no venceram.
e) O Navegantes no foi para a prxima fase ou o Ipiranga venceu.
73) ANPAD 2007 Se Alfredo ama Rebeca, ele vai se casar com ela e no vai
comprar uma casa. Caso ele se case, no comprar a casa. Mas, de fato, ele
comprou uma casa. Logo, pode-se
pode dizer que:
a) Alfredo vai se casa com Rebeca.
b) Alfredo no comprar a casa.
c) Alfredo vai se casar com Rebeca e vai comprar uma casa.
d) Alfredo ama Rebeca.
e) Alfredo no ama Rebeca.
74) ANPAD 2007 Assinale a alternativa que apresenta uma estrutura de
argumento no vlida.
a) No verdade que, se Ricardo foi festa, Renata foi festa. Portanto, se
Ricardo no foi festa, Renata no foi festa.
b) Ricardo no foi festa e Renata no foi festa.
festa. Consequentemente, ambos no
foram festa.
c) No o caso que Ricardo foi festa ou Renata foi festa. Logo, Ricardo no
foi festa ou Renata no foi festa.
d) Se Ricardo no foi festa, Renata no foi festa. Portanto, no verdade que,
se Ricardo foi festa, Renata foi festa.
e) No o caso que, se Ricardo no foi festa, Renata foi festa. Assim, Renata
no foi festa.
75) ANPAD 2007 Manoel recebeu as seguintes instrues para sua viagem:
169
I.
Siga esquerda e retorne se, e somente
somente se, seu destino for Albuquerque.
II. Se seu destino for Albuquerque, siga direita.
III. Siga esquerda.
IV. Retorne ou siga para a colnia de frias.
Sabe-se
se que Manoel obedeceu a todas as instrues. Logo
a) seu destino era Albuquerque.
b) seu
eu destino no era Albuquerque e ele seguiu para a colnia de frias.
c) chegou a Albuquerque, seguindo esquerda.
d) seguiu sempre em frente e direita.
e) retornou.
[Nota: A questo acima no pode ser considerada um argumento, visto que formada por
p frases
imperativas.. luz dos conceitos da lgica formal, um argumento somente pode ser constitudo
por proposies.]
76) ANPAD 2010 Sejam verdadeiras as proposies a seguir.

I.
Se x = 1 e y = z, ento y > 2.
II. y 2.
a) x 1 e y z
b) x 1 ou y z
c) x 1 e y = z
d) x = 1 e y z
e) y = z e x = 1
77) ANPAD 2006 Considere as regras do clculo proposicional e suas
derivaes, qual das proposies abaixo pode ser derivada das proposies:
~ e ~ ~ ?
a)
b) ~(
c)
d) ~
e) ~

170
Gabarito:
1A 2D
10 D 11 E
19 D 20 E
28 C 29 B
37 E 38 D
46 E 47 C
55 E 56 A
64 C 65 B
73 E 74 D
3A
12 B
21 C
30 A
39 C
48 A
57 B
66 C
75 B
4A
13 D
22 B
31 D
40 E
49 C
58 B
67 C
76 B
5C
14 E
23 B
32 D
41 A
50 B
59 A
68 C
77 B
6D
15 C
24 C
33 C
42 E
51 D
60 B
69 D
7C
16 D
25 E
34 E
43 B
52 D
61 A
70 B
8E
17 D
26 E
35 C
44 C
53 D
62 E
71 A
9A
18 D
27 C
36 D
45 C
54 C
63 C
72 D

nos um e-mail.
mximo, 24 horas!
Obrigado!

171
Proposies Categricas (Quantificadores)

"Os verdadeiros analfabetos so aqueles quee aprenderam a ler e
no leem."
[Mrio Quintana]
Trataremos, neste captulo, de uma expanso da lgica sentencial vista nos

captulos anteriores, para incluir expresses como "para todo x",
", "existe um x",
que denotam operaes de quantificao sobre variveis.
variveis. Tais expresses foram
introduzidas por Frege (Friedrich
(
Ludwig Gottlob Frege,, 18481925),
1848
matemtico,
tico, lgico e filsofo alemo, que criou um sistema
tema de representao
simblica para formalizar
izar a estrutura dos enunciados lgicos e suas relaes, e a
contribuio para a implementao do clculo dos predicados.
Procuraremos manter a simplicidade proposta desde o incio, minimizando ao
mximo o simbolismo costumeiramente empregado nesse assunto.
8.1 Quantificadores
Todo:: quantificador categrico universal afirmativo;
Nenhum:: quantificador categrico universal negativo;
Algum:: quantificador categrico particular ou existencial afirmativo;
Algum no :: quantificador categrico particular ou existencial
existencial negativo.
Toda proposio que se utiliza de um dos quantificadores acima chamada de
proposio categrica.
Exemplos:
a) Todo P Q. Simbolicamente: x Px Qx)
b) Nenhum P Q. Simbolicamente: x Px ~Qx), ou x
x Qx ~Px), ou
~x Px Qx)
c) Algum P Q. Simbolicamente: ~x Px ~Qx), ou x
x Px Qx)
d) Algum P no Q. Simbolicamente: ~x Px Qx), ou x
x Px ~Qx)
Um modo simples de se entender os quantificadores seria imaginar um conjunto
de n elementos, e tomar trs subconjuntos:

172
a) Com zero elemento (conjunto vazio) o conjunto representa o quantificador

Nenhum;
b) Um subconjunto com o nmero de elementos no intervalo [1, (n
( 1)]
representa o quantificador Algum/Alguns (ou Existe/Existem ou Pelo
menos um);
c) O prprio conjunto, com todos os n elementos representa o quantificador
Todo (ou Qualquer que seja).
Acompanhe o quadro a seguir.
Nmero de
elementos
[1, (n 1)]*
Quantificador
Nenhum
Algum/Alguns
Existe/Existem
Pelo menos um
Todo
Smbolo
ou ~
Proposio
Categrica
Nenhum P Q.
Algum P Q.
Todo P Q.
Representao
Simblica
xx Px ~Qx) ou
xx Qx ~Px)
~x Px ~Qx)
ou x Px Qx)
xx Px Qx)
(*) intervalo fechado que tem de um a (n 1) elementos.
Exemplo:
Tomemos uma turma do curso preparatrio para o Teste ANPAD que contm
dez alunos.
Seja C = {m, n, o, p, q, r, s, t, u, v} o conjunto que representa essa turma, em que
n = 10.
a) No dia 04/07/2012, s 9:00h, nenhum aluno havia ainda chegado para a aula,
isto , o nmero de elementos do conjunto C era zero (n
( = 0). Ento, vale aqui a
proposio: Nenhum aluno est presente na sala.

173
b) s 9:06h chegaram os alunos m e p.. Agora, o nmero de elementos do

conjunto passou a ser dois (n
( = 2). Pode-se, agora, dizer
zer que Alguns alunos
esto presentes na sala. ou Pelo menos um aluno est presente na sala. ou,
ainda, que Existem alunos presentes na sala.
Tambm correto dizer que, neste caso, Alguns alunos no esto presentes na
sala. ou que Alguns alunos esto ausentes. (no presente = ausente)
c) s 9:17h estavam presentes os alunos m, n, o, p, q, r, s, t, u, v,, ou seja, n = 10,
o que vale dizer que Todos os alunos esto presentes na sala.
8.2 Negao de Proposies Categricas
Negao,, como j foi visto, o ato de modificar, por meio de uma operao
lgica, o valor verdade de uma proposio. Em outras palavras, se a proposio
verdadeira,, sua negao a torna falsa, e, se a proposio falsa,, sua negao a
torna verdadeira.
A negao
o de proposies categricas uma tarefa bastante simples.
Tomemos o mesmo exemplo anterior, da turma do curso preparatrio para o
Teste ANPAD...
C = {m, n, o, p, q, r, s, t, u, v} o conjunto que representa essa turma, em que
n = 10.
a) No dia 04/07/2012,
7/2012, s 9:00h, nenhum aluno havia chegado para a aula, o que
significa que a proposio: Nenhum aluno est presente na sala. verdadeira.
Em outras palavras, tem-se,
se, no momento, um conjunto vazio.
O que deve acontecer para que esse conjunto deixe de ser vazio? Ou: O que deve
ser feito para que a proposio Nenhum aluno est presente na sala. se torne
falsa?
A resposta bem simples: necessrio que chegue pelo menos um aluno...

174
Assim, estabelece-se a negao da proposio Nenhum aluno est presente

pr
na
sala., que :
Algum aluno est presente na sala. ou
Alguns alunos esto presentes na sala., ou
Existe aluno que est presente na sala., ou
Existem alunos que esto presentes na sala., ou
Pelo menos um aluno est presente na sala.
b) s 9:06h chegaram os alunos m e p.. Agora, o nmero de elementos do
conjunto passou a ser dois (n
( = 2). Diz-se
se que Alguns alunos esto presentes na
sala., ou Pelo menos um aluno est presente na sala., ou, ainda, que Existem
alunos presentes na sala.
. so proposies verdadeiras.
Para negar a proposio Alguns alunos esto presentes na sala. necessrio
retirar da sala os dois alunos presentes no momento.
Desse modo, tem-se
se para negao da proposio acima:
Nenhum aluno est presente na sala.,
sala. ou
Todos os alunos no esto presentes na sala., ou
Todos os alunos esto ausentes.
c) s 9:17h estavam presentes os alunos m, n, o, p, q, r, s, t, u, v,
v ou seja, a
proposio Todos os alunos esto presentes na sala. verdadeira.
verdadeira
Como negar a proposio acima? Ou, como fazer com que a proposio Todos
os alunos esto presentes na sala. se torne falsa?
A resposta simples: basta retirar um aluno...
A proposio dada estaria negada e teria a seguinte estrutura: Pelo menos um
aluno
uno no est presente na sala., ou Pelo menos um aluno est ausente.
Agora observe que, se dois alunos forem retirados (em vez de apenas um), a
negao da proposio Todos os alunos esto presentes na sala. passaria a ser
enunciada como Alguns alunos
alunos no esto presentes na sala., ou Alguns alunos
esto ausentes., ou ainda Existem alunos que esto ausentes.

175
A proposio dada fica, da mesma forma, negada, independente da quantidade de

alunos ausentes.
odos os alunos esto presentes na
Assim, tem-se como negao da proposio Todos
sala.:
Pelo menos um aluno no est presente na sala., ou
Pelo menos um aluno est ausente., ou
Algum aluno no est presente na sala., ou
Alguns alunos no esto presentes na sala., ou
Algum aluno est ausente., ou
Alguns alunos esto ausentes., ou
Existe aluno que no est presente., ou, ainda,
Existem alunos ausentes.
se de que no est presente o mesmo que dizer est ausente.
Lembre-se
Com isto, pode-se
se estabelecer, para a negao das proposies
proposies categricas, o
resumo a seguir:
Observao importantssima:
importantssima: A negao de uma proposio categrica
universal sempre ser uma proposio categrica particular ou existencial,
existencial e
vice-versa.
Jamais se pode negar uma proposio categrica universal com outra proposio
categrica universal! O mesmo vale para as proposies categricas particulares
ou existenciais, ou seja, no se pode usar uma proposio categrica particular ou
existencial para negarr outra proposio categrica particular ou existencial.

176
costumeira a confuso que muitos fazem ao pensar que a negao do

quantificador todo seria nenhum ou vice-versa.
vice versa. Quem pensa dessa forma,
precisa rever o conceito de negao. Esse erro cometido
cometido frequentemente por
candidatos em concursos pblicos.
[Nota: Como examinador de concursos pblicos,
pblicos, frequentemente recebo recursos em questes
desse tipo,, por conta da confuso neste conceito.]
conceito
Lembre-se
se de que estamos estabelecendo a negao do quantificador,
quanti
e no
quantificando a negao...
Para ilustrar, tomemos um exemplo, com uma proposio simples:
Joo mdico.
Vamos neg-la
la de trs formas:
a) Joo no mdico.
b) Joo NO mdico.
c) Joo no no no no no mdico.
Observe que, em nenhuma das negaes apresentadas acima, a proposio Joo
mdico. ficou mais negada ou menos negada. Isto deixa claro que a negao
uma operao lgica que simplesmente muda o valor lgico de uma proposio,
e para a qual no existe quantidade.
Reiterando: a negao do quantificador no a quantificao da negao!
8.3 Equivalncias Notveis de Proposies Categricas
Todo P no Q. Nenhum P Q.
Nenhum P no Q. Todo P Q.

177
8.4 Representao de Proposies Categricas por meio

de diagramas de Euler-Venn.
Euler
Esta forma de representao das Proposies Categricas ter grande utilidade na
validao de argumentos categricos, que sero vistos a seguir.
8.4.1 Todo P Q.
8.4.2 Nenhum P Q.
8.4.3 Algum P Q.
8.4.4 Algum P no Q.

1) ANPAD 2009 Admitindo como verdadeira a proposio p: Nenhum aluno
que cola sai da escola., pode-se
pode concluir que
a) existe aluno que cola e sai da escola.
b) todo aluno que cola sai da escola.
178
c) todo aluno que cola no sai da escola.

d) todo aluno que no cola sai da escola.
e) todo aluno que no cola no sai da escola.
2) ANPAD 2009 Mrio, ao chegar a uma cidade com princpios lgicos, viu na
placa de Bem-Vindo!
Vindo! o seguinte escrito
. Mais adiante,
em outra placa, havia a explicao para o entendimento da placa inicial: Nesta
cidade, considera-se
se que Px: x pessoa visitante, Bx: x pessoa do bem e Vx: x
bem-vindo
vindo cidade. Assim, a placa quer dizer que
a) todo visitante que bem-vindo
bem
cidade do bem.
b) todo visitante que do bem bem-vindo
bem
cidade.
c) todo visitante do bem e bem-vindo
bem
cidade.
d) nem todo visitante bem-vindo
bem
cidade.
e) nem todo visitante do bem.
3) ANPAD 2009 A proposio equivalente a No verdade que todas as
mulheres no so estudiosas.
a) Existem mulheres estudiosas.
b) Existem mulheres no estudiosas.
c) Nenhuma
enhuma mulher no estudiosa.
d) Todas as mulheres so estudiosas.
e) Todas as mulheres no so estudiosas.
4) ANPAD 2009 Sejam as definies de categorias Ax: x administrador, Px: x
bom profissional Sx: x tem bom salrio. Uma simbolizao para Todo
administrador que bom profissional, tem bom salrio
a) x ((Ax Px) Sx).
b) x ((Ax Px) Sx).
c) x (Ax (Px Sx)).
d) x ((Ax Px) Sx).
e) x ((Ax Px) Sx).
5) ANPAD 2010 Considere-se
Considere
FALSO
SO o seguinte enunciado: Alguns alunos
no estudam adequadamente os contedos.
Sejam dadas as seguintes proposies:
I.
Todos os alunos estudam adequadamente os contedos.
II.
Nenhum aluno estuda adequadamente os contedos.
III. Alguns alunos estudam adequadamente
ade
os contedos.

179
Os valores lgicos (V, se verdadeiro; F, se falso) das proposies I, II e III so,

respectivamente,
a) V V V
b) V F V
c) V V F
d) V F F
e) F V V
6) ANPAD 2010 Utilizando-se
Utilizando
a constante p para Pedro e os predicados
A, T e L para, respectivamente, x
amigo de y, x atleta e x
alto, a
expresso nenhum amigo alto de Pedro atleta pode ser escrita em linguagem
simblica por
a)
~
b) ((
~
c) ((
d) ~ ((
~
e) ~
7) ANPAD 2011 A negao da proposio Alguns administradores no so

lderes.
a) Nenhum administrador lder.
b) Alguns administradores so lderes.
c) Todos os administradores so lderes.
d) Existe pelo menos um administrador que lder.
e) Existe pelo menos um administrador que no lder.
pode
8) ANPAD 2011 Dado que todos que trabalham recebem salrio, pode-se
afirmar:
a) Para todos, se recebem salrio,
salr ento trabalham.
b) Existe algum que recebe salrio e no trabalha.
c) Existe algum que trabalha e no recebe salrio.
d) Para todos, se no recebem salrio, ento no trabalham.
e) Para todos, se no trabalham, ento no recebem salrio.
9) ANPAD 2011 Seja dada a proposio quantificada Todo animal domstico
amigo. Considerando-se
Considerando se que A, D e M representam, respectivamente, os
predicados ser animal, ser domstico e ser amigo, ento uma forma de
escrever simbolicamente a referida proposio
proposi
180
a) x ((Ax Dx) Mx)

b) x ((Ax Dx) Mx)
c) x (Mx (Ax Dx))
d) x (Ax (Dx Mx))
e) x ((Ax Dx) Mx)
10) ANPAD 2011 Na lgica, os quantificadores so usados quando um termo
predicado ocorre em uma proposio no singular. Utilizando os predicados P
para ser poltico e C para ter dinheiro, assinale a alternativa que apresenta a
representao simblica da proposio Nem mesmo um poltico tem dinheiro.
a) x, ( Px ~ Cx )
b) x, ( Px Cx )
c) x, ( ~ Px Cx )
d) x, ( ~ Px ~ Cx )
e) ~ x, ( Px ~ Cx )
11) ANPAD 2011 Utilizando-se
Utilizando se os predicados Mx e Cx para respectivamente
representar que x tem menos de 18 anos e x pode tirar carteira de motorista,
a representao lgica da proposio qualquer um, exceto quem tem menos de
18 anos, pode tirar a carteira de motorista
a) x ( Mx ~ Cx )
b) x ( ~ Cx ~ Mx )
c) x ( Mx ~ Cx ) x ( Cx ~ Mx )
d) x ( ~ Mx ~ Cx ) x ( Mx Cx )
e) x ( Mx ~ Cx ) x ( ~ Mx Cx )
12) ANPAD 2012 (Adaptada) A negao da afirmao Todoo novo produto
que lanado inovao. :
a) Nem todo novo produto lanado e no inovao.
b) Tudo que lanado inovao e no um novo produto.
c) Existem novos produtos que so lanados e so inovaes.
d) Existem novos produtos que so lanados e no so inovaes.
e) Existem novos produtos que so inovaes e no so lanados.
13) ANPAD 2012 (Adaptada) Uma possvel negao da proposio Para todo
homem existe uma mulher ideal :
a) Toda mulher ideal para um homem.
181
b) Existe um homem para o qual toda mulher no ideal.

c) No verdade que existe um homem que ideal para toda mulher.
d) Existe um homem para o qual no existe mulher que no ideal.
ideal
e) No verdade que existe um homem para o qual toda mulher no ideal.
14) ANPAD 2012 (Adaptada) Dados os predicados:
I. Nx: x um nmero natural.
III. Ix: x mpar.
II. Ex: x par.
IV. Px: x primo.
Considere a seguinte tabela com proposies e representaes simblicas:
a. Existe um nmero natural par.
1. (
(
b. Todo nmero natural par ou mpar.
2. ~ (
c. Nem todos os nmeros primos so pares.
3. ((
d. Todo nmero natural que no mpar par. 4. (
Assinale a alternativa que associa adequadamente cada proposio a uma

representao simblica.
a) a-3, b-1, c-4, d-2
b) a-3, b-1, c-2, d-4
c) a-4, b-1, c-2, d-3
d) a-4, b-1, c-3, d-2
e) a-4, b-2, c-1, d-3
15) ANPAD 2012 (Adaptada) Sejam dados os predicados:
I.
Px: x de prata.
eletricidade
II. Ex: x condutor de eletricidade.
III. Mx: x metal.
Assinale a alternativa com a representao simblica da proposio Nem todo
metal condutor de eletricidade de prata.
a) ~
(

b) ~ (
c) ~ (
d) ~ (
e)
( ~
16) ANPAD 2008 Assinale a alternativa que apresenta uma contradio.

a) Algum vendedor de livros paulista e algum vendedor de livros no paulista.
b) Nenhum vendedor de livros paulista e algum vendedor de livros no
paulista.
c) Todo paulista vendedor de livros e algum vendedor de livros no paulista.
182
d) Todo vendedor de livros paulista e algum paulista no vendedor de livros.

e) Todo vendedor de livros no paulista e algum paulista vendedor de livros.
17) ANPAD 2008 Considere as seguintes proposies
I. Toda mulher formosa.
II. Algumas mulheress so belas.
III. Nenhuma mulher feia.
IV. Algumas mulheres no so atraentes.
Assinale a alternativa que apresenta uma proposio que NO equivale a alguma
das quatro proposies acima.
a) No existe alguma mulher que no seja formosa.
b) No existem
em mulheres feias.
c) Nem todas as mulheres no so belas.
d) Nem todas as mulheres so atraentes.
e) Nem toda mulher feia.
18) ANPAD 2006 A negao da proposio Nenhuma fruta no doce pode
ser
a) Nenhuma fruta doce.
b) Todas as frutas so doces.
c) Existem frutas que so doces.
d) Todas as frutas no so doces.
e) Existem frutas que no so doces.
19) ANPAD 2006 Seja a proposio: p: Todos os filsofos so calvos. A
proposio que NO equivalente a p
a) Os filsofos so calvos.
b) Qualquer filsofo calvo.
c) Nenhum filsofo no calvo.
d) Se algum calvo, ento ele filsofo.
e) Se algum no calvo, ento no filsofo.
20) ANPAD 2006 A negao da proposio Todas as mquinas
mq
no so
eficientes
a) Nenhuma mquina eficiente.
b) Todas as mquinas so eficientes.
c) Existe mquina que eficiente.
d) Existe mquina que no eficiente.
e) No verdade que todas as mquinas so eficientes.
183
21) ANPAD 2005 Considere as proposies abaixo

I. Todo S P.
II. Nenhum S P.
III. Algum S P.
IV. Nenhum S no P.
Supondo que a proposio categrica Algum S no P seja falsa, a sequencia
formada pelo valor verdade (V, se verdade; F, se falso) das proposies
apresentadas , respectivamente,
a) V V V V
b) V F V F
c) F V F F
d) V F V V
e) F F F F
22) ANPAD 2005 A proposio necessrio que todos os administradores
saibam lgica equivalente a
a) Nenhum administrador sabe lgica.
b) No verdade que existe administrador que no sabe lgica.
c) No verdade que todo administrador sabe lgica.
d) Existe
xiste administrador que no sabe lgica.
e) Todo administrador no sabe lgica.
23) ANPAD 2005 Considerando que a proposio Nenhum homem bom
pratica o mal falsa, qual das seguintes alternativas apresenta
apresenta uma proposio
verdadeira?
a) Todo homem bom pratica o mal.
b) Todo homem bom no pratica o mal.
c) Alguns homens bons no praticam o mal.
d) Pelo menos um homem bom pratica o mal.
e) No h homem bom que pratique o mal.
I Todos os homens so bons administradores.
adm
II Nenhum homem bom administrador.
III Todos os homens so maus administradores.
IV Pelo menos um homem no bom administrador.
V Toda mulher boa administradora.
A(s) negao(es) da proposio I (so) a(s) proposio(es)
184
a) II
b) III
c) IV
d) V
e) II e IV
25) ANPAD 2003 A NEGAO da sentena Todos os homens so
honestos.
a) Nenhum homem honesto.
b) Todos os homens so desonestos.
c) Algum homem desonesto.
d) Nenhum homem desonesto.
e) Alguns homens so honestos.
26) ANPAD 2002 A negao da sentena Nenhuma pessoa que chora muito
fica desamparada
a) Todas as pessoas que choram muito ficam desamparadas.
b) Todas as pessoas que choram muito no ficam desamparadas.
c) Algumas pessoas que choram muito ficam desamparadas.
d) Algumas pessoas que choram muito no ficam desamparadas.
e) Nenhuma pessoa que chora muito fica desamparada
27) ANPAD 2002 A negao da sentena Todos os tringulos so
equilteros.
a) Todos os tringulos no so equilteros.
b) Existe tringulo que no equiltero.
c) Existe tringulo que equiltero.
d) Nenhum tringulo equiltero.
e) Todos os tringulos so issceles.
28) ANPAD 2002 A negao da sentena Nenhuma pessoa lenta em aprender
apr
frequenta esta escola.
a) Todas as pessoas lentas em aprender frequentam esta escola.
b) Todas as pessoas lentas em aprender no frequentam esta escola.
c) Algumas pessoas lentas em aprender frequentam esta escola.
d) Algumas pessoas lentas em aprender no frequentam esta escola.
e) Nenhuma pessoa lenta em aprender frequenta esta escola.

185
29) ANPAD 2002 A negao da proposio Todos os homens so bons

motoristas.
a) Todas as mulheres so boas motoristas.
motoristas
b) Algumas mulheres so boas motoristas.
c) Nenhum homem bom motorista.
d) Todos os homens so maus motoristas.
e) Ao menos um homem mau motorista.
Gabarito:
1C
2B
10 A 11 E
19 D 20 C
28 C 29 E
3A 4B
12 D 13 B
21 D 22 B
5B
6B
14 C 15 E
23 D 24 C
7C
16 E
25 C
8D
17 E
26 C
9A
18 E
27 B

nos um e-mail.
mximo, 24 horas!
Obrigado!

186
8.6 Argumento Categrico

Argumento categrico todo argumento formado por proposies categricas.
Exemplos:
1) ANPAD 2010 Sejam admitidas como verdadeiras as seguintes proposies:
I.
II.
Ento, pode-se concluir
uir que
a) algumas bolas so frutas.
b) algumas frutas so bolas.
c)) algumas frutas no so bolas.
d) nenhuma fruta bola.
e) nenhuma bola fruta.
[Nota:
Nota: Observe que o argumento acima um silogismo (duas premissas). Este o tipo mais
comum de argumentoo categrico.]
categrico.
2) ANPAD 2009 Considere o argumento a seguir:

Todos os brasileiros so vegetarianos. Todos os vegetarianos so magros.
Existem ndios que so brasileiros. Logo, existem ndios que so magros.
Pode-se
se concluir que a forma desse argumento
a) vlida e todas as premissas, assim como a concluso, so verdadeiras.
b) vlida e tem concluso verdadeira, embora existam premissas falsas.
c) vlida, apesar de todas as premissas serem verdadeiras e a concluso ser falsa.
d) invlida, porque a concluso
conclu
falsa.
e) invlida, porque contm premissas falsas.
As questes de argumento categrico se apresentam basicamente de duas formas,
I. como no exemplo 1, no qual solicitada uma concluso que torne o argumento
vlido, ou
II. como no exemplo 2, acima, que solicita a validao do argumento, visto que
j h nele uma concluso (vide Logo, existem ndios que so magros.)
magros

187
8.6.1 Validao de Argumentos Categricos
O meio mais seguro e rpido de se validar argumentos categricos por meio de

diagramas lgicos, ou diagramas de Euler-Venn.
Euler
se o leitor a fazer uma breve reviso do item 7.4.
Exorta-se
Exemplo:
ANPAD 2010 Sejam admitidas como verdadeiras as seguintes proposies:
proposies:
I.
II.
Ento, pode-se
se concluir que
Soluo:
amaremos de B o diagrama que representar bola, V o diagrama que
Chamaremos
representar vermelha, e F o diagrama que representar fruta.
Representao das premissas:
Premissa I: Nenhuma
vermelha.
Premissa II. Algumas

vermelhas.

188
Devemos justapor os diagramas das duas premissas:
Observe que a premissa I traz informao sobre os diagramas B e V, e a premissa

II d informao sobre os diagramas V e F. Como concluso precisamos buscar
informao sobre os diagramas B e F. Vamos, ento,
ento, apagar o diagrama V, a
fim de facilitar a visualizao da concluso:
Como se pode notar no diagrama acima, a concluso do argumento :

Algum F no B.
Ou, na linguagem corrente: Alguma fruta no bola., ou Algumas frutas no
so bolas.,, ou, ainda, Existem frutas que no so bolas.
Resposta: alternativa C.
Observao: A representao a seguir no est correta, uma vez que infere que
Nenhuma fruta bola. (Nenhum F B., ou Nenhum B F.), o que no
decorre diretamente das premissas.
premi

189
Outro exemplo:
ANPAD 2009 Considere o argumento a seguir:
Pode-se
d) invlida, porque
ue a concluso falsa.
Soluo:
Sejam os diagramas:
B: brasileiros.
V: vegetarianos.
M: magros.
I: ndios.
Representao das premissas por diagramas de Euler-Venn
Euler
Premissa I: Todos
vege

190
Premissa II: Todos

magros.

brasileiros
Premissa III: Existem
Justapondo os diagramas das premissas, teremos o diagrama a seguir:
Como a questo pede a validao do argumento, tomaremos sua concluso

(Existem ndios que so magros.) como base para apagar os diagramas que
no esto relacionados na concluso. Neste caso, apagaremos os diagramas B e V
acima.
Assim, o diagrama acima ser
s representado como segue:

191
Em linguagem corrente: Algum I M., ou Algum M I., ou na linguagem

do argumento: Algum ndio magro., ou Existem ndios que so magros.
A questo em tela ainda pedia o julgamento das premissas:
Premissa I: Todos
dos os brasileiros so vegetarianos.
vegetarianos. falsa.. Nem todos os
brasileiros so vegetarianos. Na verdade, poderamos at dizer que so bem
poucos...
Premissa II: Todos
magros. falsa.
brasileiros verdadeira.
Premissa III: Existem
Concluso: Existem ndios que so magros. verdadeira.
Resposta: alternativa B.
1) ANPAD 2009 Considere o argumento a seguir:
Pode-se
d) invlida, porque a concluso falsa.

192
2) ANPAD 2009 Todo administrador entende de finanas pessoais.

pessoais. Alguns
alunos que estudam em uma faculdade no entendem de finanas pessoais. A
partir dessas sentenas, CORRETO concluir que
a) alguns administradores que estudam em uma faculdade no entendem de
finanas pessoais.
b) nenhum administrador estuda em faculdade alguma.
c) os alunos que no estudam em uma faculdade entendem de finanas pessoais.
d) todos os administradores estudam em alguma faculdade.
e) todos os administradores que estudam em uma faculdade entendem de
finanas pessoais.
3) ANPAD 2009 Considere as seguintes
seguint proposies:
I.
Tudo que til bom.
II.
Nem tudo que bom agradvel.
III. Nem tudo que til agradvel.
Sendo as proposies acima verdadeiras, pode-se
pode concluir que
a) tudo que agradvel til.
b) tudo que til agradvel.
c) tudo que bom agradvel.
d) nem tudo que bom til.
e) nem tudo que no bom agradvel e til.
[Nota: A questo acima foi anulada.]
4) ANPAD 2010 Sejam dadas as seguintes proposies:

I.
Toda pessoa magra faz dieta alimentar.
II.
Manoel faz dieta alimentar.
aliment
Pode-se concluir:
a) Manoel magro.
b) Toda pessoa que faz dieta alimentar magra.
c) Se Joo magro, ento ele faz dieta alimentar.
d) Se Manoel faz dieta alimentar, ento ele magro.
e) Algumas pessoas que fazem dieta alimentar so gordas.
5) ANPAD 2010 Sejam admitidas como verdadeiras as seguintes proposies:
I.
II.
Ento, pode-se
se concluir que
193

6) ANPAD 2010 Sejam dados os enunciados: Todos que so bem-humorados
bem
so alegres e Todos que so alegres so simpticos. Logo, pode-se
pode concluir:
a) Joo no simptico, ento ele bem-humorado.
bem
b) Joaquim no alegre, ento ele no simptico.
c) Manoel no simptico, ento ele no bem-humorado.
bem
d) Pedro alegre, ento ele bem-humorado.
bem
e) Toda pessoa simptica bem-humorada.
bem
7) ANPAD 2010 Se tudo que amor proibido e toda proibio cobiada,
ento
a) tudo que cobiado amor.
b) tudo que proibido amor.
c) tudo que no cobiado proibido.
d) tudo que amor cobiado.
e) tudo que no amor no cobiado.
I.
Pessoas idosas
sas so egostas.
II.
Pessoas egostas so rejeitadas.
III. Quem sabe escalar prdio no rejeitado.
Assim, NO se pode concluir que pessoas
a) egostas no sabem escalar prdio.
b) idosas no sabem escalar prdio.
c) idosas so rejeitadas.
d) rejeitadas
tadas no sabem escalar prdio.
e) rejeitadas so egostas.
9) ANPAD 2010 Considere os argumentos a seguir.
I.
Todos os mamferos so mortais.
Todos os mamferos so pssaros.
Alguns mortais so pssaros.
II.
Se Maria fizer regime, ela emagrecer.
Maria
ria no fez regime.
Logo, Maria no emagrecer.
194
III.
Todos os alunos do curso Alfa passaram no vestibular.

Jonas no aluna do curso Alfa.
Portanto, Joana no passou no vestibular.
A sequncia CORRETA quanto validade dos argumentos I, II e III ,
respectivamente,
a) vlido, no vlido e no vlido
b) vlido, no vlido e vlido
c) vlido, vlido e no vlido
d) no vlido, vlido e vlido
e) no vlido, no vlido e vlido
[Nota: o argumento II da questo acima no categrico.]
10) ANPAD 2011 Toda rosa perfumada. Existem flores que no so rosas e
so perfumadas. Portanto,
a) todas as flores so perfumadas.
b) tudo que perfumado uma rosa.
c) existem flores perfumadas que no so rosas.
d) existem flores que so rosas e no so perfumadas.
perfumadas
e) existem flores que no so rosas e no so perfumadas.
Sabendo se que todo benfeitor altrusta e que existe algum
11) ANPAD 2011 Sabendo-se
filantropo que benfeitor, pode-se
pode afirmar que
a) todo filantropo altrusta.
b) todo benfeitor filantropo.
c) no existe filantropo altrusta.
d) algum filantropo no altrusta.
e) existe algum filantropo que altrusta.
12) ANPAD 2011 Sejam dadas as afirmaes:
I.
Todo professor estudioso.
II.
Todo professor tem capacidade de aprender.
III. Carol estudiosa.
IV. Marisa no professora, mas estudiosa.
Logo, pode-se concluir:
a) Carol tem capacidade de aprender.
b) Marisa tem capacidade de aprender.
c) Se um indivduo estudioso, ento ele professor.
d) No existem indivduos que so estudiosos e no so professores.
195
e) Existem pessoas que tm capacidade de aprender e que so estudiosas.

a) quem anda corre.
b) quem corre anda.
14) ANPAD 2011 Dado que todo americano patriota e que existem
patriotas importantes, pode-se
pode concluir que
a) existem americanos importantes.
b) existem patriotas que so americanos.
c) no existem americanos importantes.
d) todo patriota americano
america e importante.
e) existem patriotas que so americanos e importantes.
15) ANPAD 2011 Considere os seguintes conjuntos formados por uma
premissa seguida de uma concluso.
I.
Algum av economista.
Logo, algum economista av.
II.
Nenhum arquiteto cantor.
Logo, nenhum cantor arquiteto.
III. Todo advogado poeta.
Logo, todo poeta advogado.
Qual(is) (so) argumento(s) vlido(s)?
a) apenas I
b) apenas II
c) apenas I e II
d) apenas II e III
e) I, II e III
16) ANPAD 2011 Em certo setor de uma empresa, sabe-se
sabe se que toda mesa
azul ou preta e que algumas mesas azuis possuem computador. Ento, em relao
a esse setor, certamente possvel afirmar:
a) Toda mesa preta possui computador.
b) Se a mesa tem computador, ento ela azul.
c) Algumas mesas pretas possuem computador.
d) Se a mesa azul, ento ela possui computador.
196
e) No verdade que toda mesa azul no possui computador.

17) ANPAD 2011 Sabe-se
Sabe se que, em certa concessionria, existe pelo menos um
carro com cmbio automtico
utomtico e freios ABS. Alm disso, sabe-se
sabe se que todo carro
com freios ABS tem ar- condicionado. Logo, nessa concessionria,
a) Todo carro com ar-condicionado
condicionado tem freios ABS.
b) Todo carro com ar-condicionado
condicionado tem cmbio automtico.
c) Existe carro com cmbio
cmbi automtico que tem ar-condicionado.
d) Nenhum carro com cmbio automtico tem ar-condicionado.
ar
e) Nenhum carro que no tenha ar-condicionado
ar condicionado tem cmbio automtico.
18) ANPAD 2012 (Adaptada) Todo leo carnvoro. Todos
odos os carnvoros so
vertebrados. Portanto,
a) todo leo vertebrado..
b) todo carnvoro leo.
c) algum leo no carnvoro.
carnvoro
d) existem lees que no so carnvoros.
e) todo vertebrado ou leo ou carnvoro.
19) ANPAD 2012 (Adaptada) Todo ps-graduando em Engenharia interessa-se
por projetos grandiosos.. Toda pessoa que se interessa por projetos grandiosos
tem inteligncia acima da mdia. H pessoas com inteligncia acima da mdia
que no cursam ps-graduao
graduao em Engenharia.. Existem estudantes de psps
graduao em Engenharia
haria. Essas informaes nos garantem que
a) No h pessoas inteligentes que no se interessam por projetos grandiosos.
grandiosos
b) Existem ps-graduandos
graduandos em Engenharia que no se interessam por projetos
grandiosos.
c) No existe pessoa que se interessa por projetos grandiosos e tenha inteligncia
acima da mdia.
d) H estudantes de ps-graduao
ps
em Engenharia que tm inteligncia, no
mximo, mdia.
e) Existe algum que tem inteligncia acima da mdia, interessainteressa-se por projetos
grandiosos e ps-graduando
graduando em Engenharia.
20) ANPAD 2008 Em um grupo de rapazes, todos os mineiros so engenheiros,
mas nenhum engenheiro pobre. Todos os rapazes altos so gnios, e alguns
gnios so pobres. Se nenhum gnio engenheiro,
a) nenhum rapaz alto mineiro.
b) pelo menos um
m rapaz alto pobre.
197
c) pelo menos um rapaz mineiro pobre.

d) todos os rapazes gnios so mineiros.
e) todos os rapazes gnios so altos.
p : Todos os mineiros so simpticos.
q : Alguns paulistas so altos.
A proposio composta ~ ~ expressa, na linguagem corrente, por
a) Existem mineiros que no so simpticos e alguns paulistas so altos.
b) Existem mineiros que no so simpticos ou alguns paulistas so altos.
c) Todos os mineiros no so simpticos
simpticos ou todos os paulistas no so altos.
d) Todos os mineiros so simpticos ou todos os paulistas no so altos.
e) Todos os mineiros so simpticos e todos os paulistas no so altos.
22) ANPAD 2008 Considere os argumentos abaixo.
I. Alguns
ns animais so amarelos e algumas coisas amarelas so comestveis.
Logo, alguns animais amarelos so comestveis.
II. Todas as cobras tm duas asas. Todos os seres de duas asas tm pernas. Logo,
todas as cobras tm pernas.
III. Todos os poetas so pobres e alguns pobres so honestos. Logo, alguns
poetas so honestos.
se os argumentos vlidos por V e as falcias por F,.os argumentos I, II
Indicando-se
e III so, respectivamente,
a) F V F
b) F F V
c) F F F
d) V F V
e) V V V
23) ANPAD 2008 Nem tudo o que comea chega ao fim, mas tudo o que chega
ao fim tem de comear. Logo,
a) nada comea.
b) tudo chega a seu fim.
c) se algo comea, ento chega ao fim.
d) no verdade que tudo o que comea chega ao fim.
e) no verdade que tudo o que comea no chega ao fim.
24) ANPAD 2008 Dentre as alternativas expostas abaixo, assinale aquela que
apresenta uma forma INVLIDA de argumento.
198
a) Nenhum paulista cearense. Mas, alguns administradores so paulistas.

Portanto, alguns administradores no
n so cearenses.
b) Toda pessoa com menos de trs meses de idade analfabeta. Nenhum
administrador analfabeto. Logo, nenhum administrador tem menos de trs
meses de idade.
c) Todo aquele que graduado, concluiu o ensino superior. Todo administrador
graduado. Logo, todo administrador concluiu o ensino superior.
d) Todo administrador foi alfabetizado. Nenhum alienado administrador. Logo,
existe algum que alienado e alfabetizado.
e) Todo ps-doutor
doutor fala ingls fluentemente. Alguns administradores so psps
doutores.Assim, alguns administradores falam ingls fluentemente.
25) ANPAD 2007 Todo ladro desonesto. Alguns desonestos so punidos.
Portanto, pode-se
se afirmar que
a) alguns punidos so desonestos.
b) nenhum ladro desonesto.
desones
c) nenhum punido ladro.
d) todo ladro punido.
e) todo punido ladro.
26) ANPAD 2008 Considere as seguintes premissas:
I. Nenhum estudante ignorante.
II. Todo administrador estudante.
Uma concluso possvel, decorrente dessas premissas, a de que
a) nenhum administrador ignorante.
b) algum administrador ignorante.
c) todo administrador ignorante.
d) algum estudante ignorante.
e) todo estudante administrador.
27) ANPAD 2007 Das proposies Nenhuma fruta marrom doce e Algum
abacaxi doce, conclui--se que
a) Algum abacaxi no marrom.
b) Todo abacaxi marrom.
c) Nenhum abacaxi marrom.
d) Algum abacaxi marrom.
e) Todo abacaxi no marrom.
Considerem as seguintes proposies:
28) ANPAD 2007 Considerem-se
199
Todas as pessoas ricas so cultas.

"Nenhum pescador culto.
Hugo rico.
Uma concluso que necessita de todas essa proposies como premissas
a) Ricos so cultos.
b) Hugo no culto.
c)) Hugo no pescador.
d) Hugo rico e pescador.
e) Hugo um pescador culto.
29) ANPAD 2007 Considerem-se
Considerem as seguintes premissas:
Todos os jogadores de futebol so bonitos.
Lucas bonito.
Hugo rico.
Considerando as premissas, a validade de cada argumento gerado pelas
concluses I, II e III , respectivamente,
a) vlido, vlido, vlido.
b) no vlido, vlido, vlido.
c) vlido, no vlido, no vlido.
d) no vlido, vlido, no vlido.
e) no vlido,
o, no vlido, no vlido
I.
Todas as aves so carnvoras.
Existem peixes que so carnvoros.
Logo, existem peixes que so aves.
II. Todos os minerais so aves.
Existem borboletas que so minerais.
Logo, existem borboletas que so aves.
III. O assassino o chofer ou Lea pretensiosa.
Ora, Lea no pretensiosa.
Logo, o assassino o chofer.
A sequencia CORRETA quanto validade dos argumentos I, II e III ,
respectivamente,
a) no vlido, vlido, vlido.
b) no vlido, vlido, no vlido.
c) no vlido, no vlido, no vlido.
d) vlido, vlido, no vlido.
200
e) vlido, vlido, vlido.

[Nota: o argumento IIII da questo acima no categrico.]
31) ANPAD 2005 Sejam dadas as premissas Alguns engenheiros so

estudiosos e Todos os engenheiros so aprovados no teste. Para que se tenha
um argumento vlido, pode-se
pode concluir que
a) Todos os estudiosos so engenheiros.
b) Todos os estudiosos so aprovados
a
no teste.
c) Alguns estudiosos so aprovados no teste.
d) Todos os aprovados no teste so engenheiros.
e) Todos os aprovados no teste so estudiosos.
32) ANPAD 2005 Considere as seguintes proposies.
Quem sabe pintar no insensvel.
insensve
Mutantes no sabem escrever.
Quem no sabe escrever insensvel.
Uma concluso possvel pode ser escrita como
a) Os seres insensveis no sabem escrever.
b) Mutantes no sabem pintar.
c) Seres que no sabem pintar so insensveis.
d) Seres que sabem escrever no so insensveis.
e)) Seres que no sabem escrever so mutantes.
p : Todo soldado forte.
q : Alguns pedreiros no so fortes.
Supondo que p e q so verdadeiras, qual das seguintes alternativas est correta?
a) Os indivduos que so pedreiros so fortes.
b) Alguns soldados que so pedreiros no so fortes.
c) Todos os soldados que so pedreiros so fortes.
d) Nenhum soldado pedreiro.
e) Todo pedreiro soldado.
34) ANPAD 2005 Sabendo-se
Sabendo se que todo A B e que existe algum C que A,
pode-se afirmar que
a) algum C no B.
b) existe pelo menos um C que B.
c) no existe nenhum C que B.
201
d) todo A C.
e) todo C B
35) ANPAD 2004 Se Alguns profissionais so administradores e Todos os
administradores so pessoas competentes, ento, necessariamente, com as
proposies apresentadas, pode-se
pode inferir que
a) Algum profissional uma pessoa competente.
b) Toda pessoa
ssoa competente administradora.
c) Todo administrador profissional.
d) Nenhuma pessoa competente profissional.
e) Nenhum profissional no competente.
36) ANPAD 2004 Todos os primognitos da famlia Bragana tm olhos
verdes. Eduardo tem
m olhos castanhos. Ento, pode-se
pode afirmar que
a) Eduardo pertence famlia Bragana.
b) Eduardo no pertence famlia Bragana.
c) Eduardo pertence famlia Bragana e primognito.
d) Se Eduardo primognito, ento pertence famlia Bragana.
e)) Se Eduardo pertence famlia Bragana, ento no primognito.
37) ANPAD 2004 Toda criana feliz. Algumas pessoas que usam culos so
infelizes. Logo,
a) nenhuma criana usa culos.
b) as pessoas que no usam culos so felizes.
c) todas as crianas
ianas que usam culos so felizes.
d) todas as pessoas que usam culos so infelizes.
e) algumas crianas que usam culos so infelizes.
38) ANPAD 2003 Considere as proposies Todos os ces so mamferos e
Alguns ces mordem. Ento, conclui-se
conclui que
a) Todos os ces mordem
b) Todos os mamferos mordem
c) Alguns
ns mamferos mordem
d) Nenhum mamfero morde
e) Nenhum co morde.
39) ANPAD 2002 Todas as pessoas que comem banana e ma preferem ma.
Algumas pessoas que comem ma no a preferem.
a) Todas as pessoas que comem ma a preferem.
202
b) Ningum prefere ma.

c) Algumas pessoas que comem ma no comem banana.
d) Quem come banana prefere
pref ma.
e) S quem come banana e ma come ma.
40) ANPAD 2002 So verdadeiras as seguintes afirmaes:
I.
Todos os m so b.
II. Todos os r so b.
III. Alguns r funcionam.
Ento, a sentena que consequncia lgica de I, II e III
a) Alguns
uns b que funcionam no so r.
b) Alguns b funcionam e alguns b que funcionam no so r.
c) Alguns b funcionam e nenhum m funciona.
d) Alguns m funcionam.
e) Alguns b funcionam.
I Todo artista
ista simptico.
II Todo poltico no simptico.
Pode-se afirmar que
a) Alguns artistas so polticos.
b) Algumas pessoas simpticas so polticos.
c) Nenhum artista simptico.
d) Nenhum artista poltico.
e) Nenhuma pessoa simptica artista.
42) ANPAD 2002 So verdadeiras as seguintes informaes:
I Todos os calouros so humanos.
II Todos os estudantes so humanos.
III Alguns estudantes pensam.
Assim, a sentena que consequncia
conseq
lgica de I, II e III
a) Alguns humanos pensam.
b) Alguns humanos que pensam no so estudantes.
c) Alguns humanos pensam e nenhum calouro pensa.
d) Alguns humanos pensam e alguns humanos que pensam no so estudantes.
e) Todos os calouros so estudantes e alguns
al
humanos pensam.

203
Gabarito:
1B
2E
10 C 11 E
19 E 20 A
28 C 29 E
37 C 38 C
3X
12 E
21 D
30 B
39 E
4C
13 D
22 A
31 C
40 E
5C
14 B
23 D
32 B
41 D
6C
15 C
24 D
33 C
42 A
7D
16 E
25 A
34 B
8E
17 C
26 A
35 A
9A
18 A
27 A
36 E

nos um e-mail.
mximo, 24 horas!
Obrigado!

204
Proposies Categricas (Uso de Quantificadores)

Quadro-Resumo
TIPO
EQUIVALENTE
LGICO
(sentencial)
REPRESENTAO
SIMBLICA
(predicados)
Todo P Q
pq
x Px Qx)
ou ~
Nenhum P Q
p ~q
x Px ~Qx)
Algum/Alguns
Existe/Existem
Pelo menos um
Algum P Q
pq
x Px Qx)
Algum no
Algum P no Q
p ~q
x Px ~Qx)
QUANTIFICADOR
SMBOLO
PROPOSIO
CATEGRICA
Todo
Nenhum
DIAGRAMAS LGICOS
Universais
Particulares
ou
Existenciais
Acompanhe a srie de dicas

dicas, macetes e atalhos no blog: http://profmilton.blogspot.com.br/
Proposies Abertas de Primeira Ordem

Vista de perto, a vida uma tragdia.
Vista de longe, uma comdia.
[Charles Chaplin]
9.1 Conceito
Conforme j foi dito no Captulo 1, alguns autores denominam as proposies
abertas de primeira ordem como sentenas abertas, pelo fato de no se poder
valorar tais proposies com V (verdadeiro) ou F (falso).
Ressalte-se, novamente, que o conceito de proposio foi estabelecido no campo
da Filosofia, e, de fato, consta que uma proposio uma orao declarativa,
que tanto pode ser apresentada na forma afirmativa quanto negativa, e, para a
qual somente se pode atribuir um valor lgico (V, se verdadeira, e F, se falsa).
Ocorre que, no fossem proposies as tais sentenas abertas, jamais poderiam
ter sido introduzidas no campo da Lgica Formal, que est alicerada sob o
conceito de proposio. Dito de outra forma: o que no proposio no pode
ser analisado pelos conceitos da Lgica Formal.
As sentenas abertas foram introduzidas nesse campo de estudos por
matemticos, que mantiveram o conceito (filosfico) original ipsis literis, quando
deveriam t-las separado apenas no que diz respeito sua valorao.
Retomando o conceito e um exemplo, apresentados no Captulo 1:
Proposio uma orao declarativa, que pode ser expressa de forma
afirmativa ou negativa.
Exemplo:
x + 5 = 12. (forma afirmativa)
x + 5 12. (forma negativa)
A proposio acima uma orao declarativa e foi apresentada nas formas
afirmativa e negativa; est em sua forma simblica, mas pode ser perfeitamente
traduzida para a linguagem corrente:
206
Xis mais cinco igual a doze. (forma afirmativa)

Xis mais cinco no igual a doze. ou Xis mais cinco diferente de doze.
(forma negativa)
Somente com a resoluo,
resoluo caso seja possvel, da proposio aberta de primeira
ordem em um dado conjunto (associando-se
(associando se um valor desse conjunto a x), esta
tornar-se- uma proposio que pode ser V ou F.
Entretanto, uma proposio aberta de
d primeira ordem no , necessariamente,
uma equao ou uma inequao (de uma ou mais variveis). Se, por exemplo,
nos referirmos razo entre x e y teremos a uma proposio aberta de primeira
ordem que no equao nem inequao.
9.2 Conjunto-Verdade
Verdade
Conjunto-verdade
verdade de uma proposio aberta de primeira ordem aquele em que
se enumera(m) o(s) valor(es) que a verifica(m), quando esta dada em forma de
equao ou inequao.
Exemplo:
x3=2
Soluo:
x=2+3x=5
V = {5}
o conjunto-verdade
verdade da equao acima.
Como se v, somente ser possvel analisar uma proposio aberta de primeira
ordem pelos conceitos da Lgica Formal a partir do fechamento da proposio,
isto , a partir do momento em que for determinado o seu conjunto-verdade.
conjunto

207
9.3 Implicao Lgica

Uma proposio aberta de primeira ordem implica ()) outra quando o conjuntoconjunto
verdade da primeira est contido no conjunto-verdade
conjunto
da segunda.
Exemplo:
Verificar a implicao: (xx 3 = 2) (x2 25 = 0)
verdade da primeira proposio : V1 = {5}.
O conjunto-verdade
O conjunto-verdade
verdade da segunda proposio : V2 = {-5, 5}.
Como o conjunto-verdade
verdade da primeira proposio est contido no conjuntoconjunto
2
verdade da segunda (V1 V2), diz-se que (x 3 = 2) implica (x 25 = 0).
9.4 Equivalncia Lgica
Uma proposio aberta de primeira ordem equivalente ()) a outra quando os
conjuntos-verdade
verdade de ambas forem rigorosamente iguais.
Exemplo: Verificar a equivalncia: (x 3 = 2) (5x 25 = 0)
O conjunto-verdade da primeira : V1 = {5}.
O conjunto-verdade
verdade da segunda : V2 = {5}.
Como os conjuntos-verdade
verdade das
d duas proposies so iguais, diz-se
se que
(x 3 = 2) equivalente a (5x 25 = 0)

208
9.5 Operaes Lgicas

9.5.1 Negao
Afirmao
x=y
xy
xy
x<y
xy
x>y
Negao
xy
x=y
x<y
xy
x>y
xy
Exemplos:
1) Afirmao:
Negao:
2) Afirmao:
Negao:
3) Afirmao:
Negao:
1
2
2
4
4
1
4) Afirmao: 0
Negao:
0
Exerccios Propostos
1) ANPAD 2009 A negao de x > 1 e y < 0 com x, y R
a) x < 1 e y > 0
b) x 1 e y 0
c) x 1 e y 0
d) x 1 ou y 0
e) x < 1 ou y > 0
2) ANPAD 2010 Sejam verdadeiras as proposies a seguir.
I. Se x = 1 e y = z,, ento y > 2.
II. y 2.
209

a) 1 e
b) 1 ou
c) 1 e
d)
1e
e)
e
1
3) ANPAD 2011 Se x < y, ento z = 0. Ora, z 0. Portanto,
a) x = y
b) x - y < 0
c) x y
d) x y
e) x > y
4) ANPAD 2011 Seja dado: se x + y = z, ento r + s = z; se r + s = z,
z ento
z = w s; e, se z = 0, ento 51 = x + v. Sabendo-se que z = x + y ou z = 0, ento
pode-se concluir que, se x + v 51,
a) x + y = 0.
b) 51 = x + y.
c) r = z + s.
d) z = w s.
e) 0 = w s.
5) ANPAD 2004 Se
afirmar que
a) y = 2
b) y = 0
c) y = 2 x
d) x + y 2
e) y 0
Gabarito:
1D 2B
3D
2, ento
4D
0. Ora,
no zero. Ento, pode-se

pode
5D

210

nos um e-mail.
e
Nossa proposta responder em, no
mximo, 24 horas!
Obrigado!

211
9.5.2 Conjuno
Haver conjuno entre duas proposies abertas de primeira ordem se houver

elemento comum em ambos os conjuntos-verdade.
conjuntos verdade. em outras palavras, o
conjunto-verdade
verdade da conjuno dado pela interseo entre os conjuntosconjuntos
verdade de cada uma das proposies.
propo
Exemplo:
1) (x + 5 = 12) (x2 49 = 0)
Soluo:
Conjuntos-verdade: V1 = {7}, e V2 = {7; 7}
V1 V2 = {7}
Na disjuno inclusiva entre duas proposies abertas de primeira ordem, o

conjunto soluo dado pela unio entre os conjuntos-verdade
verdade de cada uma das
proposies.
Exemplo:
1) (x + 5 = 12) (x2 49 = 0)
Soluo:
Conjuntos-verdade: V1 = {7}, e V2 = {7; 7}
V1 V2 = {7; 7}
[Nota: Este Captulo
aptulo pouco explorado no Teste ANPAD ou em Concursos Pblicos.]
[Nota: As operaes de condio, disjuno exclusiva e bicondio entre proposies abertas de
primeira ordem no so cobradas em Concursos Pblicos, nem no Teste ANPAD, razo pela
qual deixaro de constar neste material.]

212

nos um e-mail.
mximo, 24 horas!
Obrigado!

213
10 Lgica Informal (Apresentao)

Os maiores dos erros so a pressa antes do tempo e a lentido
diante da oportunidade.
[Provrbio rabe]
No prximo volume,, abordaremos a Lgica Informal, cujas questes no tm por

base os conceitos que o leitor procurou assimilar at agora. So questes que
visam apurar sua versatilidade no pensar e sua frieza ao encarar desafios,
encaminhando uma soluo apropriada.
Seguem exemplos de questes
questes que voc ver abordadas no livro de Lgica
Informal.
1) ANPAD 2007 Uma urna contm bolinhas de gude de vrias cores: oito
marelas, doze vermelhas, cinco brancas, treze azuis e sete verdes. A quantidade
mnima de bolinhas de gude que precisamos retirar
retirar da urna para garantir que
teremos trs
rs bolinhas de uma mesma cor
a) 11
b) 15
c) 21
d) 23
e) 28
2) ANPAD 2007 Cinco amigos, Abel, Deise, Edgar, Fbio e Glria, foram
lanchar e um deles resolveu sair sem pagar. O garom percebeu o fato, correu
atrs dos amigos que saam do restaurante e chamou-os
chamou os para prestarem
esclarecimentos. Pressionados, informaram o seguinte:
No fui eu nem o Edgar, disse Abel.
Foi o Edgar ou a Deise, disse Fbio.
Foi a Glria, disse Edgar.
O Fbio est mentindo, disse Glria.
Foi a Glria ou o Abel, disse Deise.
Considerando que apenas um dos cinco amigos mentiu, pode-se
pode se concluir
concl
que
quem resolveu sair sem pagar foi
a) Abel
b) Deise
c) Edgar
d) Fbio
214
e) Glria
3) ANPAD 2007 Edmundo percebeu que, na tera-feira,
tera feira, 27 de julho, iriam
terminar as suas frias; verificou que o prximo feriado o dia 7 de setembro
se
e
viu que esse dia cai
a) numa segunda-feira
b) numa tera-feira
c) numa quarta-feira
d) num sbado
e) num domingo
4) ANPAD 2007 Trs amigos, Bernardo, Davi e Fausto, de sobrenome Pereira,
Rocha e Silva, no necessariamente nessa ordem, foram assistir, cada um, a um
filme diferente ao, comdia e terror. Sabe-se
Sabe que:
Bernardo no assistiu ao filme de terror nem ao de ao.
Pereira assistiu ao filme de ao.
O sobrenome de Davi Silva.
CORRETO afirmar que
a) Davi assistiu a uma comdia.
b) Fausto assistiu a um filme de ao.
c) Rocha assistiu a um filme de terror.
d) o sobrenome de Fausto Rocha.
e) o sobrenome de Bernardo Pereira.
5) ANPAD 2007 Cada uma das trs amigas Ana, Bia e Carla, gosta de apenas
uma das seguintes frutas: ma, banana e pera, no necessariamente nessa ordem.
Ana gosta de pera, Bia no gosta de pera e Carla no gosta de banana. Se apenas
uma dessas trs afirmaes for verdadeira e se cada uma das trs amigas gosta de
uma fruta diferente, ento as frutas de que Ana, Bia e Carla
Carla gostam so,
respectivamente
a) banana, pera e ma.
b) pera, ma e banana.
c) ma, banana e pera.
d) pera, banana e ma.
e) banana, ma e pera.
6) ANPAD 2006 Descobriu-se
Descobriu se uma espcie de bactria imortal que, a partir do
momento de sua hospedagem e/ou
e/ou existncia, comea seu ciclo reprodutivo
infinito e ininterrupto. Sabe-se
Sabe se que dois exemplares dessa espcie de bactria
215
geram seis exemplares em apenas 5 segundos, totalizando assim oito exemplares

em 5 segundos. Com esses dados, se tivssemos agora dez exemplares da
referida bactria, quantos exemplares teramos daqui a 10 segundos?
a) 420
b) 160
c) 120
d) 50
e) 40
7) ANPAD 2006 Algumas pessoas de uma mesma famlia esto reunidas e
entre elas existem as seguintes relaes de parentesco: pai, me, filho,
fil
filha,
irmo, irm, primo, prima, sobrinho, sobrinha, tio e tia. Considerando-se
Considerando
que
todos tm um antepassado em comum e que no h casamento consanguneo
entre eles, o nmero mnimo necessrio de pessoas para a ocorrncia de todas
essas relaes
a) 4
b) 5
c) 6
d) 7
e) 8
8) ANPAD 2006 Em uma bombonire h 13 bombons, cada qual recheado com
apenas um dos sabores: avel, cereja, damasco ou morango. Sabe-se
Sabe
que existe
pelo menos um bombom de cada recheio e que suas quantidades so diferentes.
Os bombons
ns recheados com avel ou cereja somam 4 bombons, enquanto que os
recheados com avel ou morango totalizam 5. Considerando-se
Considerando
essas
informaes, uma das possveis
poss
alternativas que somente
a) 2 bombons sejam de avel.
b) 2 bombons sejam de cereja.
c) 3 bombons sejam de damasco.
d) 4 bombons sejam de damasco.
e) 4 bombons sejam de morango.
9) ANPAD 2006 As primas Branca, Celeste e Rosa foram almoar na casa da
av e notaram que estavam com calados das cores branca, celeste e rosa. Ento,
Branca disse: as cores dos calados combinam com nossos nomes, mas
nenhuma est com o calado da cor que combine com seu prprio nome. E
da?, respondeu a jovem com o calado rosa. Com essas informaes, pode-se
pode
afirmar que
216
a) Branca est com calado rosa.

b)) Celeste est com calado rosa.
c) Rosa est com calado celeste.
d) Celeste est com calado branco e Rosa est com calado celeste.
e) Branca est com calado celeste e Celeste est com calado branco.
10) ANPAD 2004 Aldo, Lucas e Osmar saram para
para passear de bicicleta. Em
certo momento, eles trocaram as bicicletas e os bons entre si. Isto , cada um
passeia agora com a bicicleta de um segundo e o bon de um terceiro. O que est
com o bon de Osmar est com a bicicleta de Lucas. Ento,
a) Osmar est
t com o bon de Aldo.
b) Lucass est com a bicicleta de Aldo.
c) Aldo est com a bicicleta de Osmar.
d) Osmarr est com a bicicleta de Aldo.
e) Lucas est com o bon de Osmar.
O livro de Raciocnio Lgico Informal est disponvel, gratuitamente, no

seguinte link:
www.facebook.com/groups/souintegral/
Para ter acesso ao arquivo, clica na guia "Arquivos" na parte superior da
pgina.
Se tiveres dvidas, envie para ns.
Bons estudos!

217
Ateno! Nosso material didtico passa por constantes revises e

atualizaes, seja para corrigir erros, seja para melhorar as explicaes em
alguns tpicos. Isto feito com base nas centenas de dvidas e sugestes que
recebemos mensalmente.
Mantenha seu material didtico sempre atualizado!
Consulte
onsulte periodicamente nossa pasta pblica, na qual todo o nosso material
didtico mantido: http://www.facebook.com/groups/souintegral/.
http://www.facebook.com/groups/souintegral/
Cadastre-se tambm aqui http://integral.klicksite.com.br/anpad-poa-rs/
http://integral.klicksite.com.br/anpad
ou aqui http://mga960.klicksite.com.br/pre-anpad-poa-rs/
http://mga960.klicksite.com.br/pre
e receba,
receba via email, informaes e atualizaes em primeira mo.
Este material parte integrante dos nossos cursos a distncia. Por contrato
assinado com a RB (empresa que tem os direitos de veiculao dos nossos
cursos online), no poderemos mant-lo
mant lo com distribuio pblica
pbli e gratuita
por muito tempo. Por isto, aconselhvel que voc se inscreva tambm no
Cadastro por e-mail,
mail, pois enviaremos as correes e atualizaes, sem custos,
apenas para os integrantes da lista,
lista, quando o material for retirado da
d
circulao pblica e gratuita.
Por gentileza, repasse
epasse esse material para o maior nmero possvel de
amigos. Obrigado!
Participe do nosso projeto: http://profmilton.blogspot.com.br/2013/12/pay
on.blogspot.com.br/2013/12/payit-forward-corrente-do--bem.html

218
11 Instituto Integral Editora - Catlogo

1. Raciocnio Lgico Formal
2. Raciocnio Lgico Informal
https://www.facebook.com/groups/souintegral/648
226115228543
478483703306/
3. Caderno RQ1 - Teoria dos Conjuntos
4. Caderno RQ2 - Proporcionalidade
452690272552/
512393299915/
5. Caderno RQ3 - Matemtica Financeira
6. Caderno de Testes ANPAD - Vol. I
://www.facebook.com/groups/souintegral/809
923325725487/
788225172332/

219
7. Caderno de Testes ANPAD

ANPA - Vol. II
8.. 500 questes resolvidas
094236308396/
787848505703/
9. Caderno RQ4 - Anlise Combinatria
897222294764/
Acompanhe os lanamentos da
d Srie "Cadernos RQx":
http://profmilton.blogspot.com.br/2014/01/livros
http://profmilton.blogspot.com.br/2014/01/livros-digitais-gratuitos
gratuitoscolecao.html
Prximos lanamentos:
10. Caderno RQ5 - Probabilidade
11. Caderno RQ6 - Estatstica
12. Caderno RQ7 - Funes
13. Caderno RQ8 - Sequncias e Progresses

220
14. Caderno RQ9 - Matrizes e Determinantes

15. Caderno RQ10 - Geometrias Plana, Espacial e Analtica
16. Caderno RQ11 - Matemtica
Matemt Bsica
Agradecemos a preferncia pelo nosso material didtico!


Raciocinio Logico

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Raciocinio Logico

Enviado por

Direitos autorais:

Formatos disponíveis

Raciocnio Lgico

Prof.. Milton Araujo

INSTITUTO INTEGRAL | www.institutointegralead.com.br

CONCEITOS BSICOS ................................................................................................

OPERAES LGICAS ................................................................................................

Acompanhe a srie de dicas,

IMPLICAO LGICA E EQUIVALNCIA LGICA ................................................................

LGEBRA PROPOSICIONALL ................................................................................................

LGICA DE ARGUMENTAO ................................................................................................

Acompanhe a srie de dicas,

PROPOSIES ABERTAS DE PRIMEIRA ORDEM ................................................................

LGICA INFORMAL (APRESENTAO)

INSTITUTO INTEGRAL EDITORA

Acompanhe a srie de dicas,

Ateno! Nosso material didtico passa por constantes revises e

Acompanhe a srie de dicas,

1.1 O que Lgica?

Pacincia e disciplina so requisitos fundamentais! Muitos alegam que no

Acompanhe a srie de dicas,

Os argumentos dedutivos so aqueles nos quais as premissas fornecem um

impossvel que as premissas sejam verdadeiras e a concluso falsa. Num

Nos argumentos indutivos as premissas proporcionam somente alguma

Acompanhe a srie de dicas,

Acompanhe a srie de dicas,

2.1 Viso Geral

O que foi dito

Lgica Formal (Clssica)

Como foi dito

Exemplo: Na sentena: Se h fumaa,

Exemplo: Na sentena: Se h fumaa,

se, no quadro acima, que a Lgica Formal preocupa-se

Acompanhe a srie de dicas,

No argumento acima, tanto a premissa 1 quanto sua concluso so falsas

O conceito de proposio est fundamentado em trs pilares:

Chama-se de proposio uma frase ou sentena declarativa.

Uma proposio se apresenta de duas formas:

Acompanhe a srie de dicas,

A valorao de uma proposio depende da classe dessa proposio. Veremos

todo enunciado lingustico, constitudo de uma ou mais palavras, que expressa

todo enunciado lingustico que contm um verbo.

Acompanhe a srie de dicas,

uma frase que possui uma ou mais oraes.

a) declarativas. Exemplo: Joo teve cuidado.

Acompanhe a srie de dicas,

Redefinindo o conceito: Proposio uma orao declarativa, que pode ser

Uma proposio pode ser representada tanto em linguagem corrente quanto em

a representao por meio de letras do alfabeto.

Quando estiver na linguagem corrente, prudente sempre colocar uma

Acompanhe a srie de dicas,

H duas formas de se valorar uma proposio:

Acompanhe a srie de dicas,

2.2.6 Trs princpios bsicos da Lgica Formal

Se uma proposio verdadeira, ento ela verdadeira.

Uma proposio no pode ser ao mesmo tempo verdadeira e falsa.

Princpio do terceiro excludo

Uma proposio no pode ser nem verdadeira, nem falsa.

Acompanhe a srie de dicas,

2.2.7 Classificao das Proposies

Estabelece--se uma proposio categrica mediante

[Nota: As proposies abertas de primeira ordem so chamadas de Sentenas Abertas por

Exemplo: x + 5 = 12 est em linguagem simblica (simbolismo matemtico).

mais cinco no igual a doze., ou,

Um conectivo lgico tem a funo de formar uma proposio composta.

Acompanhe a srie de dicas,