Livro Raciocínio Lógico Formal (baixe a última versão aqui:

https://www.facebook.com/groups/souintegral/648226115228543/)

Página 149

4) ANPAD 2009 – Quatro irmãos decidiram que não passarão juntos um

determinado feriadão, cada um indo para uma cidade diferente: ou Paulo irá para
Curitiba, ou Pedro irá para Belém, ou Pierre irá para Campo Grande; se Polércio
for para Fortaleza, então Pierre irá para Campo Grande; se Pedro for para Belém,
então Polércio irá para Fortaleza. Ora, Pierre não irá para Campo Grande. Logo,
a) Paulo irá para Curitiba ou Pedro não irá para Belém.
b) Paulo não irá para Curitiba e Polércio não irá para Fortaleza.
c) Pedro irá para Belém ou Polércio irá para Fortaleza.
d) Pedro não irá para Belém e Polércio irá para Fortaleza.
e) Pedro não irá para Belém e Paulo não irá para Curitiba.

Solução passo a passo, sem Tabela-Verdade:

Primeiro passo: Identificar todas as proposições simples, colocando-as em

linguagem simbólica (lembre-se: cada proposição simples é representada, em
linguagem simbólica, por uma letra minúscula).

p: "Paulo irá para Curitiba."

~p: "Paulo não irá para Curitiba."
q: "Pedro irá para Belém."
~q: "Pedro não irá para Belém."
r: "Pierre irá para Campo Grande."
~r: "Pierre não irá para Campo Grande."
s: "Polércio irá para Fortaleza."
~s: "Polércio não irá para Fortaleza."
(Lembre-se de que a Lógica Formal trabalha com a estrutura lógica e não com
sintaxe ou semântica. O tempo verbal pouco importa para nós.)

Segundo passo: colocar as premissas em linguagem simbólica:

Premissa 1 em linguagem corrente: "Ou Paulo irá para Curitiba, ou Pedro irá para
Belém, ou Pierre irá para Campo Grande."
Premissa 1 em linguagem simbólica: p ∨ q ∨ r
Premissa 2 em linguagem corrente: "Se Polércio for para Fortaleza, então Pierre
irá para Campo Grande."

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

Curso de Raciocínio Lógico Formal online: http://is.gd/RL_online
Premissa 2 em linguagem simbólica: s ⟶ r

Premissa 3 em linguagem corrente: "Se Pedro for para Belém, então Polércio irá
para Fortaleza."
Premissa 3 em linguagem simbólica: q ⟶ s

Premissa 4 em linguagem corrente: "Pierre não irá para Campo Grande."

Premissa 4 em linguagem simbólica: ~r

Logo, (aqui devemos colocar uma conclusão que torne o argumento válido)

Premissa 1: p ∨ q ∨ r
Premissa 2: s ⟶ r
Premissa 3: q ⟶ s
Premissa 4: ~r
Conclusão: ?

Terceiro passo: Regra: "Para que o argumento seja válido, é necessário que sua
conclusão seja verdadeira, sempre que suas premissas forem verdadeiras."

Premissa 1: uma disjunção exclusiva é verdadeira quando apenas uma das

proposições simples é verdadeira.
Premissa 2: uma condição é verdadeira quando não ocorrer VF, nesta ordem.
Premissa 3: idem (Premissa 2)
Premissa 4: a proposição simples será o ponto de partida, visto que, para que o
argumento seja válido é necessário (condição sine qua non) que todas as suas
premissas sejam verdadeiras.

Da Premissa 4, tem-se que ~r é verdadeira, então r é falsa.

Como já se sabe que a proposição r é falsa, então, na premissa 2 a proposição s
também será falsa.
Já que a proposição s é falsa, então, na Premissa 3 tem-se que a proposição q
também é falsa.
Na Premissa 1 (já sabemos que r e q são falsas) teremos que p é verdadeira.

Pronto! Já estamos com os valores lógicos de todas as proposições:

p é verdadeira. Paulo irá para Curitiba.

q é falsa. Então: ~q é verdadeira. Pedro não irá para Belém.
r é falsa. Então: ~r é verdadeira. Pierre não irá para Campo Grande.

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

Curso de Raciocínio Lógico Formal online: http://is.gd/RL_online
s é falsa. Então: ~s é verdadeira. Polércio não irá para Fortaleza.

Quarto passo: Como a Conclusão do argumento deve ser verdadeira, sabe-se

que nela deveremos colocar uma proposição que leve em conta os valores lógicos
encontrados acima.

Analisando as alternativas:
a) Paulo irá para Curitiba ou Pedro não irá para Belém. Gabarito
(a proposição é uma disjunção inclusiva. Como ambas as proposições simples
são verdadeiras, então a proposição composta é verdadeira)

b) Paulo não irá para Curitiba e Polércio não irá para Fortaleza.
(falsa) (verdadeira)
(a conjunção é falsa, pois uma das proposições simples é falsa)

c) Pedro irá para Belém ou Polércio irá para Fortaleza.

(falsa) (falsa)
(a disjunção inclusiva é falsa, pois ambas as proposições simples são falsas)

d) Pedro não irá para Belém e Polércio irá para Fortaleza.

(verdadeira) (falsa)
(a conjunção é falsa, pois uma das proposições simples é falsa)

e) Pedro não irá para Belém e Paulo não irá para Curitiba.
(verdadeira) (falsa)
(a conjunção é falsa, pois uma das proposições simples é falsa)

Gabarito: Alternativa A.

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

Curso de Raciocínio Lógico Formal online: http://is.gd/RL_online