AAV-1 FLM Altamir Gomes Bispo Junior 481904 G5 BSI UFSCar

Entrega da Lista de Exerccios

Obs.: as siglas e notaes foram usadas tal qual no livro da disciplina. R. 1 a) Identificao dos tomos: p: Deus existe, q: a vida tem significado. Construo do argumento: p q, p q. O argumento vlido (MP). b) Identificao dos tomos: p: hoje quinta-feira, q: amanh ser sexta-feira, r: depois de amanh ser

sbado. Construo do argumento: p q, q r p r. O argumento vlido (SH). c) Identificao dos tomos: p: hoje um fim de semana, q: hoje sbado, r: hoje domingo. Construo do argumento: p (q r), q, r p O argumento vlido (EE, C e equivalncia lgica). d) Identificao dos tomos: p: ela est em casa, q: ela est atendendo ao telefone, r: ela foi sequestrada, s:

ela est correndo algum outro perigo. Construo do argumento: p q, p r, q s r s. O argumento vlido (DC). R. 2 a) (1) p q premissa premissa premissa equivalncia lgica 2

(2) q r (3) s r (4) r q

(5) s q (6) q (7) s (8) p (9) p s

b) (1) p q

SH S MT S C

3, 4 1 5, 6 1 7, 8

premissa premissa premissa

(2) q r (3) p t

(4) t

premissa DC equivalncia lgica MT C 1, 2, 3 5 4, 6 4, 7

(5) r t (6) r t
(7) r

(8) r t
c) (1) p q

premissa premissa premissa

(2) q r (3) (p r) s

(4) s t (5) p r (6) s (7) t

d) (1) (p q) (p (s t))

premissa SH MP SD 1, 2 3, 5 4, 6

premissa premissa S AD 1 2, 3

(2) p r (3) p (4) p q

(5) p (s t) (6) s t (7) t (8) t u

R. 3

MP MP S AD

1, 4 3, 5 6 7

Identificao dos tomos: p: o universo finito, q: a vida curta, r: a vida vale a pena, s: a vida complexa, t: a vida tem sentido. a) Construo do argumento: p q, r s, (q s) t, t q.

(1) p q

premissa premissa premissa premissa MT equivalncia lgica S 3, 4 5 6

(2) r s (3) (q s) t
(4) t

(5) (q s) (6) q s
(7) q b)

Construo do argumento: p q, r s, (q s) t, t s p.

(1) p q

premissa premissa premissa premissa MT equivalncia lgica S AD 3, 4 5 6 7

(2) r s (3) (q s) t
(4) t

(5) (q s) (6) q s
(7) s

(8) s p
R. 4

Identificao dos tomos: p: chove, q: faz sol, r: Ana Maria est em casa, s: Ana Maria est na praia. Construo do argumento: p r, q s, (r s) (p q) (1) p r premissa premissa premissa equivalncia lgica S MT S 3 4 1, 5 4

(2) q s (3) (r s) (4) r s

(5) r (6) p (7) s

(8) q

MT C equivalncia lgica

2, 7 6, 8 9

(9) p q
(p q)

(10)

R. 5 possvel descobrir que os culos estavam na mesa do caf. Segue a prova. Identificao dos tomos: p: meus culos esto na mesa da cozinha, q: eu vi meus culos no caf da manh, r: eu estava lendo o jornal na sala de estar, s: eu estava lendo o jornal na cozinha, t: meus culos esto na mesa do caf, u: eu estava lendo um livro na cama, v: meus culos esto no criado mudo. Construo do argumento: p q, r s, r t, q, u v, s p p t v

(1) p q

premissa premissa premissa premissa premissa premissa MT MT SD 1, 4 6, 7 2, 8

(2) r s (3) r t
(4) q

(5) u v (6) s p
(7) p (8) s (9) r

(10)

MP

3, 9

Pela regra da adio, o argumento vlido, o que significa que a prova foi demonstrada corretamente.