Formalização de argumentos

Formalização de argumentos

1.Formalize os seguintes argumentos na linguagem proposicional. (exemplos retirados do livro Introdução à Lógica, de I. Copi, pp. 249-250)

a)(0,5 pontos) Se Allen se retira do concurso, então, Brown será nomeado ou Clark ficará desapontado. Brown não será nomeado. Portanto, se Allen se retira do concurso, então Clark ficará desapontado.

p = Se Allen se retira do concurso. q = Então, Brown será nomeado. r = Clark ficará desapontado

R: p → (q ∨ r); ¬p = q → r p→(q v r)
¬q
__________ p→ r

b)(0,5 pontos) Se o contrato for adjudicado a Davis, então, Edwards ganhará bom dinheiro no próximo ano. Se o contrato for adjudicado a Davis, então, French sofrerá reveses financeiros. Portanto, se Edwards ganhar bom dinheiro no próximo ano, então, French sofrerá reveses financeiros.

p = Se o contrato for adjudicado a Davis. q = Edwards ganhará bom dinheiro no próximo ano. p = French sofrerá reveses financeiros.
R: p → q, p → r = q → r
c)(0,5 pontos) Se Graham está no campo de golfe, então, Harvey está de serviço no hospital, e Ives deve ter mudado a sua política. Harvey não está de serviço no hospital. Portanto, Graham não está no campo de golfe.

p = Se Graham está no campo de golfe. q = Então, Harvey está de serviço no hospital.
R = Portanto, Graham não está no campo de golfe.
R: p ¬ q → r

d)(0,5 pontos) Se Jones descobre a conspiração, e se der valor à sua vida, então abandonará o país. Ele dá valor à sua vida. Portanto, se Jones descobre a conspiração, então, abandonará o país.

p = Jones descobre a conspiração. q = Jones der valor a sua vida. r = Jones então abandonará o país.

R: (p ∧ q) → r q p → r

e)(0,5 pontos) Se Kelly consegue arranjar um carro emprestado, e se for pela auto-estrada, então, chegará antes de esgotado o prazo. Kelly chegará antes de esgotado o prazo. Portanto, se Kelly consegue arranjar um carro emprestado, então vai pela auto-estrada.

p = Se kelly consegue arranjar um carro