Exerccios Resolvidos 1.

Qual a negao de:

v(p) = V, v(q) = F e v(r) = V Ento: v(p<-->q) = F v[(p<-->q) -> p] = F v(p -> r) = V, Logo: v[(p<-->q) ->p] v (p->r) = V Ento, Resp Verdadeiro Exerccios Propostos 1. Estude os valores lgicos da sentena aberta: "Se 5x - 2 = 13 ento x2 = 11x - 24" Resp. 1- Se x = 3 ento a condio se verifica (V,V) 2- A condio (V,F) no se verifica 3- Se x = 8 ento a condio verdadeira (F,V) 4- Se x diferente de 3 e x diferente de 8, ento a condio (F,F) verdadeira 2. Qual a negao de x menor ou igual a -5? Resp: x maior que -5 3. Qual a negao de: "o gato mia e o rato chia" Resp. O gato no mia ou o gato no chia 4. Determinar "P(FF,FV,VF,VV)"de: (p^~q) v (~p^q) Resp: FVVF 5. Verificar se a proposio abaixo verdadeira: "p v q <--> ( p -> q) -> p" Resp. Sim 6. Construir a tabela verdade de: ~(p v q) ^ ~(q <-->p) Resp.
p q p v q ~(p v q) p<-->q ~(p<-->) ~(p v q)^~(q<-->p) V V V F F F F V V F F V F V V F F F F F

Resp.

2. Qual o valor lgico de: " falso que 3+4 = 7 e 2 + 2 = 5 Temos que: v(3+4=7) = V e v(2+2=5) = F Ento: v(3+4=7 ^ 2+2=5) = F logo: Resp = [~(3+4=7 ^ 2+2=5)] = V 3. Determine o valor lgico da sentena : "Se 4+4=9, ento eu sou rei da Espanha" Se: p : 4+4 = 9 q : eu sou rei da Espanha. Ento v(p) = F e v(q) = F , logo: Resp = v(p->q) = V 4. Sejam as proposies: p: os agricultores se mobilizam q : a reforma agrria continua sem soluo Simbolize a sentena : "Se os agricultores no se mobilizam, ento a reforma agrria continua sem soluo" Temos que: ~p : os agricultores no se mobilizam Logo, Resp ~p ->q 5. Sejam as proposies: p : sen (pi - x) = cos x q : pi < 3 Qual o valor lgico de: (p->q) v (~p->~p)" Temos que v(p) = F e v(q) = F logo: v(p->) = V Da mesma forma v(~p) = V e v(~q) = V logo : v(~p -> ~q) = V Ento, Resp Verdadeiro 6. Sabendo-se que os valores lgicos das proposies "p", "q" e "r" so, respectivamente, V,F e V, determine o valor lgico da proposio: [ (p<-->q) -> p ] v (p ->r) Temos que:

V V V F F F V F

PROVA DO BANCO DO BRASIL 2007

ENUNCIADO PRINCIPAL Na lgica sentencial, denomina-se proposio uma frase que pode ser julgada como verdadeira (V) ou falsa (F), mas no, como ambas. Assim, frases como Como est o tempo hoje? e Esta frase falsa no so proposies porque a primeira pergunta e a segunda no pode ser nem V nem F. As proposies so representadas simbolicamente por letras maisculas do alfabeto A, B, C etc. Uma proposio da forma A ou B F se A e B forem F,

caso contrrio V; e uma proposio da forma Se A ento B F se A for V e B for F, caso contrrio V. Um raciocnio lgico considerado correto formado por uma seqncia de proposies tais que a ltima proposio verdadeira sempre que as proposies anteriores na seqncia forem verdadeiras. Considerando as informaes contidas no texto acima, julgue (certo ou errado) os itens subseqentes. AFIRMATIVA 65. (CESPE-BB) correto o raciocnio lgico dado pela seqncia de proposies seguintes: Se Antnio for bonito ou Maria for alta, ento Jos ser aprovado no concurso. Maria alta. Portanto Jos ser aprovado no concurso. AFIRMATIVA 66. (CESPE-BB) correto o raciocnio lgico dado pela seqncia de proposies seguintes: Se Clia tiver um bom currculo, ento ela conseguir um emprego. Ela conseguiu um emprego. Portanto, Clia tem um bom currculo. 67. (CESPE-BB) Na lista de frases apresentadas a seguir, h exatamente trs proposies. A frase dentro destas aspas uma mentira. A expresso X + Y positiva. O valor de 4 +3=7. Pel marcou dez gols para a seleo brasileira. O que isto? ENUNCIADO PRINCIPAL 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. AFIRMATIVA 68. (CESPE-BB) A proposio funcional Para qualquer x, tem-se que x > x verdadeira para todos os valores de x que esto no conjunto {5, 5/2, 3, 3/2, 2, 1/2} . AFIRMATIVA 69 A proposio funcional Existem nmeros que so divisveis por 2 e por 3 verdadeira para elementos do conjunto {2, 3, 9, 10, 15, 16}.

ENUNCIADO PRINCIPAL No livro Alice no Pas dos Enigmas, o professor de matemtica e lgica Raymond Smullyan apresenta vrios desafios ao raciocnio lgico que tm como objetivo distinguir-se entre verdadeiro e falso. Considere o seguinte desafio inspirado nos enigmas de Smullyan. Duas pessoas carregam fichas nas cores branca e preta. Quando a primeira pessoa carrega a ficha branca, ela fala somente a verdade, mas, quando carrega a ficha preta, ela fala somente mentiras. Por outro lado, quando a segunda pessoa carrega a ficha branca, ela fala somente mentira, mas, quando carrega a ficha preta, fala somente verdades. Com base no texto acima, julgue o item a seguir. AFIRMATIVA 70. (CESPE-BB) Se a primeira pessoa diz Nossas fichas no so da mesma cor e a segunda pessoa diz Nossas fichas so da mesma cor, ento, pode-se concluir que a segunda pessoa est dizendo a verdade. Gabarito 65. C 66. E 67. E 68. E 69. E 70. C