Exerccios Resolvidos de Lgica

Exerccios Resolvidos

Exerccios Resolvido 01) Sejam , e p q r trs preposies tais que p verdadeira, q falsa e r
verdadeira. Considere tambm cada um dos enunciados seguintes:

1. ( ) p q
2. ( ) q r
3. ( ) ( ) p r q
4. ( ) ( ) p r q
5. ( ) ( ) p q p

Atribuindo a cada um destes enunciados o valor lgico de V (verdadeiro) ou F (falso), obteremos a
seguinte seqncia:

a) (F,V,V,V,V)
b) (V,F,V,F,V)
c) (F,V,V,F,F)
d) (F,V,V,V,F)
e) (V,F,V,V,F)

Soluo:

i)

p q p q
V F F

ii)

q
r
q r
F V V

iii)

p
r
q
p r
( ) p r q
V F F V V

iv)

p
r q
p r
( ) p r q
V V V V V






v)

p q q p
( ) p q p
V F V V

Letra a).

Exerccios Resolvido 02) Sabendo que o enunciado composto ( ) ( ) p q q r verdadeiro, um valor
lgico que no possvel para as proposies , e p q r , nessa ordem, :

a) F,V,F
b) F,V,V
c) F,F,F
d) F,F,V
e) V,V,F

Soluo:

p q
r p p q
q r
( ) ( ) p q q r
F V F V V F F
F V V V V V V
F F F V F F V
F F V V F F V
V V F F F F V

Letra a).

Exerccios Resolvido 03) Paulo mente s quartas, quintas e sextas feiras, dizendo a verdade no resto
da semana. Pedro mente aos domingos, segundas e teras feiras, dizendo a verdade nos outros dias.
Certo dia, ambos declararam: Amanh dia de mentir. Qual o dia em que foi feita esta declarao?

a) Tera feira
b) Sbado
c) Quarta feira
d) Domingo
e) Sexta feira

Soluo:

















Dia da semana

Paulo

Pedro
Veracidade da
sentena: Amanh
dia de mentir
Segunda feira Diz a verdade Mente Paulo: F; Pedro: F
Tera feira Diz a verdade Mente Paulo: V; Pedro: V
Quarta feira Mente Diz a verdade Paulo: F; Pedro: F
Quinta feira Mente Diz a verdade Paulo: F; Pedro: F
Sexta feira Mente Diz a verdade Paulo: V; Pedro: F
Sbado Diz a verdade Diz a verdade Paulo: F; Pedro: V
Domingo Diz a verdade Mente Paulo: F; Pedro: F

Letra a).

Exerccios Resolvido 04) Um aluno vai responder a um teste com cinco questes do tipo V (verdadeiro)
ou F (falso). Ele sabe que seu professor sempre coloca mais questes verdadeiras do que falsas e
tambm que nunca existem trs questes seguidas com as mesmas respostas. Aps o aluno ler as cinco
questes, ele percebeu que a primeira e a ltima possuam respostas contrrias e que a nica questo
que ele sabia responder com certeza era a segunda. Sabendo que com essas informaes ele pde
responder corretamente s cinco questes, podemos afirmar que a seqncia correta :

a) V, F, F, V, F
b) V, V, F, V, F
c) F, V, V, F, V
d) V, F, V, F, V
e) V, F, V, V, F

Soluo:

Suponhamos, por absurdo, que a questo que o aluno sabe responder verdadeira. Porm, haveria trs
possibilidades de gabarito, quais sejam:

I) V V F V F
II) F V V F V
III) F V F V V

Como, do enunciado temos que o aluno seria capaz de dizer precisamente o gabarito, temos um
absurdo! Logo a segunda questo tem de ser falsa.

Suponhamos, ainda, que a primeira opo seja falsa. Teramos, portanto, o seguinte gabarito: F F V F V.
H, porm, mais assertivas falsas do que verdadeiras. Absurdo! Logo, a primeira afirmao verdadeira
e a segunda falsa.

Temos, assim, a nica configurao possvel: V F V V F.

Letra e).











Exerccios Resolvido 05) Trs tcnicos (Amanda, Beatriz e Cssio) trabalham em um banco um
deles, no complexo computacional, outro na administrao e outro na segurana do Sistema Financeiro.
A praa de lotao de cada um deles : So Paulo, Rio de janeiro ou Porto Alegre. Sabe-se ainda que:

i) Cssio trabalha na segurana do sistema Financeiro.
ii) O que est lotado em So Paulo trabalha na administrao.
iii) Amanda no est lotada em Porto Alegre e no trabalha na Administrao.

verdade que, quem est lotado em So Paulo e quem trabalha no complexo computacional so,
respectivamente:

a) Cssio e Beatriz.
b) Beatriz e Cssio
c) Cssio e Amanda.
d) Beatriz e Amanda
e) Amanda e Cssio.

Soluo:

Suponhamos, por absurdo, que Amanda esteja lotada em So Paulo. Da afirmao (ii), teramos que ela
deveria trabalhar na administrao. Como, por (iii), sabemos que ela no trabalha na administrao,
chegamos a um absurdo. Logo Amanda no est lotada nem em Porto Alegre e nem em So Paulo.
Logo, est lotada no Rio e Cssio, em Porto Alegre. Portanto, Beatriz est lotada em So Paulo.

Alm do mais, como Amanda no trabalha na administrao e nem no sistema Financeiro (pois de (i),
podemos observa que Cssio quem trabalha no sistema financeiro), Amanda trabalha no complexo
computacional.

Letra d).

Desafios

Desafio 01) Alice, Beatriz, Clia e Dora apostaram uma corrida. Alice disse: Clia ganhou e Beatriz
chegou em segundo lugar. Beatriz disse: Clia chegou em segundo lugar e Dora em terceiro. Clia disse:
Dora foi a ltima e Alice a segunda. Cada uma das quatro meninas disse uma verdade e uma mentira
(no necessariamente nessa ordem). Determine a ordem de chegada das meninas nessa corrida.