Exerccios de Lgica:

Exerccio Resolvido 01) Sejam p, q e 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) b) c) d) e) (F,V,V,V,V) (V,F,V,F,V) (F,V,V,F,F) (F,V,V,V,F) (V,F,V,V,F)

Soluo:
p V q F p q F
r V

i)

pq F qr V q

ii)

iii)

pr
V
pr

( pr)q
V

V
p

iv)

r
V
q

q
V
q p

( p r) q
V

V
p

v)

p (q p)
V

Letra a).

Exerccio Resolvido 02) Sabendo que o enunciado composto

( p q) (q r )

verdadeiro, um valor lgico que no possvel para as proposies p, q e 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
F V F V F

pq

qr

( p q) (q r )

F F F F V Letra a).

V V F F V

V V V V F

V V F F F

F V F F F

F V V V V

Exerccio 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: Veracidade da sentena: Amanh dia de mentir Paulo: F; Pedro: F Paulo: V; Pedro: V Paulo: F; Pedro: F Paulo: F; Pedro: F Paulo: V; Pedro: F Paulo: F; Pedro: V Paulo: F; Pedro: F

Dia da semana Segunda feira Tera feira Quarta feira Quinta feira Sexta feira Sbado Domingo

Paulo Diz a verdade Diz a verdade Mente Mente Mente Diz a verdade Diz a verdade

Pedro Mente Mente Diz a verdade Diz a verdade Diz a verdade Diz a verdade Mente

Letra a). Exerccio 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).

Exerccio 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), conclumos que Amanda trabalha no complexo computacional. Letra d). Tente resolver este exerccio: Desafio) 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.