Академический Документы
Профессиональный Документы
Культура Документы
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
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
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
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
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
(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
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.
34 http://www.euvoupassar.com.br
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