Aula 02 - Parte 01

RACIOCNIO LGICO PARA PRF
PROFESSOR: GUILHERME NEVES

Prof. Guilherme Neves www.pontodosconcursos.com.br 1

Aula 2 Parte 1
Condio Necessria e Condio Suficiente . ................................................................................... 2
Negao de proposies compostas . .................................................................................................. 6
Negao de proposies quantificadas . .......................................................................................... 11
Diagramas de Euler-Venn . ................................................................................................................... 25


Condio Necessria e Condio Suficiente

Vamos considerar as seguintes proposies:
: .
: .
Considere agora a proposio composta :
: , .
Imagine que algum te informou que de fato Guilherme pernambucano. Voc
j pode garantir que Guilherme brasileiro? Sim!!
Desta forma, dizemos que Guilherme ser pernambucano condio
suficiente para Guilherme ser brasileiro.
Por que condio suficiente? Porque basta saber que Guilherme
pernambucano para garantir que Guilherme brasileiro.
Generalizando, dizemos que no condicional , condio suficiente
para .
Imagine agora que algum te informou que Guilherme brasileiro. Voc
garante que Guilherme pernambucano? No!!
Ou seja, saber que Guilherme brasileiro NO SUFICIENTE para saber que
Guilherme pernambucano.
Mas uma coisa podemos garantir: para que Guilherme seja pernambucano, ele
necessariamente tem que ser brasileiro. Ou seja,
Guilherme ser brasileiro condio necessria para Guilherme ser
pernambucano.
Diz-se que p condio suficiente de (ou para) q sempre que p q . Em
outras palavras, uma condio suficiente aparece como antecedente de uma
proposio condicional. Usando a mesma expresso, q se diz condio
necessria de (ou para) p. Em outras palavras, uma condio necessria
aparece como consequente de uma condicional. Por exemplo, a proposio
Se Guilherme pernambucano, ento Guilherme brasileiro pode ser lida
das seguintes maneiras:
Guilherme ser pernambucano condio suficiente para Guilherme ser
brasileiro.

Guilherme ser brasileiro condio necessria para Guilherme ser
pernambucano.
Resumindo...

Exemplo: Considere a frase Penso, logo existo. Esta frase significa que Se
penso, ento existo.
Lembre-se que o primeiro componente do se..., ento a condio
suficiente.
Desta forma: Pensar condio suficiente para existir.
O segundo componente do se..., ento... a condio necessria.
Desta forma: Existir condio necessria para pensar.
Lembra da equivalncia ~ ~ que estudamos na aula passada? Pois
bem, a proposio Se penso, ento existo. equivalente proposio:
Se no existo, ento no penso, que pode ser escrita como:
No existir condio suficiente para no pensar.
No pensar condio necessria para no existir.
Vamos agora considerar as seguintes proposies:
: .
: .
Considere agora a proposio composta :
: .
Esta frase tem o seguinte significado:
Se Guilherme recifense, ento Guilherme nasceu no Recife e se Guilherme
nasceu no Recife, ento Guilherme recifense.. Trata-se, portanto, de um
bicondicional.
Diz-se que p condio necessria e suficiente de (ou para) q, ou que q
condio necessria e suficiente de (ou para) p sempre que p q . Por
p q
p condio suficiente para q
q condio necessria para p

exemplo, a proposio Guilherme recifense se e somente se nasceu no
Recife pode ser lida das seguintes maneiras:
Guilherme ser recifense condio necessria e suficiente para ter
Guilherme nascido no Recife.
Guilherme ter nascido no Recife condio necessria e suficiente para
Guilherme ser recifense.
Em resumo:

01. (MEC/2008/FGV) Com relao naturalidade dos cidados brasileiros,
assinale a alternativa logicamente correta:

a) Ser brasileiro condio necessria e suficiente para ser paulista.
b) Ser brasileiro condio suficiente, mas no necessria para ser
paranaense.
c) Ser carioca condio necessria e suficiente para ser brasileiro.
d) Ser baiano condio suficiente, mas no necessria para ser brasileiro.
e) Ser maranhense condio necessria, mas no suficiente para ser
brasileiro.

Resoluo

a) Brasileiro paulista. Falso, pois pode ocorrer o caso de uma pessoa ser
brasileira e no ser paulista. Contradio, pois os valores lgicos das
proposies componentes de uma bicondicional devem ser iguais. Uma
proposio bicondicional equipara-se a dois condicionais: Se uma pessoa
brasileira, ento ela paulista e, se uma pessoa paulista, ento ela
brasileira.

b) Brasileiro paranaense. Falso, pois pode ocorrer o caso de uma pessoa ser
brasileira e no ser paranaense. Como vimos, no pode ocorrer VF em uma
condicional.

c) Carioca brasileiro. Falso, pela mesma razo da alternativa A.

p q
p condio suficiente para q
q condio necessria para p
p q
p condio necessria e suficiente para q
q condio necessria e suficiente para p

d) Baiano brasileiro. Verdadeiro, pois impossvel que uma pessoa seja
baiana e no seja brasileira. Neste caso impossvel ocorrer VF. impossvel
que o antecedente seja verdadeiro e o consequente falso.

e) Brasileiro maranhense. Falso, pela mesma razo da alternativa B.

Letra D
02. (Bacen/2006/FCC) Sejam as proposies:
p: atuao compradora de dlares por parte do Banco Central.
q: fazer frente ao fluxo positivo.
Se p implica q, ento:
a) Fazer frente ao fluxo positivo condio necessria e suficiente para a
atuao compradora de dlares por parte do Banco Central.
b) A atuao compradora de dlares por parte do Banco Central no
condio suficiente e nem necessria para fazer frente ao fluxo positivo.
c) A atuao compradora de dlares por parte do Banco Central condio
necessria para fazer frente ao fluxo positivo.
d) Fazer frente ao fluxo positivo condio suficiente para a atuao
compradora de dlares por parte do Banco Central.
e) A atuao compradora de dlares por parte do Banco Central condio
suficiente para fazer frente ao fluxo positivo.
Resoluo
p implica q o mesmo que .
Desta forma:
p condio suficiente para q.
A atuao compradora de dlares por parte do Banco Central
condio suficiente para fazer frente ao fluxo positivo.

Letra E
03. (BB/2008-2/CESPE) A proposio Se as reservas internacionais em moeda
forte aumentam, ento o pas fica protegido de ataques especulativos pode
tambm ser corretamente expressa por O pas ficar protegido de ataques
especulativos condio necessria para que as reservas internacionais
aumentem.

Resoluo

Se as reservas internacionais em moeda forte aumentam, ento o
pas fica protegido de ataques especulativos.
O primeiro componente condio suficiente.
Aumentar as reservas internacionais em m oeda forte condio
suficiente para o pas ficar protegido de ataques especulativos.
O segundo componente condio necessria.
O pas ficar protegido de ataques especulativos condio necessria
para que as reservas internacionais em moeda forte aumentem.
Observe que a frase que ns construmos no foi a mesma do enunciado. A
frase do enunciado a seguinte:
O pas ficar protegido de ataques especulativos condio necessria para
que as reservas internacionais aumentem.

Est faltando a expresso em moeda forte. Mesmo assim, o
CESPE considerou o item como certo.

O item est certo.
Negao de proposies compostas

Aprenderemos agora a construir a negao de proposies compostas.
Dada uma proposio p qualquer, uma outra proposio, chamada negao de
p, pode ser formada escrevendo-se falso que ... antes de p ou, se possvel,
inserindo a palavra no. Simbolicamente, a negao de p designada por
p ~ ou p . Para que p ~ seja uma proposio, devemos ser capazes de
classific-la em verdadeira (V) ou falsa (F). Para isso vamos postular
(decretar) o seguinte critrio de classificao: A proposio p ~ tem sempre
o valor lgico oposto de p , isto , p ~ verdadeira quando p falsa e
p ~ falsa quando p verdadeira.

p p ~
V F
F V

Exemplo:
p : Paris est na Frana.
p ~ : falso que Paris est na Frana.
p ~ : Paris no est na Frana.
p ~ : No verdade que Paris est na Frana.
Devemos ter certo cuidado ao negar as proposies. Em termos de lgica, a
negao de uma proposio p ser a proposio p ~ . A negao de A parede
branca A parece no branca. A negao efetua a simples troca do
valor verdade de p . Assim, quando p verdadeira, p ~ falsa; quando p
falsa, p ~ verdadeira. Essa simplicidade lgica se ope s vrias complicaes
que a negao coloca nos discursos. Considere ento a proposio:
Guilherme jogou um livro na perna de Joo.
A negativa, de acordo com a Lgica, limita-se a trocar o valor-verdade da
afirmao feita. Limita-se a dizer que a afirmativa falsa. Entretanto, essa
falsidade pode recair em vrios itens da afirmao.
i) No foi Guilherme quem jogou o livro, foi Alberto.
ii) No jogou, apenas encostou.
iii) No foi um livro, e sim um caderno.
iv) No foi na perna, foi na barriga.
v) No foi em Joo, foi em Paulo.
Como nos revela este exemplo, h uma negao externa, aplicvel a uma
proposio inteira, e uma negao interna, aplicvel a algum componente da
proposio. Queremos com isso mostrar que, por exemplo, no so
equivalentes as proposies ~ ( ) p q e ~ ~ p q . Para evitar dvidas,
enunciaremos as frmulas de negao das proposies compostas,
demonstraremos e, em seguida, aplicaremos nas diversas questes de
concurso.


Negao das proposies usuais
Afirmao Negao
p ~ p
p q ~ ~ p q
p q ~ ~ p q
p q ~ p q
p q
( ~ ) ( ~ ) p q q p
~
~
v

Poderamos montar esta tabela em uma linguagem informal para um melhor
entendimento do leitor iniciante.
Observe que h vrias maneiras de negar a proposio composta pelo se e
somente se. Raramente a negao deste conectivo aparece em provas.
Afirmao Negao
p q
Negue as duas proposies e troque o
conectivo e pelo conectivo ou
p q
conectivo ou pelo conectivo e
p q
Afirme o antecedente, troque o conectivo
condicional pelo conectivo e e negue o
consequente.
p q
Afirme a primeira e negue a segunda,
coloque o conectivo ou e em seguida afirme a
segunda e negue a primeira.
Negue apenas o segundo componente e
mantenha o conectivo.
Negue apenas o primeiro componente e

mantenha o conectivo.
Troque o conectivo se e somente se pelo
conectivo ou exclusivo.

A tabela acima mostra que ~ ( ) p q equivalente a ~ ~ p q e que ~ ( ) p q
equivalente a ~ ~ p q .

Estas duas equivalncias so chamadas Leis de De Morgan em homenagem
ao matemtico ingls Augustus De Morgan (1806-1871).
Demonstremos agora as frmulas de negao do condicional e do
bicondicional.

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


~ ( ) ~ p q p q
~ ( ) ( ~ ) ( ~ ) p q p q q p
~( ) ~
~( ) ~
~( ) v

O mais importante de tudo manter em mente a seguinte tabela:
Afirmao Negao
p q
conectivo e pelo conectivo ou
p q
conectivo ou pelo conectivo e
p q
Afirme o antecedente, troque o conectivo
condicional pelo conectivo e e negue o
consequente.

Vejamos alguns exemplos.
Exemplo 1: Conjuno q p q p ~ ~ ) ( ~
Afirmao: Vou ao cinema e vou ao teatro.
Negao: No vou ao cinema ou no vou ao teatro.

Exemplo 2: Disjuno q p q p ~ ~ ) ( ~
Afirmao: Eu te ensino Lgica ou meu nome no Guilherme.
Negao: No te ensino Lgica e meu nome Guilherme.

Exemplo 3: Condicional ~ ( ) ~ p q p q
Afirmao: Se for beber, ento no dirija.

Negao: Bebo e dirijo.
Negao de proposies quantificadas

Observe as seguintes expresses:
a)
2 6 0 x + =
b) 3 0 x >
Elas contm variveis e seus valores lgicos (verdadeira ou falsa) dependem
do valor atribudo varivel.
a) 2 6 0 x + = verdadeira se trocarmos x por 3 e falsa para qualquer outro
valor atribudo a x .
b) 3 0 x > verdadeira, por exemplo, para 8 x = e falsa, por exemplo, para
1 x = .
Expresses que contm variveis so chamadas de sentenas abertas ou
funes proposicionais. Como j comentamos, tais expresses no so
proposies, pois seus valores lgicos dependem dos valores atribudos s
variveis. Entretanto, temos duas maneiras de transformar funes
proposicionais em proposies: atribuir valor s variveis ou utilizar
quantificadores.
Quantificadores so palavras ou expresses que indicam que houve
quantificao. So exemplos de quantificadores as expresses: existe, algum,
todo, cada, pelo menos um, nenhum. Note que os dicionrios, de modo geral,
no registram quantificador. Esse termo, no entanto, de uso comum na
Lgica.
Uma proposio dita categrica quando caracterizada por um quantificador
seguido por uma classe ou de atributos,um elo e outra classe de atributos.
Vejamos exemplos de proposies quantificadas.
Proposio
universal
afirmativa
Todo recifense pernambucano.
Proposio universal
negativa
Nenhum recifense pernambucano.

Observe que a proposio universal negativa Nenhum recifense
pernambucano equivale a dizer que Todo recifense no pernambucano.
Dessa forma, a expresso nenhum pode ser substituda pela expresso
todo... no ....
O quantificador universal indicado pelo smbolo , que se l: todo,
qualquer que seja, para todo.
O quantificador existencial indicado pelo smbolo , que se l: algum,
existe, existe pelo menos um, pelo menos um, existe um.
Note que uma funo proposicional (ou sentena aberta) quantificada uma
proposio. Ento, como proposio, pode ser negada.
Negao de proposies quantificadas
Em resumo, temos o seguinte quadro para negao de proposies
quantificadas.
Afirmao Negao
Particular afirmativa (algum...) Universal negativa (nenhum... ou
todo... no ...)
Universal negativa (nenhum... ou
todo... no...)
Particular afirmativa (algum...)
Universal afirmativa (todo...) Particular negativa (algum... no)
Particular negativa (algum... no) Universal afirmativa (todo...)

Observe que se a proposio original utiliza o quantificador UNIVERSAL, a sua
negao ter um quantificador PARTICULAR. Se a proposio original tem um
quantificador PARTICULAR, sua negao utilizar o quantificador UNIVERSAL.
Proposio particular
afirmativa
Algum recifense pernambucano.
Proposio particular
negativa
Algum recifense no pernambucano.

Verifique ainda que se a proposio original AFIRMATIVA, sua negao ser
NEGATIVA. Se a proposio original NEGATIVA, sua negao ser
AFIRMATIVA.
Vejamos alguns exemplos:

p : Algum poltico honesto.
p : Existe poltico honesto.

A proposio dada uma PARTICULAR AFIRMATIVA. Sua negao ser uma
UNIVERSAL NEGATIVA.

~ p : Nenhum poltico honesto.
~ p : Todo poltico no honesto.

q : Nenhum brasileiro europeu.
q : Todo brasileiro no europeu.

A proposio dada uma UNIVERSAL NEGATIVA. Sua negao ser uma
PARTICULAR AFIRMATIVA.

~ q : Algum brasileiro europeu.
~ q : Existe brasileiro que europeu.

r : Todo concurseiro persistente.

A proposio dada uma UNIVERSAL AFIRMATIVA. Sua negao ser uma
PARTICULAR NEGATIVA.

~ r : Algum concurseiro no persistente.
~ r : Existe concurseiro que no persistente.

t : Algum recifense no pernambucano.
t : Existe recifense que no pernambucano.

A proposio dada uma PARTICULAR NEGATIVA. Sua negao ser uma
UNIVERSAL AFIRMARTIVA.

~ t : Todo recifense pernambucano.
Observao: Como saberemos se uma questo qualquer se refere negao?
De trs maneiras:

i) A questo explicitamente pede a negao de uma proposio dada.
ii) A questo fornece uma proposio verdadeira e pede uma falsa.
iii) A questo fornece uma proposio falsa e pede uma verdadeira.
04. (ANCINE 2012/CESPE-UnB) A negao da proposio Todo ator sabe cantar e
danar equivalente a Existe ator que no sabe cantar ou que no sabe danar.
Resoluo
A proposio dada no enunciado utiliza o quantificador universal todo. Para negar
uma proposio como esta, devemos trocar o quantificador pelo particular (algum,
existe,...) e negar o resto da frase. Observe que o resto da frase composta pelo
conectivo e. Sabemos, pelas Leis de DeMorgan, que para negar uma proposio
composta pelo conectivo e devemos modificar os verbos e trocar o conectivo por
ou.
O item est certo.
05. (ANCINE 2012/CESPE-UnB) A proposio {(P v Q)(R)} logicamente
equivalente proposio {(P)(Q)} R.
Resoluo
Vamos analisar a proposio dada: {(P v Q)(R)}. Observe que o objetivo desta
proposio negar (j que temos o smbolo da negao fora das chaves) a proposio
(P v Q)(R). Ora, e como negamos uma proposio composta pelo conectivo se...,
ento...? Devemos repetir a primeira proposio, trocar o conectivo se..., ento...
pelo conectivo e e negar o segundo componente (negar o consequente). Desta
forma, a proposio {(P v Q)(R)} equivalente proposio ( ) .
O item est errado.
Observe que o enunciado negou os dois componentes e manteve o conectivo se...,
ento....
06. (ANCINE 2012/CESPE-UnB) A proposio Se todo diretor excntrico e algum
excntrico mau ator, ento algum diretor mau ator logicamente equivalente
proposio Algum diretor no excntrico ou todo excntrico bom ator ou algum
diretor mau ator.
Resoluo
Ns estudamos duas equivalncias importantes envolvendo o conectivo se,
ento. Uma delas tem como objetivo transformar uma proposio do se, ento
em outra proposio do se, ento.
A outra equivalncia nos ensina como transformar uma proposio do se, ento
em uma proposio composta pelo conectivo ou.

Para tanto, devemos negar o primeiro componente, trocar o conectivo ou pelo se,
ento e copiar o segundo componente.
Se

, ento algum diretor mau ator

.
Vamos negar o primeiro componente. Temos uma proposio composta pelo conectivo
e. Devemos negar as duas partes e trocar o conectivo e pelo conectivo ou.
Para negar uma proposio com todo, trocamos pelo quantificador particular (existe,
algum,) e modificamos o verbo.
Para negar uma proposio com algum, trocamos pelo quantificador universal (todo)
e modificamos o verbo.
Assim, a proposio dada equivalente a Algum diretor no excntrico ou todo
excntrico bom ator ou algum diretor mau ator. Lembre-se que o segundo
componente deve ser copiado.
O item est certo.
Uma ressalva: no aceito 100% o gabarito desta questo. Se Joo no um ator
ruim, isso no significa dizer que ele um bom ator. Existe um meio termo. Da
mesma forma, se Joo no rico, isto no significa dizer que ele pobre. Existe um
meio termo. De qualquer forma, esta questo serve de respaldo para eventuais
recursos no futuro.
07. (PREVIC 2011/CESPE-UnB) A negao da proposio Se um trabalhador tinha
qualidade de segurado da previdncia social ao falecer, ento seus dependentes tm
direito a penso logicamente equivalente proposio Um trabalhador tinha
qualidade de segurado da previdncia social ao falecer, mas seus dependentes no
tm direito a penso.
Resoluo
Queremos negar uma proposio composta pelo conectivo se..., ento.... Devemos
copiar o primeiro componente, negar o segundo e trocar o conectivo pelo e.
Ficamos com: Um trabalhador tinha qualidade de segurado da previdncia social ao
falecer e seus dependentes no tm direito a penso. O item est certo. A palavra
MAS tem o mesmo sentido do conectivo e.
08. (ABIN 2010/CESPE-UnB) A negao da proposio "estes papis so rascunhos ou
no tm mais serventia para o desenvolvimento dos trabalhos" equivalente a "estes
papis no so rascunhos e tm serventia para o desenvolvimento dos trabalhos".
Resoluo


Para negar uma proposio composta pelo conectivo ou, devemos negar os dois
componentes e trocar o conectivo pelo e.
Afirmao Estes papis so
rascunhos
ou no tm mais serventia para o
desenvolvimento dos trabalhos
Negao Estes papis no so
rascunhos
e tm mais serventia para o
desenvolvimento dos trabalhos

O item est certo.
09. (Banco da Amaznia 2010/CESPE-UnB) A negao da proposio "se Paulo est
entre os 40% dos homens com mais de 30 anos, ento Lusa tem mais de 30 anos"
"se Paulo no est entre os 40% dos homens com mais de 30 anos, ento Lusa no
tem mais de 30 anos".
Resoluo
copiar o primeiro componente, negar o segundo e trocar o conectivo pelo e. O item
est errado, j que ele negou os dois componentes (deveria ter negado apenas o
segundo) e manteve o conectivo se..., ento... (deveria ter trocado pelo e).
10. (BB 2008/CESPE-UnB) A negao da proposio "As palavras mascaram-se" pode
ser corretamente expressa pela proposio "Nenhuma palavra se mascara".
Resoluo
A proposio As palavras mascaram-se tem um quantificador universal implcito, ou
seja, ela significa Todas as palavras mascaram-se. Para negar uma proposio com
o quantificador universal todo, devemos trocar pelo quantificador particular (existe,
algum,) e negar o restante da frase. Ou seja, a correta negao Alguma palavra
no se mascara ou Existe palavra que no se mascara. O item est errado.
11. (TRE-RJ 2012/CESPE-UnB) A negao da proposio Se eu no registrar minha
candidatura dentro do prazo, tambm no poderei concorrer a nenhum cargo estar
corretamente expressa por Se eu registrar minha candidatura dentro do prazo, ento
poderei concorrer a algum cargo.
Resoluo
copiar o primeiro componente, negar o segundo componente e trocar o conectivo pelo
e. O item est errado, j que ele negou os dois componentes (deveria ter negado
apenas o segundo) e manteve o conectivo se..., ento... (deveria ter trocado pelo
e).

12. (Cmara dos Deputados 2012/CESPE-UnB) A negao da proposio No
conheo esse empresrio nem ouvi falar de sua empresa pode ser expressa por
Conheo esse empresrio e ouvi falar de sua empresa.
Resoluo
A proposio dada no enunciado significa No conheo esse empresrio e no ouvi
falar de sua empresa. A negao desta proposio Conheo esse empresrio ou
ouvi falar de sua empresa. O item est errado, pois foi utilizado o conectivo e na
negao. Lembre-se das Leis de De Morgan: para negar uma proposio composta
pelo e, devemos negar os dois componentes e trocar o conectivo e pelo conectivo
ou.
13. (PC-CE 2012/CESPE-UnB) A negao da proposio Se houver corrupo, os
nveis de violncia crescero equivalente a Se no houver corrupo, os nveis de
violncia no crescero.
Resoluo
Para negar uma proposio composta pelo conectivo se, ento devemos copiar o
primeiro componente, negar o segundo e trocar o conectivo pelo e.
O item est completamente errado. O CESPE negou os dois componentes e manteve
o conectivo se, ento. A correta negao da proposio dada H corrupo e
os nveis de violncia no crescem.
14. (PC-CE 2012/CESPE-UnB) A negao da proposio Toda pessoa pobre
violenta equivalente a Existe alguma pessoa pobre que no violenta.
Resoluo
O item est certo. Para negar uma proposio com o quantificador universal, devemos
utilizar o quantificador particular (existe, algum, existe algum, pelo menos um, etc.) e
modificar o verbo.
Afirmao Toda pessoa pobre violenta.
Negao Existe alguma pessoa pobre que no violenta.

15. (PC-CE 2012/CESPE-UnB) Considerando que Jorge no seja pobre, mas pratique
atos violentos, correto afirmar que Jorge um contraexemplo para a afirmao:
Todo indivduo pobre pratica atos violentos.
Resoluo
O que um contraexemplo? Ora, um exemplo que torne a proposio falsa. E
como vamos saber quando a proposio falsa? Basta construir a sua negao!!
A negao de Todo indivduo pobre pratica atos violentos Existe indivduo pobre
que no pratica atos violentos (trocamos o tipo de quantificador e modificamos o
verbo).

Assim, um contraexemplo sera um indivduo pobre que no pratique atos violentos.
Jorge no um contraexemplo. Para que ele fosse um contraexemplo para a frase,
ele deveria ser pobre e no praticar atos violentos. O item est errado.
16. (TRE-RJ 2012/CESPE-UnB) A negao da proposio Se eu no registrar minha
candidatura dentro do prazo, tambm no poderei concorrer a nenhum cargo estar
corretamente expressa por Se eu registrar minha candidatura dentro do prazo, ento
poderei concorrer a algum cargo.
Resoluo
Qualquer tentativa de negar uma proposio composta pelo se, ento utilizando
o prprio conectivo se, ento estar errada. Assim, o item est errado.
(TRE-RJ 2012/CESPE-UnB) P: Se no h autorizao legislativa ou indicao dos
recursos financeiros correspondentes, ento, no h abertura de crditos
suplementares ou de crditos especiais.
Considerando a proposio acima, que tem por base o art. 167, inciso V, da
Constituio Federal de 1988, julgue os itens seguintes.
17. Na proposio P, a negao do consequente estaria corretamente expressa por:
H abertura de crditos suplementares ou h abertura de crditos especiais.
Resoluo
O consequente a segunda proposio de uma proposio composta pelo conectivo
se, ento, ou seja, a proposio que fica depois do ento.
Queremos, portanto, negar a proposio no h abertura de crditos suplementares
ou de crditos especiais.. Para negar uma proposio composta pelo ou, devemos
negar os componentes e trocar o conectivo pelo e. O item est errado, j que o
conectivo no foi trocado.
18. (FCC-2011-Banco do Brasil - Escriturrio) Um jornal publicou a seguinte
manchete:
"Toda Agncia do Banco do Brasil tem dficit de funcionrios."
Diante de tal inverdade, o jornal se viu obrigado a retratar-se, publicando
uma negao de tal manchete. Das sentenas seguintes, aquela que
expressaria de maneira correta a negao da manchete publicada :
a) Qualquer Agncia do Banco do Brasil no tm dficit de funcionrios.
b) Nenhuma Agncia do Banco do Brasil tem dficit de funcionrios.
c) Alguma Agncia do Banco do Brasil no tem dficit de funcionrios.
d) Existem Agncias com dficit de funcionrios que no pertencem ao Banco
do Brasil.
e) O quadro de funcionrios do Banco do Brasil est completo.

Resoluo
A negao de uma proposio universal afirmativa (todo...) a particular
negativa (algum... no).

Afirmao Toda Agncia do Banco do Brasil tem dficit de
funcionrios.
Negao Alguma Agncia do Banco do Brasil no tem dficit
de funcionrios.

Letra C
19. (FCC - 2009 - TJ-SE - Tcnico Judicirio - Programao de Sistemas )
Considere as seguintes premissas:
p : Trabalhar saudvel
q : O cigarro mata.

A afirmao "Trabalhar no saudvel" ou "o cigarro mata" FALSA se
a) p falsa e ~q falsa.
b) p falsa e q falsa.
c) p e q so verdadeiras.
d) p verdadeira e q falsa.
e) ~p verdadeira e q falsa.
Resoluo
A afirmao dada foi Trabalhar no saudvel ou o cigarro mata. Em
smbolos, a proposio dada foi ~p v q. A proposio composta pelo
conectivo ou.
Quando que uma proposio composta pelo conectivo ou falsa? Quando
os dois componentes so falsos. Assim, conclumos que ~p falsa (ou seja, p
verdadeira) e q falsa.
Letra D
20. (FCC - 2008 - TRT - 18 Regio (GO) - Tcnico Judicirio - Tecnologia da
Informao) Considere as proposies:
p: Sanso forte.
q: Dalila linda.
A negao da proposio ~

a) Se Dalila no linda, ento Sanso forte.
b) Se Sanso no forte, ento Dalila no linda.
c) No verdade que Sanso forte e Dalila linda.
d) Sanso no forte ou Dalila linda.
e) Sanso no forte e Dalila linda.
Resoluo
Queremos negar a proposio ~. Em suma, queremos negar uma
proposio composta pelo conectivo e. Como fazer?
De acordo com as leis de DeMorgan, devemos negar os dois componentes e
trocar o conectivo por ou.
Assim, a negao pedida ~ .
Passando para a linguagem corrente, a proposio da resposta :
Sanso no forte ou Dalila linda.
Letra D
21. (PCPA 2007/CESPE-UnB) Uma proposio da forma A v B equivalente
a uma proposio da forma (AB), isto , essas proposies tm exatamente
os mesmos valores V e F. Considere que A simbolize a proposio Pedro tem
20 anos de idade e B simbolize Pedro assistente administrativo. Assinale a
opo equivalente negao da proposio Pedro tem 20 anos de idade e
assistente administrativo.
A) Pedro no tem 20 anos de idade e no assistente administrativo.
B) Pedro no tem 20 anos de idade ou Pedro no assistente administrativo.
C) Pedro tem 20 anos de idade e no assistente administrativo.
D) Pedro no tem 20 anos de idade ou Pedro assistente administrativo.

Resoluo

Para negar uma proposio composta pelo e, devemos negar os dois
componentes e trocar o conectivo pelo ou.

Desta forma, a negao da proposio Pedro tem 20 anos de idade e
assistente administrativo Pedro no tem 20 anos de idade ou no
assistente administrativo.

Letra B

22. (FCC - 2008 - TRT - 2 REGIO (SP) - Tcnico Judicirio ) A negao da
sentena "A Terra chata e a Lua um planeta." :

a) Se a Terra chata, ento a Lua no um planeta.
b) Se a Lua no um planeta, ento a Terra no chata.
c) A Terra no chata e a Lua no um planeta.
d) A Terra no chata ou a Lua um planeta.
e) A Terra no chata se a Lua no um planeta.
Resoluo

Essa questo foi muito boa!! E foi copiada depois pelo CESPE (veja a prxima
questo).

Para negar a proposio composta pelo e, devemos negar os dois
componentes e trocar o conectivo pelo ou. Desta forma, a negao de A
Terra chata e a Lua um planeta. A Terra no chata ou a Lua no
um planeta.

O que devemos fazer ento?

Ora, devemos marcar uma alternativa que tenha o mesmo significado lgico de
A Terra no chata ou a Lua no um planeta.

Vamos, portanto, assinalar uma proposio equivalente a ela.

Para transformar uma proposio composta pelo conectivo ou em uma
condicional, devemos negar apenas o primeiro componente e trocar o
conectivo.

Desta forma, so equivalentes as proposies:

A Terra no chata ou a Lua no um planeta.
Se a Terra chata, ento a Lua no um planeta.

Letra A

23. (TRE-MA 2009/CESPE-UnB) Com base nas regras da lgica sentencial,
assinale a opo que corresponde negao da proposio Mrio contador e
Norberto estatstico.
A) Se Mrio no contador, ento Norberto no estatstico.
B) Mrio no contador e Norberto no estatstico.
C) Se Mrio no contador, ento Norberto estatstico.
D) Se Mrio contador, ento Norberto no estatstico.
E) Se Mrio contador, ento Norberto estatstico.

Resoluo

Para negar a proposio composta pelo e, devemos negar os dois
componentes e trocar o conectivo pelo ou. Desta forma, a negao de Mrio

contador e Norberto estatstico. Mrio no contador ou Norberto
no estatstico.

O problema que esta frase no se encontra nas alternativas. Observe que h
vrias alternativas com o conectivo se...,ento.... O que devemos fazer
ento?

Ora, devemos marcar uma alternativa que tenha o mesmo significado lgico de
Mrio no contador ou Norberto no estatstico. Vamos, portanto,
assinalar uma proposio equivalente a ela.

Para transformar uma proposio composta pelo conectivo ou em uma
condicional, devemos negar apenas o primeiro componente e trocar o
conectivo.

Desta forma, so equivalentes as proposies:

Mrio no contador ou Norberto no estatstico.
Se Mrio contador, ento Norberto no estatstico.

Letra D

24. (Administrador FUNASA CESGRANRIO 2009) Qual a negao da
proposio Alguma lmpada est acesa e todas as portas esto fechadas?
(A) Todas as lmpadas esto apagadas e alguma porta est aberta.
(B) Todas as lmpadas esto apagadas ou alguma porta est aberta.
(C) Alguma lmpada est apagada e nenhuma porta est aberta.
(D) Alguma lmpada est apagada ou nenhuma porta est aberta.
(E) Alguma lmpada est apagada e todas as portas esto abertas.
Resoluo
Vamos negar os componentes separadamente e, em seguida, trocar o
conectivo pelo ou.
P: Alguma lmpada est acesa.
A negao da proposio particular afirmativa a universal negativa.
~P: Todas as lmpadas no esto acesas. Ou seja, todas as lmpadas esto
apagadas.
Q: Todas as portas esto fechadas.
A negao da proposio universal afirmativa a particular negativa.
~Q: Alguma porta no est fechada. Ou seja, alguma porta est aberta.

A negao da proposio dada :
Todas as lmpadas esto apagadas ou alguma porta est aberta.
Letra B
25. (Analista CAPES CESGRANRIO 2008) Sejam p e q proposies simples e
~p e ~q, respectivamente, as suas negaes. A negao da proposio
composta
p ~q
(A) ~p ~q
(B) ~p q
(C) p q
(D) p ~q
(E) p q
Resoluo
A proposio dada pelo enunciado a seguinte: ~
Para negar uma proposio composta pelo se...,ento... devemos negar
apenas o segundo componente e trocar o conectivo pelo e.
Lembre que a negao de ~q q.
Portanto, a negao da proposio composta ~ .
Letra E
26. (Agente de Estao Metro SP 2010/FCC) Considere as proposies
simples:
p: Maly usuria do Metr e q: Maly gosta de dirigir automvel
A negao da proposio composta p ~ q :
(A) Maly no usuria do Metr ou gosta de dirigir automvel.
(B) Maly no usuria do Metr e no gosta de dirigir automvel.
(C) No verdade que Maly no usuria do Metr e no gosta de dirigir
automvel.
(D) No verdade que, se Maly no usuria do Metr, ento ela gosta de
dirigir automvel.
(E) Se Maly no usuria do Metr, ento ela no gosta de dirigir automvel.

Resoluo

Lembre-se que o smbolo representa o conectivo e. Para negar uma
proposio composta pelo e, negue as duas proposies e troque o conectivo
e pelo conectivo ou.

Desta forma, a negao de p ~ q ~ p q.

~p : Maly no usuria do Metr.
q: Maly gosta de dirigir automvel.

~ p q: Maly no usuria do Metr ou Maly gosta de dirigir automvel.

Letra A

27. (METRO-SP 2009/FCC) So dadas as seguintes proposies simples:
p : Beatriz morena;
q : Beatriz inteligente;
r : Pessoas inteligentes estudam.
Se a implicao ( ~) ~ FALSA, ento verdade que
(A) Beatriz uma morena inteligente e pessoas inteligentes estudam.
(B) Pessoas inteligentes no estudam e Beatriz uma morena no inteligente.
(C) Beatriz uma morena inteligente e pessoas inteligentes no estudam.
(D) Pessoas inteligentes no estudam mas Beatriz inteligente e no morena.
(E) Beatriz no morena e nem inteligente, mas estuda.

Resoluo
O enunciado fornece uma proposio falsa e pede uma verdadeira. Devemos
negar a proposio dada. E como negamos uma proposio composta pelo
se..., ento...?
Afirme o antecedente, troque o conectivo condicional pelo conectivo
e e negue o consequente.
Na proposio ( ~) ~ o antecedente ( ~) e o consequente ~.
Afirmamos o antecedente ( ~). Colocamos o conectivo e.
( ~)
Negamos o consequente ~. Ora, a negao de ~ a proposio .
( ~)
: Beatriz morena;
~: Pessoas inteligentes no estudam.
q: Beatriz inteligente;

( ~) : Beatriz morena e pessoas inteligentes no estudam e Beatriz
inteligente.

(C) Beatriz uma m orena inteligente e pessoas inteligentes no
estudam.
Diagramas de Euler-Venn

O estudo das proposies categricas pode ser feito utilizando os diagramas de
Euler-Venn. habitual representar um conjunto por uma linha fechada e no
entrelaada.

Relembremos o significado, na linguagem de conjuntos, de cada uma das
proposies categricas.
Todo A B
Todo elemento de A tambm elemento de B.
Nenhum A B A e B so conjuntos disjuntos, ou seja, no possuem
elementos comuns.
Algum A B Os conjuntos A e B possuem pelo menos 1 elemento em
comum.
Algum A no B O conjunto A tem pelo menos 1 elemento que no
elemento de B.
Vejamos como representar cada uma das proposies categricas utilizando os
diagramas de Euler-Venn.
Todo A B

A proposio categrica Todo A B equivalente a:
A subconjunto de B.
A parte de B.
A est contido em B.
B contm A.

B universo de A.
B superconjunto de A.
Se sabemos que a proposio Todo A B verdadeira, qual ser o valor
lgico das demais proposies categricas?
Algum A B necessariamente verdadeira.
Nenhum A B necessariamente falsa.
Algum A no B necessariamente falsa.
Algum A B

A proposio categrica Algum A B equivale a Algum B A.
Se algum A B uma proposio verdadeira, qual ser o valor lgico das
demais proposies categricas?
Nenhum A B necessariamente falsa.
Todo A B e Algum A no B so indeterminadas.
Observe que quando afirmamos que Algum A B estamos dizendo que existe
pelo menos um elemento de A que tambm elemento de B.

Nenhum A B

A proposio categrica Nenhum A B equivale a:
Nenhum B A.
Todo A no B.
Todo B no A.
A e B so conjuntos disjuntos.

Se nenhum A B uma proposio verdadeira, qual ser o valor lgico das
demais proposies categricas?
Todo A B necessariamente falsa.
Algum A no B necessariamente verdadeira.
Algum A B necessariamente falsa.
Algum A no B

Observe que Algum A no B no equivale a Algum B no A. Por
exemplo, dizer que Algum brasileiro no pernambucano no equivale a
dizer que Algum pernambucano no brasileiro.
Se algum A no B uma proposio verdadeira, qual ser o valor lgico
das demais proposies categricas?
Nenhum A B indeterminada, pois poderia haver elementos na
interseo dos conjuntos A e B.
Algum A B indeterminada, pois pode haver ou no elementos na
interseo dos conjuntos A e B.
Todo A B necessariamente falsa.
17. (TRF 2004/FCC) Considerando todo livro instrutivo como uma
proposio verdadeira, correto inferir que:
a) Nenhum livro instrutivo uma proposio necessariamente verdadeira.
b) Algum livro instrutivo uma proposio necessariamente verdadeira.
c) Algum livro no instrutivo uma proposio verdadeira ou falsa.
d) Algum livro instrutivo uma proposio verdadeira ou falsa.
e) Algum livro no instrutivo uma proposio necessariamente
verdadeira.
Resoluo


Diante do diagrama e da teoria exposta, conclumos facilmente que a resposta
correta a letra B. Se todo livro instrutivo, podemos afirmar que algum livro
instrutivo.
18. (IPEA 2004/FCC) Considerando toda prova de Lgica difcil uma
proposio verdadeira, correto inferir que:

a) nenhuma prova de Lgica difcil uma proposio necessariamente
verdadeira.
b) alguma prova de Lgica difcil uma proposio necessariamente
verdadeira.
c) alguma prova de Lgica difcil uma proposio verdadeira ou falsa.
d) alguma prova de Lgica no difcil uma proposio necessariamente
verdadeira.
e) alguma prova de Lgica no difcil uma proposio verdadeira ou falsa.

Resoluo

Questo idntica anterior.

Ora, se todas as provas de lgica so difceis, podemos garantir que alguma
prova de lgica difcil.
Letra B
19. (TRT/2006/FCC) As afirmaes seguintes so resultados de uma pesquisa
feita entre os funcionrios de certa empresa. Todo indivduo que fuma tem
bronquite. Todo indivduo que tem bronquite costuma faltar ao trabalho.
Relativamente a esses resultados, correto concluir que:
a) existem funcionrios fumantes que no faltam ao trabalho.
b) todo funcionrio que tem bronquite fumante.
c) todo funcionrio fumante costuma faltar ao trabalho.
d) possvel que exista algum funcionrio que tenha bronquite e no falte
habitualmente ao trabalho.
e) possvel que exista algum funcionrio que seja fumante e no tenha
bronquite.

Resoluo

Pelo diagrama exposto, percebemos que todo funcionrio fumante costuma
faltar ao trabalho.
Letra C
20. (TRT-PR 2004/FCC) Sabe-se que existem pessoas desonestas e que
existem corruptos. Admitindo-se verdadeira a frase "Todos os corruptos so
desonestos", correto concluir que:

a) quem no corrupto honesto.
b) existem corruptos honestos.
c) alguns honestos podem ser corruptos.
d) existem mais corruptos do que desonestos.
e) existem desonestos que so corruptos.

Resoluo

Vamos analisar cada uma das alternativas de per si.

a) Esta alternativa falsa, pois podem existir pessoas que no so corruptas e
que so desonestas.

b) Esta alternativa falsa, pois todo corrupto desonesto.

c) Esta alternativa falsa, pois todo corrupto desonesto.

d) Esta alternativa falsa, pois podem existir pessoas que no so corruptas e
que so desonestas.


e) Esta alternativa verdadeira, pois todos os corruptos so desonestos e,
portanto, existem desonestos corruptos.

Letra E

21. (TCE-PB 2006/FCC) Sobre as consultas feitas a trs livros X, Y e Z, um
bibliotecrio constatou que:
Todas as pessoas que haviam consultado Y tambm consultaram X.
Algumas pessoas que consultaram Z tambm consultaram X.
De acordo com suas constataes, correto afirmar que, com certeza:

a) pelo menos uma pessoa que consultou Z tambm consultou Y.
b) se alguma pessoa consultou Z e Y, ento ela tambm consultou X.
c) toda pessoa que consultou X tambm consultou Y.
d) existem pessoas que consultaram Y e Z.
e) existem pessoas que consultaram Y e no consultaram X.

Resoluo

A proposio Todas as pessoas que haviam consultado Y tambm consultaram
X representada assim:

Algumas pessoas que consultaram Z tambm consultaram X. Isto
significa que h elementos comuns aos conjuntos X e Z. Porm, no sabemos
qual a relao que existe entre o conjunto Z e o conjunto Y. Por essa razo,
deixaremos uma parte do conjunto Z pontilhada para demonstrar esta
incerteza.


Observe que no sabemos se o conjunto Z e o conjunto Y possuem elementos
comuns. Vamos analisar as alternativas.

a) pelo menos uma pessoa que consultou Z tambm consultou Y.

No temos certeza se os conjuntos Z e Y possuem elementos comuns. Esta
alternativa falsa.

b) se alguma pessoa consultou Z e Y, ento ela tambm consultou X.

Esta alternativa verdadeira. Se alguma pessoa consultou Z e Y, ento
esta pessoa consultou Y. Se esta pessoa consultou Y, ento ela
tambm consultou X. Conclumos que se alguma pessoa consultou Z e
Y, ento ela tambm consultou X.

c) toda pessoa que consultou X tambm consultou Y.

Esta alternativa falsa. Podemos apenas afirmar que toda pessoa que
consultou Y tambm consultou X.

d) existem pessoas que consultaram Y e Z.

No temos certeza se os conjuntos Z e Y possuem elementos comuns. Esta
alternativa falsa.

e) existem pessoas que consultaram Y e no consultaram X.

Esta alternativa falsa, pois todas as pessoas que haviam consultado Y
tambm consultaram X.

Resposta: Letra B

22. (SEFAZ-SP 2009/FCC) Considere o diagrama a seguir, em que U o
conjunto de todos os professores universitrios que s lecionam em faculdades
da cidade X, A o conjunto de todos os professores que lecionam na faculdade
A, B o conjunto de todos os professores que lecionam na faculdade B e M o
conjunto de todos os mdicos que trabalham na cidade X.

Em todas as regies do diagrama, correto representar pelo menos um
habitante da cidade X. A respeito do diagrama, foram feitas quatro afirmaes:

I. Todos os mdicos que trabalham na cidade X e so professores
universitrios lecionam na faculdade A.

II. Todo professor que leciona na faculdade A e no leciona na faculdade B
mdico.

III. Nenhum professor universitrio que s lecione em faculdades da cidade X,
mas no lecione nem na faculdade A e nem na faculdade B, mdico.

IV. Algum professor universitrio que trabalha na cidade X leciona,
simultaneamente, nas faculdades A e B, mas no mdico.

Est correto o que se afirma APENAS em

(A) I.
(B) I e III.
(C) I, III e IV.
(D) II e IV.
(E) IV.
Resoluo
Vamos analisar cada uma das alternativas de per si.
I. Todos os mdicos que trabalham na cidade X e so professores
universitrios lecionam na faculdade A.


O item I falso, como pode bem ser visto no diagrama acima. A regio
pintada de vermelho possui pelo menos um elemento que mdico que
trabalha na cidade X (pois elemento de M), professor universitrio que s
leciona em faculdades da cidade X e no leciona na faculdade A.
II. Todo professor que leciona na faculdade A e no leciona na
faculdade B mdico.

O item II falso, como pode ser visto no diagrama acima. A regio pintada de
vermelho possui pelo menos um elemento que leciona na faculdade A, no
leciona na faculdade B e no mdico.
III. Nenhum professor universitrio que s lecione em faculdades da
cidade X, mas no lecione nem na faculdade A e nem na faculdade B,
mdico.

A regio pintada de vermelho indica o conjunto das pessoas que s lecionam
em faculdades da cidade X (elementos de U), no leciona nem na faculdade A
e nem na faculdade B e no so mdicos. O item III falso.
IV. Algum professor universitrio que trabalha na cidade X leciona,
simultaneamente, nas faculdades A e B, mas no mdico.

De acordo com a regio pintada de vermelho, percebemos que todos os
professores universitrios que trabalham na cidade X e que lecionam
simultaneamente nas faculdades A e B no so mdicos. O item IV
verdadeiro.
Letra E

Aula 02 - Parte 01

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Aula 02 - Parte 01

Загружено:

Авторское право:

Доступные форматы

RACIOCNIO LGICO PARA PRF

PROFESSOR: GUILHERME NEVES

Вам также может понравиться