Livro Raciocnio Lgico Formal (baixe a ltima verso aqui:

https://www.facebook.com/groups/souintegral/648226115228543/)
Pgina 149
4) ANPAD 2009 Quatro irmos decidiram que no passaro juntos um
determinado feriado, cada um indo para uma cidade diferente: ou Paulo ir para
Curitiba, ou Pedro ir para Belm, ou Pierre ir para Campo Grande; se Polrcio
for para Fortaleza, ento Pierre ir para Campo Grande; se Pedro for para Belm,
ento Polrcio ir para Fortaleza. Ora, Pierre no ir para Campo Grande. Logo,
a) Paulo ir para Curitiba ou Pedro no ir para Belm.
b) Paulo no ir para Curitiba e Polrcio no ir para Fortaleza.
c) Pedro ir para Belm ou Polrcio ir para Fortaleza.
d) Pedro no ir para Belm e Polrcio ir para Fortaleza.
e) Pedro no ir para Belm e Paulo no ir para Curitiba.
Soluo passo a passo, sem Tabela-Verdade:
Primeiro passo: Identificar todas as proposies simples, colocando-as em
linguagem simblica (lembre-se: cada proposio simples representada, em
linguagem simblica, por uma letra minscula).
p: "Paulo ir para Curitiba."
~p: "Paulo no ir para Curitiba."
q: "Pedro ir para Belm."
~q: "Pedro no ir para Belm."
r: "Pierre ir para Campo Grande."
~r: "Pierre no ir para Campo Grande."
s: "Polrcio ir para Fortaleza."
~s: "Polrcio no ir para Fortaleza."
(Lembre-se de que a Lgica Formal trabalha com a estrutura lgica e no com
sintaxe ou semntica. O tempo verbal pouco importa para ns.)
Segundo passo: colocar as premissas em linguagem simblica:
Premissa 1 em linguagem corrente: "Ou Paulo ir para Curitiba, ou Pedro ir para
Belm, ou Pierre ir para Campo Grande."
Premissa 1 em linguagem simblica: p q r
Premissa 2 em linguagem corrente: "Se Polrcio for para Fortaleza, ento Pierre
ir para Campo Grande."
Acompanhe a srie de dicas, macetes e atalhos no blog: http://profmilton.blogspot.com.br/
Curso de Raciocnio Lgico Formal online: http://is.gd/RL_online

Premissa 2 em linguagem simblica: s r

Premissa 3 em linguagem corrente: "Se Pedro for para Belm, ento Polrcio ir
para Fortaleza."
Premissa 3 em linguagem simblica: q s
Premissa 4 em linguagem corrente: "Pierre no ir para Campo Grande."
Premissa 4 em linguagem simblica: ~r
Logo, (aqui devemos colocar uma concluso que torne o argumento vlido)
Premissa 1: p q r
Premissa 2: s r
Premissa 3: q s
Premissa 4: ~r
Concluso: ?
Terceiro passo: Regra: "Para que o argumento seja vlido, necessrio que sua
concluso seja verdadeira, sempre que suas premissas forem verdadeiras."
Premissa 1: uma disjuno exclusiva verdadeira quando apenas uma das
proposies simples verdadeira.
Premissa 2: uma condio verdadeira quando no ocorrer VF, nesta ordem.
Premissa 3: idem (Premissa 2)
Premissa 4: a proposio simples ser o ponto de partida, visto que, para que o
argumento seja vlido necessrio (condio sine qua non) que todas as suas
premissas sejam verdadeiras.
Da Premissa 4, tem-se que ~r verdadeira, ento r falsa.
Como j se sabe que a proposio r falsa, ento, na premissa 2 a proposio s
tambm ser falsa.
J que a proposio s falsa, ento, na Premissa 3 tem-se que a proposio q
tambm falsa.
Na Premissa 1 (j sabemos que r e q so falsas) teremos que p verdadeira.
Pronto! J estamos com os valores lgicos de todas as proposies:
p verdadeira. Paulo ir para Curitiba.
q falsa. Ento: ~q verdadeira. Pedro no ir para Belm.
r falsa. Ento: ~r verdadeira. Pierre no ir para Campo Grande.
Acompanhe a srie de dicas, macetes e atalhos no blog: http://profmilton.blogspot.com.br/
Curso de Raciocnio Lgico Formal online: http://is.gd/RL_online

s falsa. Ento: ~s verdadeira. Polrcio no ir para Fortaleza.

Quarto passo: Como a Concluso do argumento deve ser verdadeira, sabe-se
que nela deveremos colocar uma proposio que leve em conta os valores lgicos
encontrados acima.
Analisando as alternativas:
a) Paulo ir para Curitiba ou Pedro no ir para Belm. Gabarito
(a proposio uma disjuno inclusiva. Como ambas as proposies simples
so verdadeiras, ento a proposio composta verdadeira)
b) Paulo no ir para Curitiba e Polrcio no ir para Fortaleza.
(falsa)
(verdadeira)
(a conjuno falsa, pois uma das proposies simples falsa)
c) Pedro ir para Belm ou Polrcio ir para Fortaleza.
(falsa)
(falsa)
(a disjuno inclusiva falsa, pois ambas as proposies simples so falsas)
d) Pedro no ir para Belm e Polrcio ir para Fortaleza.
(verdadeira)
(falsa)
(a conjuno falsa, pois uma das proposies simples falsa)
e) Pedro no ir para Belm e Paulo no ir para Curitiba.
(verdadeira)
(falsa)
(a conjuno falsa, pois uma das proposies simples falsa)
Gabarito: Alternativa A.

Acompanhe a srie de dicas, macetes e atalhos no blog: http://profmilton.blogspot.com.br/

Curso de Raciocnio Lgico Formal online: http://is.gd/RL_online