Exerccios Resolvidos

1. Qual a negao de:

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(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

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