la vida

EJERCICIOS NAVIDEÑOS DE DERIVACIÓN
A) DERIVAR UTILIZANDO SÓLO LA REDUCCIÓN AL ABSURDO.
 1. s  p
 2. ( s  ¬ r )  ( p  r )

⊢¬(ps)

 1. s  p
 2. r  ¬ p
 3. t  ¬ r

⊢¬s¬t

1. p  ¬ q
 2. r  q

⊢¬(pq)

 1. ( ¬ q  ¬ p )  ( ¬ p  q )

⊢q

B) DERIVAR POR CUALQUIER PROCEDIMIENTO
 1. p  ¬ s
 2. ¬ r  s

⊢¬pr

 1. ¬ ( r  s )
 2. q  s

⊢r¬q

1. s  r
 2. s  p
 3. p  q
 4. r  t

⊢¬qt

 1. ¬ s  t  p
 2. r  ¬ s

⊢rt

 1. s  (¬ p  t )
 2. t  q  r

⊢p(¬qr)

 1. p  q
 2. q  r
 3. r  s  t⊢¬s¬t¬p

C) FORMALIZA Y DERIVA LOS SIGUIENTES ARGUMENTOS
 Si el tabaco produce cáncer, entonces si los jóvenes empiezan a fumar ahora con
menos edad que en el pasado, habrá una mayor proporción de individuosjóvenes que contraigan cáncer. Pero aunque la gente empieza a fumar con menos
edad que en el pasado, no es cierto que haya una mayor proporción de jóvenes
con cáncer. Por tanto, el tabaco noproduce cáncer.
 Si el primer miembro de una disyunción es verdadero, entonces la disyunción
total es verdadera. Luego si tanto el primer miembro de una disyunción como el
segundo son verdaderos, ladisyunción en su conjunto será verdadera.
 Si Dios existe, entonces o existe el pecado o e posible vislumbrar la Gracia de
Dios. Si existe el pecado, entonces es posible vislumbrar la Gracia de Dios,y, si
esto pasa, el entendimiento humano no es tan limitado como creía Agustín de
Hipona. Luego la existencia de Dios es causa suficiente para que el
entendimiento humano no sea tan limitado comoafirmaba Agustín.

 El corazón de un hombre expulsa en una hora un volumen de sangre cuyo peso
es mayor que el de su propio cuerpo. Si esto es así, y la sangre sólo fluye del
corazón haciafuera, entonces el corazón genera más sangre en una hora que el
peso de un hombre. Pero el corazón no puede hacer esto. Si la sangre no fluye
sólo hacia fuera, entonces debe circular a lo largo...