EJERCICIOS DE DEDUCCIN NATURAL

MODUS PONENS 1.- p q 1 r s m 2 m p q 3 r s 2.- p t a 1 q *p t a] 2 m b r s 3 r s q 4 m b MODUS TOLLENS 3.- p q 1 r s a w 2 a w t 3 p q m b 3 t 4 m b r s 4.- r s 1 p q 2 r s b 3 a w p q 4 b a w 5.- a w 1 m b 2 a w *p r s] 3 *p r s+ m b 6.- p q 1 w r s 2 (a h) 3 t (m v b) 4 (r s) (a h) 5 (m v b) w 6 (p v q) t SILOGISMOS DISYUNTIVO 7.- p 1pvq 2 q v r 3 r v s 4 s v t 5 t 8.- p 1 (a w) 2 p v (q r) 3 (m t) v (a w) 4 (q r) v (m t) 9.- m 1 s v t 2 q v r 3mvs 4 t v q 5 r RESUMEN DE LAS ANTERIORES 10.- q 1 t s 2 w v a 3 t w 4 m 5avm 6 r s 7 r q 11.- n 1svm 2sq 3 w r 4 m 5qr 6wvt 7tn EX CONTRADICTIONE QUODLIBET 12.- m v n 1pvt 2 p (r v s) 3 t 4 p (r v s) 13.- b w 1mva 2 p 3 m 4ap 14.- w 1pq 2 s v r 3 q r 4 m v p 5 s 6 m INTRODUCCIN CONJUNCIN 15.- m b 1pm 2qb 3p 4q

16.- m t 1 w 2qt 3 m v b 4 a v w 5 q v m 6 r v a 7 b v r ELIMINACIN DE LA CONJUNCIN 17.- t 1 p (m t) 2qp 3bq 4bvr 5 r 18.- a w 1ma 2sw 3pq 4 p (m b) 5 q (r s) CONMUTATIVA DE LA CONJUNCIN

22.- a 1 p v q 2qvr 3 r s 4pt 5 w t 6 (w s) a 23.- p 1 p (q r) 2mvq 3svr 4 (s m) t 5 t w INTRODUCCIN DISYUNCIN 24.- m v b 1mvp 2pr 3 r 25.- a v w 1 p q 2 q t 3 t a 4ps IDEMPOTENCIA DISYUNCIN 26.- s 1 (p v q) (r v s) 2pvt 3 t v t 27.- a w 1 r v r 2 t v t 3 p v a 4 m v w 5 (p q) r 6 (m b) t CONMUTATIVA DISYUNCIN 28.- r V s 1 (s v r) p 2 p v m 3 m v a 4 a w 29.- b v m 1 (t r) (m v b) 2pvt 3qvr 4 (w v s) (p q) 5wvw

19.- a w 1 (r t) (w a) 2pr 3qt 4pq 20.- t 1 m v s 2 s (p q) 3 t (q p) 4am 5 a w RESUMEN DE LAS ANTERIORES 21.- w a 1 b (a w) 2pq 3mt 4qs 5 (r s) t 6mvb 7pr

RESUMEN DISYUNCIN 30.- t 1 (s v s) b 2 (q v p) (t v s) 3 (p v q) r 31.- b v m 1 t v t 2 q v p 3svr 4 s v t 5 a v p 6 (w v a) m 7 r v q TRANSITIVIDAD CONDICIONAL 32.- *(p v q) r+ *(m v b) s+ 1 t s 2 w r 3 (m v b) t 4 (p v q) w 33.- a w 1 t m 2 b q 3 r s 4 a p 5 q w 6 p r 7 m b 8 s t INTRODUCCIN BICONDICIONAL 34.- ps 1 t p 2 r s 3 p r 4st 35.- w p 1wp 2 a w 3 m a 4 s m 5 t s 6 q t 7 p q

ELIMINACIN BICONDICIONAL 36.- w 1pm 2ms 3 p t 4 r v s 5 t 6 a r 37.- p r 1pq 2rs 3 q s CONMUTATIVA BICONDICIONAl 38.- p 1 m (p v r) 2 b (x r) 3 s m 4 t b 5 s v w 6 t v a 7 w a TRANSITIVA BICONDICIONAL 39.- w 1pq 2qr 3 r (s v t) 4tw 5 p s 40.- p 1pq 2qp 3rq 4rs 5sr 6mvs 7 m t RESUMEN BICONDICIONAL 41.- (p q) (r s) 1tp 2at 3wr 4ws 5qa 42.- p q 1sr 2rt 3 t (p m) 4aw 5qw 6 s b 7 b a

REGLAS DE MORGAN Y DE DEFINICIN 43.- (p q) 1 m b 2mvp 3bvq 44.- t 1bp 2mq 3 (p q) t 4sw 5sb 6wm 45.- t 1 t (p v q) 2mp 3bq 4mb 46.- q t 1 (q v t) v p 2 r v (p s) 3 r v b 4 b w 47.- (x z) 1 (p q) 2 (r q) 3 (p a) (z x) 4 r v s 5 m v t 6 s t 7 (m b) 8 (b a) 48.- (q v p) (b v m) 1st 2rw 3 (r s) 4 t (p q) 5 w (m b) 49.- (m f) (a w) 1 (m m) (p r) 2 (a a) (p s) 3 t (p a) 4 z (p y) 5 (t z) (x b) 6 x v x

50.- (w v a) 1 p q 2 m b 3 r z 4 s x 5 (p v m) 6 (r v s) 7 (z q) w 8 (b x) a 51.- w v q 1tm 2 (a p) 3 b m 4 (p w) 5 b s 6za 7 (r v t) 8 z s 52.- w 1pq 2tm 3 (a w) 4 (p v z) 5 r q 6ba 7 t s 8 (m b) 9 r s LOS DILEMAS CONSTRUCTIVOS Y DESTRUCTIVOS 53.- t a 1 (p q) 2 p (s w) 3 q (s w) 4st 5wa 54.- m v b 1pvq 2pq 3qr 4 r v s 5 (m b) s 55.- r v b 1 (m z) 2sm 3 (t z) 4 (s t) v p 5bp

56.- z 1 r v s 2pr 3qs 4 (m v b) (p q) 5mt 6bw 7 (x v y) (t w) 8xvz INTRODUCCIN DEL CONDICIONAL O TEOREMA DE LA DEDUCCIN 57.- (p r) t 1pq 2rs 3 (q s) t 58.- q (r s) 1pq 2 p t 3 (r s) v t 59.- p q 1qvt 2tr 3 (r s) p 4s 60.- r (m s) 1 (p q) r 2 (q p) t 3tvs 61.- t (s w) 1 (p q) t 2qr 3 q v (p r) 4 s q 62.- *m (t r)+ (w a) 1qa 2 w v q 3 (s v r) t 4sva

ELIMINACIN DISYUNCIN 63.- r v w 1pvq 2pr 3 q (s v t) 4sr 5tw 64.- (p v q) 1mvb 2 m (p q) 3 b (p q) 65.- m v b 1 p v (r s) 2pm 3 (r s) b 66.- (r s) v (p q) 1 m v b 2 (r s) m 3 (p q) b 67.- (t s) 1 (m v b) v (p q) 2 (m b) t 3 (p v q) s 68.- (p v q) 1 a v w 2 (p q) a 3 (p q) w 69.- p w 1 p (q v r) 2qt 3 t v s 4sw 1 5 r (w a) SIMBOLIZA Y COMPRUEBA LA VALIDEZ DE LOS SIGUIENTES ARGUMENTOS 1.- "Me compro el disco de Julio Iglesias o el de Eros Ramazzotti. El caso es que si me compro el de J.I. me aburrir. Por otra parte pienso que si me compro el de Le Mans har una buena inversin. He decidido no comprarme el de J. I. Adems ocurre que si me aburro no habr hecho una buena inversin. Tambin tengo la opcin de comprar el de Le Mans o el de Sam Cooke. Y si me compro el de Sam Cooke ser feliz. En conclusin ser feliz".

2.- "Para que me quieras tienes que demostrrmelo con los actos y las palabras. Es cierto que me lo has demostrado con los actos. Por lo tanto con tal que me lo muestres con las palabras me querrs". 3.- "Reducir las existencias de herona es condicin suficiente para elevar los precios de la herona. Los adictos necesitarn ms dinero para comprar la droga si su precio se eleva, y si necesitan ms dinero cometern ms delitos. As, si se reducen las existencias de herona, los delitos cometidos por los adictos aumentarn" 4.- "Si me dices que nunca has sido malo mientes, y si mientes eres malo. Si me dices que has sido malo, eres malo, y si eres malo debes ser castigado por haber sido malo. Digas lo que digas, debes ser castigado". 5.- "Si Juan recibi el telegrama, o bien tom el avi o bien prefiri ignorar nuestro pedido. Juan no tom el avin. Luego, si Juan recibi el telegrama, entonces prefiri ignorar nuestro pedido". 6.- "O el ladr atraves la puerta, o el delito fue cometido desde dentro y uno de los sirvientes debe estar implicado en l. El ladrn pudo atravesar la puerta si y slo si el cerrojo fue descorrido desde dentro. Pero uno de los sirvientes est con seguridad implicado si el cerrojo fue descorrido desde el interior. Luego uno de los sirvientes se halla implicado en el delito". 7.- Supngase que los dos enunciados siguientes son verdaderos: a ) "Amo a Isabel o amo a Mara". b) "Si amo a Isabel, entonces amo a Mara". Se sigue necesariamente que amo a Isabel? Se sigue necesariamente que amo a Mara? 8.- "Si Holmes no interviene, Moriarty escapar. Recurriremos a Watson si Holmes no interviene. Luego, si Holmes no interviene Moriarty escapar a menos que recurramos a Watson".

9.- "Si pago al sastre me quedar sin dinero. NO puedo llevar a mi novia al baile si no tengo dinero. Si no la llevo al baile se ir con otro. Pero si no le pago al sastre no me entregar el traje, y sin traje no puedo ir al baile. O le pago al sastre o no le pago. Luego mi novia se ir con otro". 10.- Tenemos tres chicas, Ana, Luisa y diana. Supngase que se dan los siguientes hechos: a) "Amo al menos a una de las tres chicas". b) Si amo a Ana pero no a Diana, entonces amo tambin a Luisa". c) "O bien amo a Diana y a Luisa, o bien no amo a ninguna". d) "Si amo a Diana, entonces amo tambin a Ana". A cul de las chicas amo? 11.- "Si el universo es infinito y no est en expansin, y si su materia est distribuida uniformemente, entonces el nmero de estrellas a cualquier distancia dada respecto de la tierra crece como el cuadrado de esa distancia. Ahora bien, la luz procedente de cualquier estrella en particular decrece como el cuadrado de esa distancia; y si el nmero de estrellas a cualquier distancia dada crece como el cuadrado de esa distancia, mientras que la luz que procede de cualquier fuente decrece en la misma proporcin, entonces la luz que alcanza a la Tierra desde todas las fuentes a cualquier distancia dada, es igual a la que alcanza a la tierra desde cualquier otra distancia estelar dada. Si el universo es infinito, entonces si la luz desde cualquier distancia es igual a la que procede de cualquier otra, entonces el cielo nocturno no es oscuro, sino inundado de luz. Pero el cielo nocturno es oscuro. As pues, hemos de inferir que, si el universo es infinito y si la materia est uniformemente distribuida, entonces, el universo est en expansin".