Respostas do exercício

Patrick J. Hurley, Uma Introdução Concisa à Lógica, 11ª ed.,

2012.
Keith Burgess-Jackson
15 Novembro 2011

Seção 6.3, Parte I:

1. Tautólogo
2. Contingente
3. Auto-contraditório
4. Contingente
5. Auto-contraditório
6. Tautólogo
7. Tautólogo
8. Contingente
9. Contingente
10. Auto-contraditório
11. Auto-contraditório
12. Tautólogo
13. Auto-contraditório
14. Tautólogo
15. Contingente

Secção 6.3, Parte II:

1. Logicamente equivalente; consistente
2. Inconsistente; contrários
3. Consistente; subcontrários
4. Contraditório; inconsistente
5. Logicamente equivalente; consistente
6. Contraditório; inconsistente
7. Consistente
8. Inconsistente; contrários
9. Logicamente equivalente; consistente
10. Inconsistente; contrários
11. Contraditório; inconsistente
12. Consistente; superalternados
13. Logicamente equivalente; consistente
14. Inconsistente; contrários
15. Contraditório; inconsistente

Secção 6.5, Parte II:

1. Válido (uma linha necessária)
2. Inválido (uma linha)
3. Válido (uma linha)

1
4. Inválido (duas linhas)

2
5. Válido (uma linha)
6. Inválido (uma linha)
7. Válido (uma linha)
8. Inválido (uma linha)
9. Válido (duas linhas)
10. Inválido (duas linhas)
11. Válido (uma linha)
12. Válido (uma linha)
13. Válido (uma linha)
14. Inválido (três linhas)
15. Inválido (três linhas)

Secção 6.5, Parte III:

1. Inconsistente (uma linha necessária)
2. Consistente (uma linha)
3. Inconsistente (uma linha)
4. Consistente (duas linhas; Hurley usou três linhas)
5. Consistente (três linhas)
6. Inconsistente (uma linha)
7. Inconsistente (uma linha)
8. Consistente (três linhas)
9. Inconsistente (três linhas)
10. Consistente (três linhas)

Seção 7.4, Parte III: 2.

1. T• (F v F)
2. ~(F
3. ~F • F)
/ ~T
2, Taut
4. T• F 1, Taut
5. ~T 3, 4º,
MT
3.
1. G• E
2. H• ~E / G• ~H
3. ~E • ~G 1, Trans
4. H• ~G 2, 3, SH
5. ~~G • ~H 4, Trans
6. G- ~H 5º, DN

/ G• ~H

3
1.Prova
3. G •Ealternativa (mais
2. H - ~E
curta)
3. ~~E • ~H 2, Trans
4. E• ~H 3, DN
5. G• ~H 1, 4, SH

5.
1. ~N v P
2. (N • P) •T / O
3. N• P 1, Impl
4. T 2, 3º, MP

6.
1. F•B
2. B• (B • J) / F•J
3.
4.
(B • B)
B•J
• J
2, Exp
3, Taut
5. F•J 1, 4, SH

8.
1. Q• (F • A)
2. R• (A. • F)
3. / F =A
4. Q•
Q R 3, Simp
5. F•A 1, 4º, MP
6.
7. R•
R Q
3º, Com
6, Simp
8. A. •F 2, 7º, MP
5, 8º,
9.
10
(F • A)
. F =A
• (A. • F) Conj 9, Equiv

9.
1. T• (~T v G)
2. ~G / ~T
3. ~T v (~T v G) 1, Impl
4. (~T v ~T) v G 3, Assoc
5. ~T v G 4, Taut
6. G V ~T 5º, Com
7. ~T 2, 6º, DS

11.
1.
(J • R)
2. (R • H) •M
H•
3. ~(P v ~J)
4.
•
/ M ~P
3, DM
~P •
~~J

4
 5. ~P 4,Simp
6. J• (R • H) 1, Exp
7. 4,Com
8. ~~J
~~J • ~P 7,Simp
9. J 8,DN
10 . R•H 6 9º, MP
11 . M ,
2,10, MP
12
12.
. M ~P• 5,11, Conj

1. T / S•T
2. T V ~S 1,
3. ~S v T Adicion
2, Com
4. S—T 3, Impl
Ponto 7.5, Parte I:

2.
1. F•E
2.
(F 3• E)
F
•R / F• R
ACP
4 E 1, 3, PARL
.5 AMEN
.6 F
R E • 3, 4,Conj
2, 5, PARL
7. F•. R AMEN
3-6, CP

3.
1. G•T
2. (T V S) •K / G•K
3. G ACP
4. O 1, 3º,
5. T v S 4,
Adicionar
6. K 2, 5º,
MP
7. G• K 3-6, PC

5.
1. A • ~(A v E) / A• F
2. A ACP
3. ~(A v E) 1, 2º,
MP 3, DM
4.
5. ~A
~A •~E 4, Simp
6. A v F 2,
7. F 5, 6º,
8. A •F DS 2-7, CP

5
5. Prova direta
1. A • ~(A v E) / A• F
2. ~A v ~(A v E) 1, Impl

3. ~A v (~A •
~E)
2, DM
4.
5. (~Av v~A~A)
~A •
(~A v ~E)
3, Dist
4, Simp
6. ~A 5º, Taut
7. ~A v F 6, Adicionar
8. A •F 7, Impl
6.
1. J • (K • L)
2. J • (M • L)
3. ~L / J• ~(K v M)
4. J ACP
5. K •L 1, 4º, MP
6. ~K 3, 5º, MT
7. M •L 2, 4º, MP
8. ~M 3, 7º, MT

9.
10.~K •
~MM)
~(K v
6, 8º, Conj
9, DM
11. J• ~(K v M) 4-10, CP

8. (Tabela verdade indireta comprova validade em uma linha)

1 P• (Q V R)
2 (P • R) • (S • T)
.
3 Q•R / O
. 4. P ACP
5. QV R 1, 4º, MP
6. RVQ 5º, Com
7. ~~ RVQ 6, DN
8. ~ R•Q 7, Impl
9. ~ R•R 3, 8º, SH
10. ~~ RV R 9, Impl
11. RV R 10, DN
12. R 11, Taut
1 . P •R 4-12, CP
3 . S• O
1 2, 13, MP
4 . T• S
1 14, Com
1 . T 15, Simp
6
9.

6
1.
2.
H • (I • N)
(H • ~I) • (M v N)
4. (F • G) • H

3. ~N 5. [H • (F • G)] •
4. H
5. I •N
[(F • G)
6. ~Eu 6. H • (F • G)
7. H • ~I Eu 7. F
8. M v N 8. G
9. N v M / O
10. M ACP

11.
1. M • (K • L)
2. (L v N) •J
3. M
4. K •L
5. K
6. L
7. L v N
8. J
9. K •J
10. M • (K • J)

12.

1. F • (G H) •
2. A. •F

3. A. • (G • H)
4. ~A V (G • H)

5. (~A v G) • (~A v H)

6. (~A v H) • (~A
v G)
7. ~A v H
8. A. •H
9. (A. • F) • (A. • H)

14.

1. (F •
G) = H
2. F •G

3. [(F • G) • H] • [H • (F

7
 Seção 6.3, Parte I:..................1
Secção 6.3, Parte II:...............1
Secção 6.5, Parte II:...............1
Secção 6.5, Parte III:..............2
Seção 7.4, Parte III: 2.............3
11........................................7
12........................................7
14........................................7

5-8, CP
3-9, CP

/ (A. • F) • (A. •
H)
ACP
1, 2, SH
3, Impl
4, Dist
5, Com
6, Simp
7, Impl
8, 8º, CP

9, F = H
• G)] 1, Equiv
3, Simp
• H] 3, Com
5º, Simp
ACP
2, 7º, MP

8
 9. 7, 8, Conj
10. H 4, 9º, MP
. F•H 7-10, PC ACP
12. H 6, 12, MP
13, Simp 12-14, CP
13. F •G F) 11, 15, Conj
14. F
16, Equiv
. H•F

. (F • H) • (H • Seção 6.3, Parte I: 1

Secção 6.3, Parte II:....................1
Secção 6.5, Parte II:....................1
Secção 6.5, Parte III:..................2
Seção 7.4, Parte III: 2.................3
11............................................7
12............................................7
14............................................7
3.
4. E
5. D
6. D •F
7. F
8. E •F / (P • Q) • (N • S)
. C• (E • F) ACP
ACP
1, 4º, MP
Seção 6.3, Parte I:.......................1 5, Com
Secção 6.3, Parte II:....................1 6, Simp
3, 7, PARLAMENTAR
Secção 6.5, Parte II:....................1
2, 8, PARLAMENTAR
Secção 6.5, Parte III:..................2 9, Com
Seção 7.4, Parte III: 2.................3 10, Simp 4-11, CP
S)
11............................................7 3-12, PC
12............................................7
14............................................7

7-10, CP
3-11, PC H) / (E • H) • J

9
4. E H ACP
5. E • 4, Simp
6. F • G 1, 5º, MP
7. H • E 4, Com
8. H 7, Simp
9. G • Eu 2, 8º,
10. F • Eu MP
6, 9º, SH
11. J v ~H 3, 10,
12. ~H v J MP Com
11,
13. H • J 12, Impl
14. J 8, 13, MP
15. (E • H) • J 4-14, CP
20.

1. A. - [B - (C ~D)] •
2 (B v E) • (D v E)
. B /
ACP(A • B) • (C •
3. A
4. A • 3, Simp
5. B • (C
Um ~D) • 1, 4º, MP
3º, Com
6.
7. B
B • 6, Simp
~D 5, 7º, MP
8.
9º.CC • 8º, Simp
10. B v E 7, Adicionar
11. D v E 2, 10, MP
12.
13. ~D
~D C • 8, Com
12, Simp
14. E 11, 13, DS
15. C
E
1 . (A • B)
• 9, 14, Conj
3-15, CP
6 (C • E)
•

1
0