Anda di halaman 1dari 8

Curso de Exerccios de Raciocnio Lgico CESPE Prof.

Weber Campos
MDULO 05 IMPLICAO LGICA

01. (TCE ACRE 2009 CESPE) Considere que as seguintes afirmaes sejam verdadeiras: Se noite e no chove, ento Paulo vai ao cinema. Se no faz frio ou Paulo vai ao cinema, ento Mrcia vai ao cinema. Considerando que, em determinada noite, Mrcia no foi ao cinema, correto afirmar que, nessa noite, A. no fez frio, Paulo no foi ao cinema e choveu. B. fez frio, Paulo foi ao cinema e choveu. C. fez frio, Paulo no foi ao cinema e choveu. D. fez frio, Paulo no foi ao cinema e no choveu. E. no fez frio, Paulo foi ao cinema e no choveu. 02. (TRT 1 Regio Tc Jud 2008 CESPE) Considere que as proposies a seguir tm valores lgicos V. - Catarina ocupante de cargo em comisso CJ.3 ou CJ.4. - Catarina no ocupante de cargo em comisso CJ.4 ou Catarina juza. - Catarina no juza. Assinale a opo correspondente proposio que, como conseqncia da veracidade das proposies acima, tem valorao V. A) Catarina juza ou Catarina ocupa cargo em comisso CJ.4. B) Catarina no ocupa cargo em comisso CJ.3 nem CJ.4. C) Catarina ocupa cargo em comisso CJ.3. D) Catarina no ocupa cargo em comisso CJ.4 e Catarina juza. E) Catarina no juza, mas ocupa cargo em comisso CJ.4. 03. (SEDUC/CE 2009 CESPE) Em determinada escola, ao organizar as salas de aula para o ano letivo de 2010, diretor e professores trabalharam juntos no sentido de se obter a melhor distribuio dos espaos. A escola tem trs blocos: norte, central e sul, e o problema maior estava na localizao dos ambientes da biblioteca, do laboratrio de informtica, do laboratrio de portugus e da sala de educao fsica. Chegou-se s seguintes concluses:

ou o laboratrio de portugus e a biblioteca ficariam no mesmo bloco ou a sala de educao fsica e o laboratrio de informtica ficariam no mesmo bloco; se a biblioteca ficar no bloco central, o laboratrio de informtica ficar no bloco sul. Considerando que cada bloco tenha ficado com pelo menos um desses 4 ambientes e que, entre eles, apenas o laboratrio de informtica tenha ficado no bloco norte, ento a sala de educao fsica e o laboratrio de portugus ficaram A. ambos no bloco sul. B. ambos no bloco central. C. nos blocos central e sul, respectivamente. D. nos blocos sul e central, respectivamente. 04. (ICMS/SP 2006 FCC) No universo U, sejam P, Q, R, S e T propriedades sobre os elementos de U. (K(x) quer dizer que o elemento x de U satisfaz a propriedade K e isso pode ser vlido ou no). Para todo x de U considere vlidas as premissas seguintes: P(x) Q(x) [ R(x) S(x)] T(x) [ P(x) Q(x) R(x)] S(x) verdade que (A) R(x) vlida. (B) S(x) vlida. (C) T(x) vlida. (D) nada se pode concluir sem saber se R(x) ou no vlida. (E) no h concluso possvel sobre R(x), S(x) e T(x).

28 http://www.euvoupassar.com.br

Curso de Exerccios de Raciocnio Lgico CESPE Prof. Weber Campos


05. (MPOG 2003 ESAF) As seguintes afirmaes, todas elas verdadeiras, foram feitas sobre a ordem de chegada dos participantes de uma prova de ciclismo: 1. Guto chegou antes de Aires e depois de Dada; 2. Guto chegou antes de Juba e Juba chegou antes de Aires, se e somente se Aires chegou depois de Dada; 3. Cacau no chegou junto com Juba, se e somente se Aires chegou junto com Guto. Logo, a) Cacau chegou antes de Aires, depois de Dada e junto com Juba b) Guto chegou antes de Cacau, depois de Dada e junto com Aires c) Aires chegou antes de Dada, depois de Juba e antes de Guto d) Aires chegou depois de Juba, depois de Cacau e junto com Dada e) Juba chegou antes de Dada, depois de Guto e junto com Cacau

06. (Agente Fiscal de Rendas SP 2009 FCC) Considere as seguintes afirmaes: I. Se ocorrer uma crise econmica, ento o dlar no subir. II. Ou o dlar subir, ou os salrios sero reajustados, mas no ambos. III. Os salrios sero reajustados se, e somente se, no ocorrer uma crise econmica. Sabendo que as trs afirmaes so verdadeiras, correto concluir que, necessariamente, (A) o dlar subir, os salrios sero reajustados e no ocorrer uma crise econmica. (B) o dlar no subir, os salrios sero reajustados e no ocorrer uma crise econmica. (C) o dlar no subir, os salrios no sero reajustados e no ocorrer uma crise econmica. (D) o dlar subir, os salrios no sero reajustados e ocorrer uma crise econmica. (E) o dlar no subir, os salrios sero reajustados e ocorrer uma crise econmica. 07. (MPOG 2005 ESAF) Carlos no ir ao Canad condio necessria para Alexandre ir Alemanha. Helena no ir Holanda condio suficiente para Carlos ir ao Canad. Alexandre no ir Alemanha condio necessria para Carlos no ir ao Canad. Helena ir Holanda condio suficiente para Alexandre ir Alemanha. Portanto: a) Helena no vai Holanda, Carlos no vai ao Canad, Alexandre no vai Alemanha. b) Helena vai Holanda, Carlos vai ao Canad, Alexandre no vai Alemanha. c) Helena no vai Holanda, Carlos vai ao Canad, Alexandre no vai Alemanha. d) Helena vai Holanda, Carlos no vai ao Canad, Alexandre vai Alemanha. e) Helena vai Holanda, Carlos no vai ao Canad, Alexandre no vai Alemanha. 08. (ANEEL 2004 ESAF) Se no leio, no compreendo. Se jogo, no leio. Se no desisto, compreendo. Se feriado, no desisto. Ento, a) se jogo, no feriado. b) se no jogo, feriado. c) se feriado, no leio. d) se no feriado, leio. e) se feriado, jogo. 09. (ANEEL Analista 2006 ESAF) Pedro toca piano se e somente se Vtor toca violino. Ora, Vtor toca violino, ou Pedro toca piano. Logo, a) Pedro toca piano, e Vtor no toca violino. b) se Pedro toca piano, ento Vtor no toca violino. c) se Pedro no toca piano, ento Vtor toca violino. d) Pedro no toca piano, e Vtor toca violino. e) Pedro toca piano, e Vtor toca violino.

Gabarito: 01.c 02.c 03.c 04.c 05.a 06.b 07.c 08.a 09.e

29 http://www.euvoupassar.com.br

Curso de Exerccios de Raciocnio Lgico CESPE Prof. Weber Campos


MDULO 06 - QUANTIFICADORES 1. Sentenas Abertas So sentenas do tipo: a) x + 3 = 10 b) x > 5 2 2 c) (x+1) 5 = x d) x y = 20 e) Em 2004 foram registradas 800+z acidentes de trnsito em So Paulo. f) Ele o juiz do TRT da 5 Regio. Tais sentenas no so consideradas proposies porque seu valor lgico (V ou F) depende do valor atribudo varivel (x, y, z,...). O pronome ele que aparece na ltima sentena acima, funciona como uma varivel, a qual se pode atribuir nomes de pessoas. H, entretanto, duas maneiras de transformar sentenas abertas em proposies: 1) atribuir valor s variveis; 2) utilizar quantificadores. Ao atribuir a x o valor 5 na sentena aberta x + 3 = 10, esta transforma-se na proposio 5 + 3 = 10, cujo valor lgico F. Ao atribuir a x o valor 2 na sentena aberta (x+1) 5 = x , esta transforma-se na proposio (2+1) 5 = 2 , que resulta em 4 = 4, tendo, portanto, valor lgico V.
2 2 2 2

A seguir, veremos a transformao de uma sentena aberta numa proposio por meio de quantificadores. 2. Quantificadores H fundamentalmente dois tipos de quantificadores: Universal e Existencial. 2.1. O Quantificador Universal O quantificador universal indicado pelo smbolo que se l: para todo, para cada, qualquer que seja. Veremos agora exemplos de transformaes de sentenas abertas em proposies: 1) (x)(xZ)(x x)
2

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

2.2. O Quantificador Existencial O quantificador existencial indicado pelo smbolo que se l: existe pelo menos um, existe um, existe, para algum. Passemos a exemplos de transformaes de sentenas abertas em proposies usando o quantificador existencial: 1) (x)(xN)(x = 4) 2 O smbolo o quantificador existencial, x a varivel, N o conjunto dos nmeros naturais e x = 4 a sentena aberta.
2

30 http://www.euvoupassar.com.br

Curso de Exerccios de Raciocnio Lgico CESPE Prof. Weber Campos


A proposio (x)(xN)(x = 4) se l da seguinte maneira: Existe pelo menos um x pertencente ao 2 conjunto dos nmeros naturais tal que x = 4. 2 Qual o valor lgico dessa proposio? Ao resolver a equao x = 4, encontramos como razes os valores 2 e -2, sendo apenas o primeiro um nmero natural. Como existe uma raiz que um nmero natural, ento a proposio tem valor lgico Verdade.
2

H outro quantificador que deriva do quantificador existencial, ele chamado de quantificador existencial de unicidade, simbolizado por | que se l: existe um nico, existe um e um s. Exemplos: 1) (| x)(x Z)(x = 4) que se l: "existe um nico nmero x pertencente ao conjunto dos nmeros inteiros 2 tal que x = 4. Essa equao tem duas razes: 2 e -2. Esses dois nmeros so inteiros; portanto, no existe um nico, mas, sim, dois valores. Da, a proposio Falsa.
2

3. Negao de Proposies Quantificadas 3.1. Negao do Quantificador Universal A negao de (x)(P(x)) a sentena (x)(P(x)). Onde P(x) representa a sentena aberta. Passemos a alguns exemplos de negao do quantificador universal: 1) proposio: (x)(x N)(x + 1 > 4) negao: (x)(x N)(x + 1 4) 2) proposio: (x)(x R)(x(x-2) = x 2x) 2 negao: (x)(x R)(x(x-2) x 2x)
2

3) proposio: (x)(x {2, 3, 5, 7, 11})(x um nmero primo) negao: (x)(x {2, 3, 5, 7, 11})(x no um nmero primo) 3.2. Negao do Quantificador Existencial A negao de (x)(P(x)) a sentena (x)(P(x)). Onde P(x) representa a sentena aberta. Passemos a alguns exemplos de negao do quantificador existencial: 1) proposio: (x)(x R)(x x) 2 negao: (x)(x R)(x < x)
2

2) proposio: (x)(x Q)(1/x um nmero natural) negao: (x)(x Q)(1/x no um nmero natural) 3) proposio: (x)(x N)(x no negativo) negao: (x)(x N)(x negativo) Tambm possvel fazer a negao do quantificador existencial de outra forma: a negao de Existe pode ser No existe, que simbolizamos por ~. Por esta forma de negar o quantificador existencial, no preciso negar a sentena aberta. Exemplos: 1) proposio: (x)(x R)(x x) 2 negao: (~x)(x R)(x x)
2

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

31 http://www.euvoupassar.com.br

Curso de Exerccios de Raciocnio Lgico CESPE Prof. Weber Campos


4. Representao Simblica das Proposies Categricas A tabela abaixo mostra a representao simblica (na linguagem da lgica de 1. ordem) de cada uma das proposies categricas. Proposio Categrica Todo A B Algum A B Nenhum A B Algum A no B Representao Simblica (x)(A(x) B(x)) (x)(A(x) e B(x)) (~x)(A(x) e B(x)) (x)(A(x) e ~B(x))

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

32 http://www.euvoupassar.com.br

Curso de Exerccios de Raciocnio Lgico CESPE Prof. Weber Campos


EXERCCIOS PROPOSTOS 01) Julgue as proposies seguintes quanto ao seu valor lgico (verdadeiro ou falso): 1) (x R )( x 4 > 9) 2) 3)

(x R )( x 4 > 9)

(x R)( x = x) 4) (x )( 2 x + 4 = x + 3) 5) (x )( 2 x + 4 = x + 3)
02) Considere o conjunto A={1, 2, 3, 4, 5}. Determine o valor lgico das proposies a seguir: 1) (x A) (x+4=7) 2) (y A) (y+3<5) 3) (y A) (y+2<7) 2 4) (z A) (4z z 0) 03) (BB1 2007 CESPE) Na lgica de primeira ordem, uma proposio funcional quando expressa por um predicado que contm um nmero finito de variveis e interpretada como verdadeira (V) ou falsa (F) quando so atribudos valores s variveis e um significado ao predicado. Por exemplo, a proposio Para qualquer x, tem-se que x - 2 > 0 possui interpretao V quando x um nmero real maior do que 2 e possui interpretao F quando x pertence, por exemplo, ao conjunto {-4, -3, -2, -1, 0}. Com base nessas informaes, julgue os prximos itens. Item 1. A proposio funcional Para qualquer x, tem-se que x > x verdadeira para todos os valores de x que esto no conjunto 5,
2

5 3 , 3, , 2, 2 2

1 . 2

Item 2. A proposio funcional Existem nmeros que so divisveis por 2 e por 3 verdadeira para elementos do conjunto {2, 3, 9, 10, 15, 16}. 04) (PETROBRAS 2007 CESPE) Uma proposio funcional simblica uma expresso que contm variveis x, y, z, ... e predicados P, Q, R, ..., que dizem respeito s variveis, e pode ou no conter os smbolos quantificadores denotados por (para todo) e (existe) que atuam sobre as variveis. Uma proposio funcional pode ser julgada como verdadeira (V) ou falsa (F), dependendo do conjunto de valores que so atribudos s variveis e interpretao dada aos predicados. Proposies funcionais so expresses, por exemplo, do tipo (x)P(x), (y)Q(y), (x)(y)P(x, y) etc. A partir das informaes acima, julgue o item a seguir. Item 1. Se as variveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) interpretado como 2 x y+2, ento a proposio funcional (x)(y)P(x, y) avaliada como verdadeira. 05) (PM Cear 2008 CESPE) Julgue os seguintes itens.
2

Item 1. Se Q o conjunto dos nmeros racionais, ento a proposio (x)(xQ)(x +x-1 = 0) julgada como V. Item 2. Se N o conjunto dos nmeros inteiros, ento a proposio (x)(xN)[(x-1)x(x+1) divisvel por 3] julgada como V. 06) (TRT 5 regio 2008 CESPE) Julgue os seguintes itens. Item 1. Se Q o conjunto dos nmeros racionais, ento a proposio (x)(xQ e x > 0)(x > x) valorada como F. 2 Item 2. Se Q o conjunto dos nmeros racionais, ento a proposio (x)(xQ)(x = 2) valorada como V.
2

33 http://www.euvoupassar.com.br

Curso de Exerccios de Raciocnio Lgico CESPE Prof. Weber Campos


07) (TRT 5 Regio Tec Jud 2008 CESPE) Item 1. Se R o conjunto dos nmeros reais, ento a proposio (x)(xR)(y)(yR)(x+y=x) valorada como V. 08) (INSS Analista 2008 CESPE) Algumas sentenas so chamadas abertas porque so passveis de interpretao para que possam ser julgadas como verdadeiras (V) ou falsas (F). Se a sentena aberta for uma expresso da forma xP(x), lida como para todo x, P(x), em que x um elemento qualquer de um conjunto U, e P(x) uma propriedade a respeito dos elementos de U, ento preciso explicitar U e P para que seja possvel fazer o julgamento como V ou como F. A partir das definies acima, julgue os itens a seguir. Item 1. Se U for o conjunto de todos os funcionrios pblicos e P(x) for a propriedade x funcionrio do INSS, ento falsa a sentena xP(x). Item 2. Considere-se que U seja o conjunto dos funcionrios do INSS, P(x) seja a propriedade x funcionrio do INSS e Q(x) seja a propriedade x tem mais de 35 anos de idade. Desse modo, correto afirmar que duas das formas apresentadas na lista abaixo simbolizam a proposio Todos os funcionrios do INSS tm mais de 35 anos de idade. (i) x(se Q(x) ento P(x)) (ii) x(P(x) ou Q(x)) (iii) x(se P(x) ento Q(x)) 09) (MPE Tocantins Tcnico 2006 CESPE) Uma proposio pode ser expressa em funo de uma ou mais variveis. Por exemplo, afirmativas tais como para cada x, P(x) ou existe x, P(x) so proposies que podem ser interpretadas como V ou F, de acordo com o conjunto de valores assumidos pela varivel x e da interpretao dada ao predicado P. A negao da proposio para cada x, P(x) existe x, P(x). A negao da proposio existe x, P(x) para cada x, P(x). Considerando as informaes apresentadas acima, julgue os itens subseqentes. Item 1. A proposio para cada x, (x + 2) > 7 interpretada como V para x pertencente ao conjunto {6, 7, 8, 9}. Item 2. Se x pertence ao conjunto {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, ento a proposio existe x, (x + 6) < 4 V. Item 3. A negao das proposies para cada x, (x + 4) 10 e existe x, (x + 3) < 8 verdadeira para x pertencente ao conjunto {2, 4, 6, 8, 10}.

10) (MPE Tocantins Analista 2006 CESPE) Texto II Proposies tambm so definidas por predicados que dependem de variveis e, nesse caso, avaliar uma proposio como V ou F vai depender do conjunto onde essas variveis assumem valores. Por exemplo, a proposio Todos os advogados so homens, que pode ser simbolizada por (x)(A(x) H(x)), em que A(x) representa x advogado e H(x) representa x homem, ser V se x pertencer a um conjunto de pessoas que torne a implicao V; caso contrrio, ser F. Para expressar simbolicamente a proposio Algum advogado homem, escreve-se (x)(A(x) H(x)). Nesse caso, considerando que x pertena ao conjunto de todas as pessoas do mundo, essa proposio V. Na tabela abaixo, em que A e B simbolizam predicados, esto simbolizadas algumas formas de proposies.

A partir das informaes dos textos I e II, julgue os itens subseqentes.

34 http://www.euvoupassar.com.br

Curso de Exerccios de Raciocnio Lgico CESPE Prof. Weber Campos


1. A proposio Nenhum pavo misterioso est corretamente simbolizada por (x)(P(x)M(x)), se P(x) representa x um pavo e M(x) representa x misterioso. 2. Considerando que (x)A(x) e (x)A(x) so proposies, correto afirmar que a proposio (x)A(x) (x)A(x) avaliada como V em qualquer conjunto em que x assuma valores. 3. A proposio (x) ((x > 0) (x + 2) par) V se x um nmero inteiro. 11) (TCE-ES 2004 CESPE) Considere as seguintes afirmativas. x, se x(x + 1) > 0, ento x > 0 ou x < -1. II n, se n divisvel por 2, ento n par. Acerca dessas informaes, julgue os itens que se seguem. 1. A negao da afirmativa II pode ser escrita da seguinte forma: n tal que n divisvel por 2 ou n no par. 2. A afirmativa I verdadeira para x pertencente ao conjunto dos nmeros reais. 12) (SERPRO 2004 CESPE) A expresso (y)(x) P(x, y) uma frmula sintaticamente correta da lgica de predicados clssica. Diz-se que uma tal frmula semanticamente vlida quando as suas variveis x e y e o predicado P tm alguma interpretao que os verifique. Quanto a esse assunto, julgue o item subseqente. 1. Se x e y assumem valores no conjunto dos nmeros inteiros e o predicado P(x, y) interpretado como x<y, ento a frmula semanticamente vlida.

Gabarito 01. 02. 03. 04. 05. 06. 07. 08. 09. 10. 11. 12. FVFVFVVVFF VVVVFF c b a CE C CE CEE CCE EC E

35 http://www.euvoupassar.com.br