Você está na página 1de 43

Reviso

1 Ordem de Precedncia dos Conectivos.



1) ~ Negao
2) ^ ou , Conjuno ou v Disjuno, na ordem em que aparecem;
3) Condicional
4) Bicondicional
A vrgula funciona da mesma maneira que a conjuno e ^.
Nem o mesmo que a negao no.
Ex.: Nem Egdio Espanhol nem Isaura italiana.
Reescrevendo teremos: Egdio no espanhol e Isaura no italiana.
A proposio condicional: Se p, ento q pode ser expressa das seguintes
maneiras:
p condio suficiente para q ou q condio necessria para p.
A proposio bicondicional: p se e s se q, pode ser expressa das seguintes
maneiras:
p condio suficiente e necessria para q ou q condio suficiente e
necessria para p.
Ateno: A condicional e a bicondicional inicia-se por se.
Ex.:
P1. O rei ir caa condio necessria para o duque sair do castelo, e
condio suficiente para a duquesa ir ao jardim.
P2. o conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim.
P3. O baro no sorriu.
Vamos reescrever as premissas utilizando os conectivos do condicional
(se...ento) e do bicondicional (se e s se):
P1. Se o duque sair do castelo, ento o rei vai a caa, e se o rei vai a caa,
ento a duquesa vai ao jardim.
P2. O conde encontra a princesa se e s se o baro sorrir e se a duquesa vai ao
jardim, ento o conde encontra a princesa
P3. O baro no sorriu.
A presena de duas negao torna a premissa em uma afirmao.
Ex.: Mas Elton fala espanhol se e somente se no for verdade que Francisco
no fala francs.
P: E F




A expresso quando uma condicional.
Ex.:
P1: Quando chove, no passeio e fico deprimida.
P2: Quando no chove e estou deprimida, no passeio.
P1: C ~P ^ D
P2: ~C D ^ ~P
A vrgula separa uma proposio simples da outra e ponto final separa uma
proposio composta da outra.
A expresso sempre uma condicional.
Ex.:
P1: Sabe-se que sempre que Didi estuda, Didi aprovado.
P2: Sempre que Dad vai visitar tia Clia, Chiquita vai ao parque.
P1: E A
P2: D C
Ateno na afirmao e negao:
Ex.: P2: C P2: ~C

Estrutura Lgica de Relaes entre Pessoas, Lugares, Objetos ou Eventos.

Estruturas lgicas de relaes caracteriza-se por apresentar um conjunto de
afirmaes (premissas), formado por proposies compostas (os termos so
interligados pelos conetivos lgicos: e, ou, se... ento, se e somente se),e tambm
podem apresentar proposies simples.

A resposta solicitada para questo de estrutura lgica a alternativa que traz
uma concluso que necessariamente verdadeira para o conjunto de premissas
fornecidas no argumento.

Assim, notamos que as questes de estruturas lgicas se assemelham s de
Argumento Vlido, pois apresenta premissas (trazidas no argumento) e uma
concluso vlida (que ser a prpria resposta procurada!).

Em enunciados de estruturas lgicas, somente so fornecidas as premissas, e
a concluso ser uma das cinco alternativas da questo.

Para resolver as questes de estruturas lgicas utilizaremos os mtodos de
testes de validade de argumentos.

Dividiremos as questes de estruturas lgicas em dois tipos, a saber:

1 tipo: Quando uma das premissas do argumento apresentar somente
uma forma de ser verdadeira. Isso ocorre em duas situaes:

1) o conjunto de premissas traz alguma proposio simples; ou

2) o conjunto de premissas traz alguma proposio composta em forma de
conjuno (com o conectivo e interligando os seus termos).

Em estrutura lgica de relaes entende-se por conjunto de premissas, as
proposies e as alternativas.
2 tipo: Quando todas as premissas do argumento possuem mais uma
forma de ser verdadeira.

A estrutura lgica de relaes do tipo: Quando uma das premissas apresenta
somente uma forma de ser verdadeira resolvida utilizando-se o 3 mtodo de teste
de validade de argumentos. O 3 mtodo realizado por meio dos seguintes passos.

1 passo: consideram-se as premissas verdadeiras, e com o conhecimento das
tabelas-verdade dos conectivos, descobrimos os valores lgicos das proposies
simples que compe o argumento.

2 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

As Questes de Estrutura Lgica de Relaes do tipo: Quando uma das
premissas do argumento apresentar somente uma forma de ser verdadeira sero
solucionadas pelos procedimentos a seguir .

1 passo: Identificar e representar por letras as proposies simples do
argumento.

2 passo: Identificar, numerar e representar simbolicamente as premissas do
argumento.

3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.

4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.
Premissa
Afirmao Negao








6 Representao simblica das alternativas da questo.

7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.

7.2 Valores lgicos das alternativas da questo.

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

Exemplos:

1) (Oficial de Chancelaria MRE 2004 ESAF) Se a professora de matemtica foi
reunio, nem a professora de ingls nem a professora de francs deram aula. Se a
professora de francs no deu aula, a professora de portugus foi reunio. Se a
professora de portugus foi reunio, todos os problemas foram resolvidos. Ora, pelo
menos um problema no foi resolvido. Logo,

a) a professora de matemtica no foi reunio e a professora de francs no
deu aula.
b) a professora de matemtica e a professora de portugus no foram
reunio.
c) a professora de francs no deu aula e a professora de portugus no foi
reunio.
d) a professora de francs no deu aula ou a professora de portugus foi
reunio.
e) a professora de ingls e a professora de francs no deram aula.

1 passo: Identificao e representao por letras das proposies simples do
argumento.

M = a professora de matemtica foi reunio
I = a professora de ingls deu aula
Fr = a professora de francs deu aula
P = a professora de portugus foi reunio
R = todos os problemas foram resolvidos

2 passo: Identificao, numerao e representao simblica das premissas
do argumento.

2.1 Identificao e numerao das premissas do argumento

P1. Se a professora de matemtica foi reunio, ento nem a professora de
ingls nem a
professora de francs deram aula.
P2. Se a professora de francs no deu aula, ento a professora de portugus
foi reunio.
P3. Se a professora de portugus foi reunio, ento todos os problemas
foram resolvidos.
P4. Pelo menos um problema no foi resolvido.

Na premissa P1 aparece a palavra nem. Podemos reescrever esta premissa
tirando tal palavra, mas sem mudar o sentido:

P1. Se a professora de matemtica foi reunio, ento a professora de ingls
no deu aula e a professora de francs no deu aula.





2.2 Representao simblica das premissas do argumento.

P1. M (~I ^ ~Fr)
P2. ~Fr P
P3. P R
P4. ~R

3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.


4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.

Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P4 ~R V P3 R F
P3 P F - ~P V
P2 ~FR F - FR V
P1 ~I F - I V
P1 M F - ~M V

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.
Premissa
Afirmao Negao
M: F ~M: V
I: V ~I: F
FR: V ~FR: F
P: F ~P: V
R: F ~R: V



6 Representao simblica das alternativas da questo..
a) ~M ^ ~Fr
b) ~M ^ ~P
c) ~Fr ^ ~P
d) ~Fr v P
e) ~I ^ ~Fr


7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.

P1. M (F) (~I (F) ^ ~Fr ( F ) ) V
P2. ~Fr ( F) P ( F) V
P3. P (F) R (F) V
P4. ~R ( V) V

7.2 Valores lgicos das alternativas da questo.

a) ~M (V) ^ ~Fr (F)
b) ~M (V) ^ ~P (V)
c) ~Fr (F) ^ ~P (V)
d) ~Fr ( F) v P (F)
e) ~I (F) ^ ~Fr ( F)

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

Resposta: A alternativa necessariamente verdadeira a letra B.

2) (AFC-SFC 2001 ESAF) Se Vera viajou, nem Camile nem Carla foram ao
casamento. Se Carla no foi ao casamento, Vanderlia viajou. Se Vanderlia viajou, o
navio afundou. Ora, o navio no afundou. Logo,

a) Vera no viajou e Carla no foi ao casamento
b) Camile e Carla no foram ao casamento
c) Carla no foi ao casamento e Vanderlia no viajou
d) Carla no foi ao casamento ou Vanderlia viajou
e) Vera e Vanderlia no viajaram

1 passo: Identificao e representao por letras das proposies simples do
argumento.

A = Vera viajou
B = Vanderlia viajou
C = Camile foi ao casamento
D = Carla foi ao casamento
E = o navio afundou

2 passo: Identificao, numerao e representao simblica das premissas
do argumento.

2.1 Identificao e numerao das premissas do argumento

P1. Se Vera viajou, ento nem Camile nem Carla foram ao casamento.
P2. Se Carla no foi ao casamento, ento Vanderlia viajou.
P3. Se Vanderlia viajou, ento o navio afundou.
P4. O navio no afundou

Na 1 premissa aparece a palavra 'nem'. Vamos reescrever esta premissa
tirando tal palavra, mas preservando o sentido:

P1. Se Vera viajou, ento Camile no foi ao casamento e Carla no foi ao
casamento.

2.2 Representao simblica das premissas do argumento.

P1. A (~C ^ ~D)
P2. ~D B
P3. B E
P4. ~E

3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.

4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.

Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P4 ~E V P3 E F
P3 B F - ~B V
P2 ~D F - D V
P1 ~C F - C V
P1 A F - ~A V

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.
Premissa
Afirmao Negao
A: F ~A: V
B: F ~B: V
C: V ~C: F
D: V ~D: F
E: F ~E: V










6 Representao simblica das alternativas da questo.
a) ~A ^ ~D
b) ~C ^ ~D
c) ~D ^ ~B
d) ~D v B
e) ~A ^ ~B

7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.
P1. A (F) (~C (F) ^ ~D) (F) V
P2. ~D ( F) B (F) V
P3. B (F) E ( F) V
P4. ~E (V) V

7.2 Valores lgicos das alternativas da questo.

a) ~A (V) ^ ~D (F) F
b) ~C (F) ^ ~D (F) F
c) ~D (F) ^ ~B (V) F
d) ~D (F) v B (F) F
e) ~A (V) ^ ~B (V) V

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

Resposta: A alternativa necessariamente verdadeira a letra E

3) (MPOG 2002 ESAF) Se M = 2x + 3y, ento M = 4p + 3r. Se M = 4p + 3r,
ento M = 2w 3r. Por outro lado, M = 2x + 3y, ou M = 0. Se M = 0, ento M+H = 1.
Ora, M+H 1. Logo,

a) 2w 3r = 0
b) 4p + 3r 2w 3r
c) M 2x + 3y
d) 2x + 3y 2w 3r
e) M = 2w 3r

1 passo: Identificao e representao por letras das proposies simples do
argumento.

a) M= 2x+3y
b) M= 4p+3r
c) M= 2w-3r
d) M= 0
e) M+H=1
f) M+H 1


2 passo: Identificao, numerao e representao simblica das premissas
do argumento.
2.1 Identificao e numerao das premissas do argumento.
P1: Se M= 2x+3y, ento M= 4p+3r
P2: Se M= 4p+3r, ento M= 2w-3r
P3: M= 2x+3y ou M=0
P4: Se M=0 ento M+H=1
P5: M+H1
2.2 Representao simblica das premissas do argumento.
P1: M= 2x+3y M= 4p+3r
P2: M= 4p+3r M= 2w-3r
P3: M= 2x+3y v M=0
P4: M=0 M+H=1
P5: M+H1
3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.
4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.


Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P5 M+H1 V P4 M+H=1 F
P4 M=0 F - ~M=0 V
P2 M= 2W-3R V - ~M=2W-3R F
P2 M=4P+3R V - ~M=4P+3R F
P1 M=2X+3Y V - ~M=2X+3Y F

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.

Premissa
Afirmao Negao
M= 2x+3y: V ~M= 2x+3y: F
M= 4p+3r: V ~M= 4p+3r: F
M= 2w-3r: V ~M= 2w-3r: F
M= 0: F ~M= 0: V
M+H=1: F ~M+H=1 V
M+H 1: V ~M+H 1: F


6 Representao simblica das alternativas da questo..
a) 2w 3r = 0
b) 4p + 3r 2w 3r
c) M 2x + 3y
d) 2x + 3y 2w 3r
e) M = 2w 3r

7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.
7.1 Valores lgicos das premissas do argumento.
P1: M= 2x+3y (V) M= 4p+3r (V) V
P2: M= 4p+3r (V) M= 2w-3r (V) V
P3: M= 2x+3y (V) v M=0 (F) V
P4: M=0 ( F) M+H=1 (F) V
P5: M+H1 (V) V
7.2 Valores lgicos das alternativas da questo.

a) 2w 3r = 0 F
b) 4p + 3r 2w 3r F
c) M 2x + 3y F
d) 2x + 3y 2w 3r F
e) M = 2w 3r V

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

Resposta: A alternativa necessariamente verdadeira a letra E.

Dica: Anlise as alternativas da questo acima comparando com as premissas
e proposies simples do argumento. Logo concluiremos que, nas premissas e
proposies simples do argumento M produto de algo e a nica alternativa em
que M produto de algo a letra E.

4) (ACExt TCU 2002 ESAF) O rei ir caa condio necessria para o duque
sair do castelo, e condio suficiente para a duquesa ir ao jardim. Por outro lado, o
conde encontrar a princesa condio necessria e suficiente para o baro sorrir e
condio necessria para a duquesa ir ao jardim. O baro no sorriu. Logo:
a) A duquesa foi ao jardim ou o conde encontrou a princesa.
b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
c) O rei no foi caa e o conde no encontrou a princesa.
d) O rei foi caa e a duquesa no foi ao jardim.
e) O duque saiu do castelo e o rei no foi caa.

1 passo: Identificao e representao por letras das proposies simples do
argumento.

D = o duque sair do castelo.
R = o rei vai a caa.
J = a duquesa vai ao jardim
C = o conde encontra a princesa.
B = o baro sorrir.
2 passo: Identificao, numerao e representao simblica das premissas
do argumento.

2.1 Identificao e numerao das premissas do argumento.

P1. O rei ir caa condio necessria para o duque sair do castelo, e
condio suficiente para a duquesa ir ao jardim.
P2. O conde encontrar a princesa condio necessria e suficiente para o
baro sorrir e condio necessria para a duquesa ir ao jardim.
P3. O baro no sorriu.
Vamos reescrever as premissas utilizando os conectivos do condicional
(se...ento) e do bicondicional (se e s se):

P1. Se o duque sair do castelo, ento o rei vai a caa, e se o rei vai a caa,
ento a duquesa vai ao jardim.
P2. O conde encontra a princesa se e s se o baro sorrir e se a duquesa vai
ao jardim, ento o conde encontra a princesa.
P3. O baro no sorriu.
2.2 Representao simblica das premissas do argumento.
P1. (D R) ^ (R J)
P2. (C B) ^ (J C)
P3. ~B
3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.

4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.


Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P3 ~B V P2 B F
P2 C F P2 J F
P1 J F P1 R F
P1 D F - - -










5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.

Premissa
Afirmao Negao
D: F ~D: V
R: F ~R: V
J: F ~J: V
C: F ~C: V
B: F ~B: V

6 Representao simblica das alternativas da questo..
a) J v C
b) ~D C
c) ~R ^ ~C
d) R ^ ~J
e) D ^ ~R

7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.
P1. (D (F) R (F)) ^ (R(F) J(F)) V
P2. (C(F) B(F)) ^ (J(F) C(F)) V
P3. ~B (V) V

7.2 Valores lgicos das alternativas da questo.

a) J (F) v C (F) F
b) ~D (V) C (F) F
c) ~R (V) ^ ~C (V) V
d) R ( F) ^ ~J (V) F
e) D (F) ^ ~R (V) F

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

Resposta: A alternativa necessariamente verdadeira a letra C.





5) (AFC 2002 ESAF) Se Iara no fala italiano, ento Ana fala alemo. Se Iara
fala italiano, ento ou Ching fala chins ou Dbora fala dinamarqus. Se Dbora fala
dinamarqus, Elton fala espanhol. Mas Elton fala espanhol se e somente se no for
verdade que Francisco no fala francs. Ora, Francisco no fala francs e Ching no
fala chins. Logo,

a) Iara no fala italiano e Dbora no fala dinamarqus.
b) Ching no fala chins e Dbora fala dinamarqus.
c) Francisco no fala francs e Elton fala espanhol.
d) Ana no fala alemo ou Iara fala italiano.
e) Ana fala alemo e Dbora fala dinamarqus.
1 passo: Identificao e representao por letras das proposies simples do
argumento.

I: Iara fala italiano.
A: Ana fala alemo.
C: Ching fala chins.
D: Dbora fala dinarmaqus.
E: Elton fala espanhol.
F: Francisco fala francs.
2 passo: Identificao, numerao e representao simblica das premissas
do argumento.

2.1 Identificao e numerao das premissas do argumento.

P1: Se Iara no fala italiano, ento Ana fala alemo.
P2: Se Iara fala italiano, ento ou Ching fala chins ou Dbora fala
dinamarqus.
P3: Se Dbora fala dinamarqus, Elton fala espanhol.
P4: Mas Elton fala espanhol se e somente se no for verdade que Francisco
no fala francs.
P5: Francisco no fala francs e Ching no fala chins.
2.2 Representao simblica das premissas do argumento
Ateno: Observe na P4 a presena de duas negao no, transformando-
a em uma afirmao.

P1: ~I A
P2: I (C v D)
P3: D E
P4: E F
P5: ~F ^ ~C

3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.

4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.


Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P5 ~C V P5 ~F V
P4 F F P4 E F
P3 D F P2 D F
P2 C F P2 I F
P1 ~I V P1 A V

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.

Premissa
Afirmao Negao
I: F ~I: V
A: V ~A: F
C: F ~C: V
D: F ~D: V
E: F ~E: V
F: F ~F: V

6 Representao simblica das alternativas da questo.
a) ~I ^ ~ D
b) ~C ^ D
c) ~F ^ E
d) ~A v I
e) A ^ D
7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.
7.1 Valores lgicos das premissas do argumento.

P1: ~I (V) A (V) V
P2: I (F) (C (F) v D (F)) V
P3: D (F) E (F) V
P4: E (F) F (F) V
P5: ~F (V) ^ ~C (V) V




7.2 Valores lgicos das alternativas da questo.

a) ~I (V) ^ ~ D (V) V
b) ~C (V) ^ D (F) F
c) ~F (V) ^ E (F) F
d) ~A (F) v I (F) F
e) A (V) ^ D (F) F

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

Resposta: A alternativa necessariamente verdadeira a letra A.

6) (MPU_Admnistrativa_2004 ESAF) Quando no vejo Carlos, no passeio ou
fico deprimida. Quando chove, no passeio e fico deprimida. Quando no faz calor e
passeio, no vejo Carlos. Quando no chove e estou deprimida, no passeio. Hoje,
passeio. Portanto, hoje

a) vejo Carlos, e no estou deprimida, e chove, e faz calor.
b) no vejo Carlos, e estou deprimida, e chove, e faz calor.
c) vejo Carlos, e no estou deprimida, e no chove, e faz calor.
d) no vejo Carlos, e estou deprimida, e no chove, e no faz calor.
e) vejo Carlos, e estou deprimida, e no chove, e faz calor.

1 passo: Identificao e representao por letras das proposies simples do
argumento.

VC: Vejo Carlos
P: Passeio
D: Deprimida
C: Chove
FC: Faz calor

2 passo: Identificao, numerao e representao simblica das premissas
do argumento.

2.1 Identificao e numerao das premissas do argumento.

P1: Quando no vejo Carlos, no passeio ou fico deprimida.
P2: Quando chove, no passeio e fico deprimida.
P3: Quando no faz calor e passeio, no vejo Carlos.
P4: Quando no chove e estou deprimida, no passeio.
P5: passeio.






2.2 Representao simblica das premissas do argumento.

P1: ~VC ~P v D
P2: C ~P ^ D
P3: ~FC P ^ ~VC
P4: ~C D ^ ~P
P5: P
3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.

4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.

Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P5 P V P4 ~P F
P4 D F P4 ~C V
P2 C F P1 ~VC F
P3 ~FC F - - -

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.

Premissa
Afirmao Negao
VC: V ~VC: F
P: V ~P: F
D: F ~D: V
C: F ~C: V
FC: V ~FC: F

6 Representao simblica das alternativas da questo.
a) VC ^ ~D ^ C ^ FC
b) ~VC ^ D ^ C ^ FC
c) VC ^ ~D ^ ~C ^ FC
d) ~VC ^ D ^ ~C ^ ~FC
e) VC ^ D ^ ~C ^ FC






7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.
7.1 Valores lgicos das premissas do argumento.

P1: ~VC (F) ~P (F) v D (F) V
P2: C (F) ~P (F) ^ D (F)_ V
P3: ~FC (F) P (V) ^ ~VC (F) V
P4: ~C (V) D (F) ^ ~P (F) V
P5: P (V) V

7.2 Valores lgicos das alternativas da questo.
a) VC (V) ^ ~D (V) ^ C (F) ^ FC (V) F
b) ~VC (F) ^ D (F) ^ C ( F) ^ FC (V) F
c) VC (V) ^ ~D (V) ^ ~C (V) ^ FC (V) V
d) ~VC ( F) ^ D (F) ^ ~C (V) ^ ~FC (F) F
e) VC ( V) ^ D (F) ^ ~C (V) ^ FC (V) F

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

Resposta: A alternativa necessariamente verdadeira a alternativa C





























7) (MPU Controle Interno 2004 ESAF) Sabe-se que Joo estar feliz ondio
necessria para Maria sorrir e condio suficiente para Daniela abraar Paulo. Sabe-
se, tambm, que Daniela abraar Paulo condio necessria e suficiente para a
Sandra abraar Srgio. Assim, quando Sandra no abraa Srgio,

a) Joo est feliz, e Maria no sorri, e Daniela abraa Paulo.
b) Joo no est feliz, e Maria sorri, e Daniela no abraa Paulo.
c) Joo est feliz, e Maria sorri, e Daniela no abraa Paulo.
d) Joo no est feliz, e Maria no sorri, e Daniela no abraa Paulo.
e) Joo no est feliz, e Maria sorri, e Daniela abraa Paulo.

1 passo: Identificao e representao por letras das proposies simples do
argumento.

M = Maria sorri
J = Joo est feliz
D = Daniela abraa Paulo
S = Sandra abraa Srgio

2 passo: Identificao, numerao e representao simblica das premissas
do argumento.

2.1 Identificao e numerao das premissas do argumento.
Sabe-se que Joo estar feliz condio necessria para Maria sorrir e
condio suficiente para Daniela abraar Paulo.
Sabe-se, tambm, que Daniela abraar Paulo condio necessria e
suficiente para a Sandra abraar Srgio. Assim, quando Sandra no abraa Srgio,
Nesta questo, h um trabalho preliminar a ser realizado! Antes de iniciarmos
os passos efetivos de resoluo, teremos que traduzir essas tais condies
necessrias e condies suficientes para a linguagem convencional de uma estrutura
condicional (ou bicondicional, conforme o caso). Isso tambm j aprendemos como se
faz. Teremos, pois, que:
Joo estar feliz condio necessria para Maria sorrir
o mesmo que: Se Maria sorri, ento Joo est feliz.
Joo estar feliz condio suficiente para Daniela abraar Paulo
o mesmo que: Se Joo est feliz, ento Daniela abraa Paulo.
Por fim, sabemos que:
Daniela abraar Paulo condio necessria e suficiente para a Sandra
abraar Srgio
o mesmo que: Daniela abraa Paulo se e somente se Sandra abraa Srgio
Feito isto, podemos reescrever as sentenas do enunciado, da seguinte forma:

2.2 Representao simblica das premissas do argumento.
P1: M J
P2: J D
P3: D S
P4: ~S
3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.

4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.


Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P4 ~S V P3 S F
P3 D F P2 J F
P1 M F - - -

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.

Premissa
Afirmao Negao
M: F ~M: V
J: F ~J: V
D: F ~D: V
S: F ~S: V

6 Representao simblica das alternativas da questo..
a) J ^ ~M ^ D
b) ~J ^ M ^ ~D
c) J ^ M ^ ~D
d) ~J ^ ~M ^ ~D
e) ~J ^ M ^ D

7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.

P1: M (F) J (F) V
P2: J (F) D (F) V
P3: D ( F) S (F) V
P4: ~S (V) V






7.2 Valores lgicos das alternativas da questo.

a) J (F) ^ ~M (V) ^ D (F) F
b) ~J (V) ^ M (F) ^ ~D (V) F
c) J (F) ^ M (F) ^ ~D (V) F
d) ~J (V) ^ ~M (V) ^ ~D (V) V
e) ~J ( V) ^ M (F) ^ D (F) F

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.

Resposta: A alternativa necessariamente verdadeira a letra D.

8) (Assistente de Chancelaria MRE 2004 ESAF) No final de semana, Chiquita
no foi ao parque. Ora, sabe-se que sempre que Didi estuda, Didi aprovado. Sabe-
se, tambm, que, nos finais de semana, ou Dad vai missa ou vai visitar tia Clia.
Sempre que Dad vai visitar tia Clia, Chiquita vai ao parque, e sempre que Dad vai
missa, Didi estuda. Ento, no final de semana,

a) Dad foi missa e Didi foi aprovado.
b) Didi no foi aprovado e Dad no foi visitar tia Clia.
c) Didi no estudou e Didi foi aprovado.
d) Didi estudou e Chiquita foi ao parque.
e) Dad no foi missa e Didi no foi aprovado.

1 passo: Identificao e representao por letras das proposies simples do
argumento.

DIE: Didi estuda
DIA: Didi aprovado
DAM: Dad vai a missa
DAT: Dad vai visitar tia Clia
CH: Chiquita vai ao parque.

2 passo: Identificao, numerao e representaao simbolicamente as
premissas do argumento.

2.1 Identificao e numerao das premissas do argumento.

P1: No final de semana, Chiquita no foi ao parque.
P2: Sabe-se que sempre que Didi estuda, Didi aprovado.
P:3 Sabe-se, tambm, que, nos finais de semana, ou Dad vai missa ou vai
visitar tia Clia.
P4: Sempre que Dad vai visitar tia Clia, Chiquita vai ao parque,
P5: e sempre que Dad vai missa, Didi estuda.


2.2 Representao simbolicamente as premissas do argumento.

P1: ~CH
P2: DIE DIA
P3: DAM v DAT
P4: DAT CH
P5: DAM DIE

3 passo: Considerar que as premissas sejam verdadeiras. e com o
conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lgicos
das proposies simples que compe o argumento.

4 passo: Construir uma tabela prtica e com base no 3 procedimento
valorizar as proposies simples que compem o argumento.


Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P1 ~CH V P4 CH F
P4 CH F P4 DAT F
P3 DAT F P3 DAM V
P5 DAM V P5 DIE V
P2 DIE V P2 DIA V

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.

Premissa
Afirmao Negao
DIE: V ~DIE: F
DIA: V ~DIA: F
DAM: F ~DAM: V
DAT: F ~DAT: V
CH: F ~CH: V



6 Representao simblica das alternativas da questo.
a) DAM ^ DIA
b) ~DIA ^ ~DAT
c) ~DIE ^ DIA
d) DIE ^ CH
e) ~DAM ^ ~DIA
7 Colocar os valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.
P1: ~CH (V) V
P2: DIE ( V) DIA (V) V
P3: DAM (V) v DAT (F) V
P4: DAT (F) CH (F) V
P5: DAM (V) DIE (V) V

7.2 Valores lgicos das alternativas da questo.

a) DAM (V) ^ DIA (V) V
b) ~DIA (F) ^ ~ DAT(V) F
c) ~DIE (F) ^ DIA (V) F
d) DIE (V) ^ CH (F) F
e) ~DAM (F) ^ ~DIA (F) F

8 passo: A partir dos valores lgicos das proposies simples, devemos
encontrar qual a alternativa que traz uma proposio que consequncia obrigatria
das premissas, ou seja, que possui valor lgico necessariamente verdadeiro.
Resposta: A alternativa necessariamente verdadeira a letra A.

As Questes de Estrutura Lgica de Relaes do tipo: Quando todas as
premissas do argumento possuem mais uma forma de ser verdadeira sero
solucionadas pelo mtodo de alternativas da questo formadas somente por
afirmaes interligadas pelo conectivo e ou por vrgula, mtodo do
encadeamento lgico, mtodo da tabela-verdade e pelo 4 mtodo de teste de
validade de argumentos .

Alternativas da questo formadas somente por afirmaes interligadas pelo
conectivo e ou por vrgula.
A questo de estrutura lgica de relaes em que todas as premissas do
argumento possurem mais de uma forma de ser verdadeiras e que as alternativas da
questo forem formadas somente por afirmaes interligadas pelo conectivo e ou por
vrgula, sero solucionadas pelos procedimentos a seguir.
1 Identificar e representar por letras as proposies simples do argumento.
2 Identificar, numerar e representar simbolicamente as premissas do
argumento.
3 Considerar que as premissas sejam todas verdadeiras e com o
conhecimento das tabelas-verdade dos conectivos, atribuir valor lgico V ou F para as
proposies simples das proposies compostas que compem o argumento.
4 Construir uma tabela prtica e com base no 3 procedimento valorizar as
proposies simples das proposies compostas que compem o argumento.
5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.

6 Representar simbolicamente as alternativas da questo
7 Colocar os valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

8 A partir dos valores lgicos das proposies simples devemos encontrar
qual a alternativa que possui valor lgico necessariamente verdadeira..
Exemplos:

01.Fiscal do Trabalho 2003 ESAF) Se no durmo, bebo. Se estou furioso,
durmo. Se durmo, no estou furioso. Se no estou furioso, no bebo. Logo,

a) no durmo, estou furioso e no bebo
b) durmo, estou furioso e no bebo
c) no durmo, estou furioso e bebo
d) durmo, no estou furioso e no bebo
e) no durmo, no estou furioso e bebo

1. Identificao e representao por letras das proposies simples do
argumento.

B: Bebo
D: Durmo
E: Estou furioso

2 Identificao, numerao e representao simblica das premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento.
P1: Se no durmo, bebo.
P2: Se estou furioso, durmo.
P3: Se durmo, no estou furioso.
P4: Se no estou furioso, no bebo.

2.2 Representao simblica das premissas do argumento

P1: ~D B
P2: E D
P3: D ~E
P4: ~E ~B

3 Considerar que as premissas sejam todas verdadeiras e com o
conhecimento das tabelas-verdade dos conectivos, atribuir valor lgico V ou F para as
proposies simples das proposies compostas que compem o argumento.





4 Construo de uma tabela prtica e com base no 3 procedimento valorizar
as proposies simples das proposies compostas que compem o argumento.

Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P1 ~D F P1 B F
P2 E V P2 D V
P3 D V P3 ~E F
P4 ~E F P4 ~B V


5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.
Premissa
Afirmao Negao
B: F ~B: V
D: V ~D: F
E: F ~E: V

6 Representao simblica das alternativas da questo
a) ~D ^ (E ^ ~B)
b) D ^ (E ^ ~B)
c) ~D ^ ( E ^ B)
d) D ^ (~E ^ ~B)
e) ~D ^ (~E ^ B)

7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.

P1: ~D (F) B (F) V
P2: E (F) D (V) V
P3: D (V) ~E (V) V
P4: ~E (V) ~B (V) V

7.2 Valores lgicos das alternativas da questo.

a) ~D (F) ^ (E (F) ^ ~B (V) ) F
b) D ^ (V) (E (F) ^ ~B (V)) F
c) ~D(F) ^ ( E(F) ^ B (F) ) F
d) D (V) ^ (~E (V) ^ ~B (V) ) V
e) ~D(F) ^ (~E (V) ^ B (F)) F

8 Resposta: A partir dos valores lgicos das proposies simples devemos
encontrar qual a alternativa que possui valor lgico necessariamente verdadeira..

A alternativa necessariamente verdadeira a letra D
02. (MPU Administrativa 2004 ESAF) Se Fulano culpado, ento Beltrano
culpado. Se Fulano inocente, ento ou Beltrano culpado, ou Sicrano culpado, ou
ambos, Beltrano e Sicrano, so culpados. Se Sicrano inocente, ento Beltrano
inocente. Se Sicrano culpado, ento Fulano culpado. Logo,

a) Fulano inocente, e Beltrano inocente, e Sicrano inocente.
b) Fulano culpado, e Beltrano culpado, e Sicrano inocente.
c) Fulano culpado, e Beltrano inocente, e Sicrano inocente.
d) Fulano inocente, e Beltrano culpado, e Sicrano culpado.
e) Fulano culpado, e Beltrano culpado, e Sicrano culpado.

1. Identificao e representao por letras das proposies simples do
argumento.

B: Beltrano culpado
F: Fulano culpado
S: Sicrano culpado
2 Identificao, numerao e representao simblica das premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento.

P1: Se Fulano culpado, ento Beltrano culpado.
P2: Se Fulano inocente, ento ou Beltrano culpado, ou Sicrano culpado,
ou ambos, Beltrano e Sicrano, so culpados.
P3: Se Sicrano inocente, ento Beltrano inocente.
P4: Se Sicrano culpado, ento Fulano culpado.

2.2 Representao simblica das premissas do argumento

P1: F B
P2: ~F (B v S)
P3: ~S ~B
P4: S F

3 Considerar que as premissas sejam todas verdadeiras e com o
conhecimento das tabelas-verdade dos conectivos, atribuir valor lgico V ou F para as
proposies simples das proposies compostas que compem o argumento.





4 Construo de uma tabela prtica e com base no 3 procedimento valorizar
as proposies simples das proposies compostas que compem o argumento.

Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P1 F V P1 B V
P2 ~F F P2 B V
P2 S V - - -
P3 ~S F P3 ~B F
P4 S V P4 F V

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.
Premissa
Afirmao Negao
B: V ~B: F
F: V ~F: F
S: V ~S: F

6 Representao simblica das alternativas da questo

a) ~F ^ ~B ^ ~S
b) F ^ B ^ ~S
c) F ^ ~B ^ ~S
d) ~F ^ B ^ S
e) F ^ B ^ S

7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.

P1: F (V) B (V) V
P2: ~F (F) (B (V) v S (V) ) V
P3: ~S (F) ~B (F) V
P4: S (V) F (V) V

7.2 Valores lgicos das alternativas da questo.

a) ~F (F) ^ ~B (F) ^ ~S (F) F
b) F (V) ^ B (V) ^ ~S (F) F
c) F (V) ^ ~B (F) ^ ~S (F) F
d) ~F (F) ^ B (V) ^ S (V) F
e) F (V) ^ B (V) ^ S (V) V

8 Resposta: A partir dos valores lgicos das proposies simples devemos
encontrar qual a alternativa que possui valor lgico necessariamente verdadeira..

A alternativa necessariamente verdadeira a letra E.
03.(AFC/CGU 2003/2004 ESAF) Homero no honesto, ou Jlio justo.
Homero honesto, ou Jlio justo, ou Beto bondoso. Beto bondoso, ou Jlio no
justo. Beto no bondoso, ou Homero honesto. Logo,

a) Beto bondoso, Homero honesto, Jlio no justo.
b) Beto no bondoso, Homero honesto, Jlio no justo.
c)) Beto bondoso, Homero honesto, Jlio justo.
d) Beto no bondoso, Homero no honesto, Jlio no justo.
e) Beto no bondoso, Homero honesto, Jlio justo.

1. Identificao e representao por letras das proposies simples do
argumento.

B: Beto bondoso
H: Homero Honesto
J: Jlio justo.
2 Identificao, numerao e representao simblica das premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento.
P1: Homero no honesto, ou Jlio justo.
P2: Homero honesto, ou Jlio justo, ou Beto bondoso.
P3: Beto bondoso, ou Jlio no justo.
P4: Beto no bondoso, ou Homero honesto.

2.2 Representao simblica das premissas do argumento

P1: ~H v J
P2: H v J v B
P3: B v ~J
P4: ~B v H
3 Considerar que as premissas sejam todas verdadeiras e com o
conhecimento das tabelas-verdade dos conectivos, atribuir valor lgico V ou F para as
proposies simples das proposies compostas que compem o argumento.






4 Construo de uma tabela prtica e com base no 3 procedimento valorizar
as proposies simples das proposies compostas que compem o argumento.

Premissa Proposio Valor Lgico Premissa Proposio Valor Lgico
P1 ~H F P1 J V
P2 H V P2 J V
P2 B V - - -
P3 B V P3 ~J F
P4 ~B F P4 H V

5 Resumir e verificar se o resultado obtido na tabela prtica est correto,
ou seja, se no h nenhuma contradio, isto , uma mesma proposio simples com
valor lgico V e F.
Premissa
Afirmao Negao
B: V ~B: F
H: V ~H: F
J: V ~J: F


6 Representao simblica das alternativas da questo

a) B ^ H ^ ~J
b) ~B ^ H ~J
c) B ^ H ^ J
d) ~B ^ ~H ^~J
e) ~B ^ H ^J

7 Colocao dos valores lgicos obtidos na tabela prtica nas representaes
simblicas das premissas do argumento e nas alternativas da questo.

7.1 Valores lgicos das premissas do argumento.

P1: ~H (F) v J (V) V
P2: H (V) v J (V) v B (V) V
P3: B (V) v ~J (V) V
P4: ~B (F) v H (V) V

7.2 Valores lgicos das alternativas da questo.

a) B (V) ^ H (V) ^ ~J (F) F
b) ~B (F) ^ H (V) ~J (F) F
c) B (V) ^ H (V) ^ J (V) V
d) ~B (F) ^ ~H (F) ^ ~J (F) F
e) ~B (F) ^ H (V) ^J (V) F
8 Resposta: A partir dos valores lgicos das proposies simples devemos
encontrar qual a alternativa que possui valor lgico necessariamente verdadeira..

A alternativa necessariamente verdadeira a letra C.
Encadeamento Lgico
Em estrutura lgica de relaes a questo em que as premissas do argumento
forem somente proposies condicionais poder ser resolvida por encadeamento
lgico.
O encadeamento lgico feito modificando as premissas de forma que, a
segunda parte da condicional de uma premissa seja igual primeira parte da
condicional da premissa seguinte.
Ex.: 2 P = 1 P subsequente sem alterar o valor lgico da premissa.
Durante a execuo do encadeamento lgico, muito provavelmente
teremos que usar a seguinte equivalncia (P Q) = (~Q ~P).
Podemos memorizar essa equivalncia com o inverte-se a ordem das
proposies simples e trocam-se os sinais ou apenas inverte e troca.

Invertendo e trocando

Ex.: P1: ~D B P2: E D
P2: E D P3: D ~E
P3: D ~E P4: ~E ~B
P4: ~E ~B P1: ~D B

Encadeamento Lgico: E D ~E ~B D

Atentamos que, quando h uma disjuno dentro de uma condicional,
sempre devemos considerar esta disjuno como o primeiro termo ou o ltimo
termo do encadeamento.
Invertendo e trocando

Ex.:
P1: FU B P2: ~ ( B v S) FU
P2: ~FU (B v S) P1: FU B
P3: ~S B P3: B S
P4: S FU P4: S FU

Encadeamento Lgico: ~B v S FU B S FU

Procedimentos do Mtodo do Encadeamento Lgico.

1- Identificar representar por letras as proposies simples do argumento

2 Identificar, numerar e representar simbolicamente as premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento

2.2 Representao simblica das premissas do argumento

3 Observar se h disjuno dentro de uma condicional . Se houver, considerar
esta disjuno como primeiro termo (incio) ou como ltimo termo do encadeamento
lgico.
Ex: ~FU (B v S)

4 Encandear logicamente modificar as proposies simples das premissas
do argumento de forma que, a segunda parte da condicional de uma premissa seja
igual primeira parte da condicional da premissa seguinte.

Modificar P= 2 P = 1 P

Premissa Inverte e Troca






Encadeamento:

Para solucionar este procedimento necessrio encontrar entre as premissas
o primeiro ponto de partida.

5 Lembrar que, uma proposio condicional s falsa quando a primeira parte
verdadeira e a segunda falsa.

6 Construir uma tabela para valorizao das premissas do encadeamento, at
que a ltima linha tenha todos os valores lgicos falso.


Linha Premissas









7 Descartar linhas de contradio.
8 Colocar os valores lgicos obtidos da linha no descartada e fazer a
traduo.

9 A alternativa necessariamente verdadeira ser aquela que se enquadrar
com a traduo feita no procedimento anterior.
Exemplo:

01.(Fiscal do Trabalho 2003 ESAF) Se no durmo, bebo. Se estou furioso,
durmo. Se durmo, no estou furioso. Se no estou furioso, no bebo. Logo,

a) no durmo, estou furioso e no bebo
b) durmo, estou furioso e no bebo
c) no durmo, estou furioso e bebo
d)) durmo, no estou furioso e no bebo
e) no durmo, no estou furioso e bebo
1- Identificao e representao por letras as proposies simples do
argumento
D: Durmo
B: Bebo
Fu: Furioso

2 Identificao, numerao e representao simblica as premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento
P1: Se no durmo, bebo.
P2: Se estou furioso, durmo.
P3: Se durmo, no estou furioso.
P4: Se no estou furioso, no bebo.

2.2 Representao simblica das premissas do argumento
P1: ~D B
P2: FU D
P3: D ~FU
P4: ~FU ~B
3 Observar se h disjuno dentro de uma condicional . Se houver, considerar
esta disjuno como primeiro termo (incio) ou como ltimo termo do encadeamento
lgico.
Ex: ~FU (B v S)













4 Encandear logicamente modificar as proposies simples das premissas
do argumento de forma que, a segunda parte da condicional de uma premissa seja
igual primeira parte da condicional da premissa seguinte.

Modificar P= 2 P = 1 P

Premissa Inverte e Troca
P1: ~D B P2: FU D
P2: FU D P3: D ~FU
P3: D ~FU P4: ~FU ~B
P4: ~FU ~B P1: ~B D


Encadeamento: FU D ~FU ~B D

Para solucionar este procedimento necessrio encontrar entre as premissas
o primeiro ponto de partida.

5 Lembrar que, uma proposio condicional s falsa quando a primeira parte
verdadeira e a segunda falsa.

6 Construo de uma tabela para valorizao das premissas do
encadeamento, at que a ltima linha tenha todos os valores lgicos falso.


Linha Premissas
FU D ~FU ~B D -
1 V V V V V -
2 F V V V V -
3 F F V V V -
4 F F F V V -
5 F F F F V -
6 F F F F F -
7 -

7 Descarte de linhas de contradio.
1, 3, 4, 5 e 6 linha
8 Colocao dos valores lgicos obtidos na linha no descartada nas
premissas do encadeamento lgico e fazer a traduo.
FU falso, ento estou furioso falso.
D verdadeiro, durmo verdadeiro
~FU verdadeiro, ento no estou furioso verdadeiro.
~B verdadeiro, ento no bebo verdadeiro
9 A alternativa necessariamente verdadeira ser aquela que se enquadrar
com a traduo feita no procedimento anterior.
Resposta: A alternativa necessariamente verdadeira a letra D.

02.(MPU Administrativa 2004 ESAF) Se Fulano culpado, ento Beltrano
culpado. Se Fulano inocente, ento ou Beltrano culpado, ou Sicrano culpado, ou
ambos, Beltrano e Sicrano, so culpados. Se Sicrano inocente, ento Beltrano
inocente. Se Sicrano culpado, ento Fulano culpado. Logo,
a) Fulano inocente, e Beltrano inocente, e Sicrano inocente.
b) Fulano culpado, e Beltrano culpado, e Sicrano inocente.
c) Fulano culpado, e Beltrano inocente, e Sicrano inocente.
d) Fulano inocente, e Beltrano culpado, e Sicrano culpado.
e) Fulano culpado, e Beltrano culpado, e Sicrano culpado.
1- Identificao e representao por letras das proposies simples do
argumento

FU: Fulano culpado.
B: Beltrano culpado.
S: Sicrano culpado

2 Identificao, numerao, e representao simblica as premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento.
P1: Se Fulano culpado, ento Beltrano culpado.
P2: Se Fulano inocente, ento ou Beltrano culpado, , ou Sicrano culpado,
ou ambos, Beltrano e Sicrano, so culpados.
P3: Se Sicrano inocente, ento Beltrano inocente.
P4: . Se Sicrano culpado, ento Fulano culpado.
2.2 Representao simblica das premissas do argumento.
P1: FU B
P2: ~FU [B v S]
P3: ~S ~B
P4: S FU
3 Observar se h disjuno dentro de uma condicional . Se houver, considerar
esta disjuno como primeiro termo (incio) ou como ltimo termo do encadeamento
lgico.
Ex: ~FU (B v S)







4 Encandear logicamente modificar as proposies simples das premissas
do argumento de forma que, a segunda parte da condicional de uma premissa seja
igual primeira parte da condicional da premissa seguinte.

Modificar P= 2 P = 1 P

Premissa Inverte e Troca
P1: FU B P2: ~ [ B v S] FU
P2: ~FU [B v S] P1: FU B
P3: ~S ~B P3: B S
P4: S FU P4: S FU


Encadeamento: ~ [ B v S] FU B S FU

Para solucionar este procedimento necessrio encontrar entre as premissas
o primeiro ponto de partida.

5 Lembrar que, uma proposio condicional s falsa quando a primeira parte
verdadeira e a segunda falsa.

6 Construo de uma tabela para valorizao das premissas do
encadeamento, at que a ltima linha tenha todos os valores lgicos falso.


Linha Premissas
~ [ B v S] FU B S FU -
1 V V V V V -
2 F V V V V -
3 F F V V V -
4 F F F V V -
5 F F F F V -
6 F F F F F -
7 - - - - - -

7 Descarte de linhas de contradio.
1, 3, 4, 5 e 6 .

8 Colocar os valores lgicos obtidos na linha no descartada nas premissas
do encadeamento lgico e fazer a traduo.

~ [ B v S] falsa, ento Beltrano ou Sicrano no inocente.
FU verdadeiro, ento Fulano culpado
B verdadeiro, ento Beltrano culpado.
S verdadeiro, ento Sicrano culpado.
9 A alternativa necessariamente verdadeira ser aquela que se enquadrar
com a traduo feita no procedimento anterior

Resposta: A alternativa necessariamente verdadeira a letra E.

3 Tabela da Verdade.
Em questo de estrutura lgica de relaes em que as premissas do
argumento forem somente proposies condicionais, poderemos adotar os
procedimentos do mtodo da tabela da verdade a seguir para soluo da questo.

O uso mtodo da tabela da verdade para soluo de questo de estrutura
lgica de relaes aconselhvel para no mximo quatro proposies simples.

A colocao de proposies simples e compostas nas colunas da tabela-
verdade obedecem as mesmas colocao do argumento.

Procedimentos do Mtodo da Tabela da Verdade.

1 Identificar e representar por letras as proposies simples do argumento

2 Identificar, numerar e representar simbolicamente as premissas do
argumento.

3 Construir uma tabela-verdade com colunas para proposies simples e
compostas do argumento.

4 Verificar qual a linha da tabela-verdade em que as proposies compostas
do argumento apresentam valor lgico verdadeiro. Nesta linha analisaremos os
valores lgicos das proposies simples do argumento, exceto negao.

5 A alternativa necessariamente verdadeira o resultado da anlise das
proposies simples que compem o argumento,
























Exemplo:

(AFC/STN 2005 ESAF) Se Pedro no bebe, ele visita Ana. Se Pedro bebe, ele
l poesias. Se Pedro no visita Ana, ele no l poesias. Se Pedro l poesias, ele no
visita Ana. Segue-se, portanto que, Pedro:

a) bebe, visita Ana, no l poesias.
b)) no bebe, visita Ana, no l poesias.
c) bebe, no visita Ana, l poesias.
d) no bebe, no visita Ana, no l poesias.
e) no bebe, no visita Ana, l poesias.

1 Identificar e representar por letras as proposies simples do argumento.

A: Pedro visita Ana.
B: Pedro bebe.
L: Pedro l poesias.

2 Identificar, numerar e representar simbolicamente as premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento.

P1: Se Pedro no bebe, ele visita Ana.
P2: Se Pedro bebe, ele l poesias.
P3: Se Pedro no visita Ana, ele no l poesias.
P4: Se Pedro l poesias, ele no visita Ana.

2.2 Representao simblica das premissas do argumento.

P1: ~B A
P2: B L
P3: ~A ~L
P4: L ~A

3 Construir uma tabela-verdade com colunas para proposies simples e
compostas do argumento.

P1 P2 P3 P4
B A L ~B ~ A ~L ~B A B L ~A ~L L ~A
V V V F F F V V V F
V V F F F V V F V V
V F V F V F V V F V
V F F F V V V F V V
F V V V F F V V V F
F V F V F V V V V V
F F V V V F F V F V
F F F V V V F V V V

4 Verificar qual a linha da tabela-verdade em que as proposies compostas
do argumento apresentam valor lgico verdadeiro. Nesta linha analisaremos os
valores lgicos das proposies simples do argumento, exceto negao.

Anlise da linha 6 dos valores lgicos.

Pedro bebe falso, ento Pedro no bebe e verdadeiro.
Pedro visita Ana verdadeiro, ento Pedro no visita Ana falso.
Pedro l poesias falso, ento Pedro no l poesias verdadeiro

5 A alternativa necessariamente verdadeira o resultado da anlise das
proposies simples que compem o argumento.

Resposta: A alternativa necessariamente verdadeira a letra B.

4 Teste de Validade de argumentos.

Em estrutura lgica de relaes, o 4 mtodo de teste de validade de
argumentos aconselhvel, se algumas ou todas as alternativas da questo
apresentarem conectivos que no sejam conjuno e.
O 4 mtodo de teste de validade de argumentos consiste em verificar a
existncia simultnea de concluso falsas e premissas verdadeiras.
A resposta da questo de estrutura lgica de relaes solucionada pelo 4
mtodo de teste de validade de argumentos ser a alternativa em que a existncia da
concluso falsa e premissas verdadeiras no for possvel.

Procedimentos do Teste de Validade de Argumentos.

1 Identificar e representar por letras as proposies simples do argumento.
2 Identificar, numerar e representar simbolicamente as premissas do
argumento.
3 Representar simbolicamente as alternativas da questo.
4 Obedecendo a ordem de precedncia dos conectivos, exceto conjuno,
realizar teste com as alternativas da questo e verificar a existncia simultnea de
concluso falsa e premissas verdadeiras.
Nota: para resolvemos este procedimento temos que considerar a
concluso como falsa e nos perguntar quando o conectivo de ligao falso.
Ex. P v J
Sabemos que a disjuno v s falsa quando ambas as partes forem
falsas, ento P falso e J falso e a concluso falsa tambm.
5 Construir uma tabela prtica e com o resultado do teste das alternativas da
questo valorizar as proposies simples das premissas que compem o argumento.
Nota: para solucionarmos este procedimento temos que verificar a linha
em que a existncia da concluso falsa e premissas verdadeiras no for
possvel.
6 Verificar a existncia de contradio nos conectivos da tabela prtica.
7 7 A resposta ser a alternativa de teste em que, a existncia da
concluso falsa e premissas verdadeiras no for possvel.


Exemplo:
1 (Fiscal Trabalho 98 ESAF) Se Lus estuda Histria, ento Pedro estuda
Matemtica. Se Helena estuda Filosofia, ento Jorge estuda Medicina. Ora, Lus
estuda Histria ou Helena estuda Filosofia. Logo, segue-se necessariamente que:

a)) Pedro estuda Matemtica ou Jorge estuda Medicina
b) Pedro estuda Matemtica e Jorge estuda Medicina
c) Se Lus no estuda Histria, ento Jorge no estuda Medicina
d) Helena estuda Filosofia e Pedro estuda Matemtica
e) Pedro estuda Matemtica ou Helena no estuda Filosofia

1 Identificao e representao por letras das proposies simples do
argumento.
L: Lus estuda histria
P: Pedro estuda matemtica
H: Helena estuda filosofia
J: Jorge estuda medicina

2 Identificao, numerao e representao simblica das premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento.
P1: Se Lus estuda histria, ento Pedro estuda matemtica.
P2: Se Helena estuda filosofia, ento Jorge estuda Medicina.
P3: Lus estuda histria ou Helena estuda filosofia.

2.2 Representao simblica das premissas do argumento.
P1: L P
P2: H J
P3: L v H

3 Representao simblica das alternativas da questo.
a} P v J
b} P ^ J
c} ~L ~J
d} H ^ P
e} P v ~H

4 Obedecendo a ordem de precedncia dos conectivos, exceto conjuno,
realizar teste com as alternativas da questo e verificar a existncia simultnea de
concluso falsa e premissas verdadeiras.
Teste com a alternativa A: P v J
P falso, J falso e a concluso falsa tambm


5 Construo de uma tabela prtica e com o resultado do teste das
alternativas da questo valorizar as proposies simples das premissas que compem
o argumento.

Premissa Proposio Valor
Lgico
Premissa Proposio Valor
Lgico
Concluso
P1 L F P1 P F Verdadeira
P2 H F P2 J F Verdadeira
P3 L F P3 H F Falsa



6 Verificao de existncia de contradio nos conectivos da tabela prtica
H: F ~H: V
J: F ~J: V
L: F ~L: V
P: F ~P : V


7 A resposta ser a alternativa de teste em que, a existncia da concluso
falsa e premissas verdadeiras no for possvel.

Resposta: A Alternativa necessariamente verdadeira a letra A.






















2 (ANEEL 2004 ESAF) Se no leio, no compreendo. Se jogo, no leio. Se
no desisto, compreendo. Se feriado, no desisto. Ento,

a)) se jogo, no feriado.
b) se no jogo, feriado.
c) se feriado, no leio.
d) se no feriado, leio.
e) se feriado, jogo.

1 Identificao e representao por letras das proposies simples do
argumento.
L: leio
C: Compreendo
J: Jogo
D: Desisto
F: Feriado

2 Identificao, numerao e representao simblica das premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento.
P1: Se no leio, no compreendo
P2: Se jogo, no leio.
P3: Se no desisto, compreendo.
P4: Se feriado, no desisto.

2.2 Representao simblica das premissas do argumento.
P1: ~L ~C
P2: J ~L
P3: ~D C
P4: F ~D

3 Representao simblica das alternativas da questo.
a} J ~F
b} ~J F
c} F ~L
d} ~F L
e} F J

4 Obedecendo a ordem de precedncia dos conectivos, exceto conjuno,
realizar teste com as alternativas da questo e verificar a existncia simultnea de
concluso falsa e premissas verdadeiras.
Teste com a alternativa A: J ~F
J falso, ~F falso e a concluso tambm falsa.

5 Construo de uma tabela prtica e com o resultado do teste das
alternativas da questo valorizar as proposies simples das premissas que compem
o argumento.

Premissa Proposio Valor
Lgico
Premissa Proposio Valor
Lgico
Concluso
P1 ~L V P1 ~C V V
P2 J F P2 ~L V V
P3 ~D V P3 C V V
P4 F V P4 ~D V V


6 Verificao da existncia de contradio nos conectivos da tabela prtica.

6 Verificao de existncia de contradio nos conectivos da tabela prtica
L: F ~L: V
C: V ~C: V
J: V ~J: F
D: F ~D: V
F: V ~F: F

Houve contradio entre as proposies C e ~C, ambas com valor lgico V nas
linhas P1 e P3.

7 A resposta Ser a alternativa em que a existncia da concluso falsa e
premissas verdadeiras no for possvel.

Resposta: A alternativa necessariamente verdadeira a letra A.













3 (Fiscal Trabalho 98 ESAF) Se Pedro inocente, ento Lauro inocente. Se
Roberto inocente, ento Snia inocente. Ora, Pedro culpado ou Snia culpada.
Segue-se logicamente, portanto, que:

a) Lauro culpado e Snia culpada
b) Snia culpada e Roberto inocente
c)) Pedro culpado ou Roberto culpado
d) Se Roberto culpado, ento Lauro culpado
e) Roberto inocente se e somente se Lauro inocente

1 Identificao e representao por letras das proposies simples do
argumento.
P: Pedro inocente.
L: Lauro inocente.
R: Roberto inocente.
S: Snia inocente.

2 Identificao, numerao e representao simblica das premissas do
argumento.

2.1 Identificao e numerao das premissas do argumento.
P1: Se Pedro inocente, ento Lauro inocente.
P2: Se Roberto inocente, ento Snia inocente.
P3: Pedro culpado ou Snia culpada.

2.2 Representao simblica das premissas do argumento.
P1: P L
P2: R S
P3: ~P v ~S

3 Representao simblica das alternativas da questo.
a} ~L ^ ~S
b} ~S ^ R
c} ~P v ~R
d} ~R ~L
e} R L

4 Obedecendo a ordem de precedncia dos conectivos, exceto conjuno,
realizar teste com as alternativas da questo e verificar a existncia simultnea de
concluso falsa e premissas verdadeiras.
Teste com a alternativa C: ~P v ~R
~P falso, ~R falso e a concluso falsa tambm



5 Construo de uma tabela prtica e com o resultado do teste das
alternativas da questo valorizar as proposies simples das premissas que compem
o argumento.

Premissa Proposio Valor
Lgico
Premissa Proposio Valor
Lgico
Concluso
P1 P V P1 L V Verdadeira
P2 R V P2 S V Verdadeira
P3 ~P F P3 ~S F Falsa



6 Verificao da existncia de contradio nos conectivos da tabela prtica.

6 Verificao de existncia de contradio nos conectivos da tabela prtica
P: V ~P: F
L: V ~L: F
R: V ~R F
S: V ~S: F


7 A resposta Ser a alternativa em que a existncia da concluso falsa e
premissas verdadeiras no for possvel.

Resposta: A alternativa Necessariamente verdadeira a letra C.

Você também pode gostar