Ejercicios de lgica proposicional

1. Esquematiza, distinguiendo premisas y conclusin, los siguientes argumentos: a. Ivn Lendl, el jugador de tenis, es checoslovaco. Todos los checoslovacos son europeos. As que Ivn Lendl es europeo. Pero la polmica, lo que de verdad parece preocupar, es si hay dos millones y medio o slo un milln de parados. En los despachos oficiales se afirma que hay mucho trabajo clandestino, porque si no, la situacin estallara. No puede haber dos millones y medio de gente en paro. Sois unos hipcritas! No digis que queris que nuestra ciudad tenga el templo ms grande de Grecia. Si queris que nuestra ciudad tenga un templo ms grande que cualquier otra en Grecia ser necesario que habilitis fondos. Pero lo cierto es que no queris habilitar fondos en el nuevo presupuesto de la ciudad. Si sois tan buenos gobernantes entonces deberais querer aumentar la higiene de la ciudad reparando la antigua red de alcantarillado, que se cae a trozos. No queris reparar la red de alcantarillado. Por lo tanto, no os atrevis a decir que sois buenos gobernantes. Si los persas nos atacan, nos aliamos con los espartanos. Si los espartanos se alan con nosotros, tendremos un ejrcito invencible. En consecuencia, si los persas nos atacan tendremos un ejrcito invencible. A veces pienso que si como rbanos luego me arrepiento. En efecto, si como rbanos suelo tener fuerte acidez de estmago. pero si tengo acidez de estmago me dejo llevar por la ira. Y eso es lo peor. Cuando me dejo llevar por la ira termino siempre arrepintindome. Scrates, el maestro de Platn, era un hombre libre. l era ateniense, ciudadano de Atenas, la ciudad que adoraba a la diosa del saber. Y todos los ciudadanos atenienses eran hombres libres. Las catedrales romnicas fueron construidas en Espaa al comps que hacan las espadas cayendo sobre los cuerpos de los moros. Sigenza fue bastante tiempo lugar fronterizo, avanzada en tierra de musulmanes. Por eso, i.

como Avila, tuvo la catedral que ser a la vez castillo; sus dos torres cuadradas, anchas, recias, brunas, avanzan hacia el firmamento, pero sin huir de la tierra. Santa Mara de Ripoll fue uno de los centros musicales del siglo XIII. Los grandes monasterios de la poca contaban con una schola cantorum. En ellas se originaron las primeras formas de polifona. "Vaticino al ministro de Sanidad", dijo Ruiz Sota, "unos prximos meses muy ingratos". El diputado de AP hizo esta afirmacin despus de haberse referido a que la reforma hospitalaria que est ejecutando la Administracin no es la correcta y tras haber afirmado que la huelga convocada para el prximo mes de febrero por la Confederacin Estatal de Sindicatos Mdicos contra la ley de incompatibilidades ha sido bien acogida por los mdicos.

b.

j.

c.

2. Trata de distinguir entre los siguientes argumentos cules son deductivos y cules inductivos. a. Todos los gatos son mamferos. Los mamferos amamantan a sus cras. Por ello, cuando nazcan los gatitos que esperamos, mi gata los amamantar. El agua hierve a 100E , porque siempre que la caliento y alcanza los 100E hierve. Siempre que he comido pats que estaban recubiertos de manteca de cerdo no tenan conservantes qumicos. Para que los pats de lata duren algn tiempo necesitan algn tipo de conservante. La manteca de cerdo es un conservante. Algunas personas son arquitectos. Los arquitectos son universitarios. Luego algunas personas son universitarias. S que slo te gustan dos frutas, las peras y los pltanos. En la despensa no haba peras y no las has podido sacar de ningn otro sitio, as que, dado que ests comiendo una fruta, lo que ests comiendo es un pltano. Podemos dudar de que su prximo chiste provoque risas; hasta ahora no ha habido ninguno de su repertorio que haya tenido xito.

d.

b.

e.

c.

f.

d.

g.

e.

h.

f.

3. Construye un argumento correcto (formalmente) en el que tanto las premisas como

la conclusin sean falsas. 4. Construye un argumento correcto (formalmente) en el que tanto las premisas como la conclusin sean verdaderas. 5. Construye un argumento incorrecto en el que tanto las premisas como la conclusin sean proposiciones verdaderas. 6. Qu es un lenguaje formal? Y uno artificial? Cules son las ventajas de un lenguaje formal frente a los lenguajes naturales? 7. Cul es el objeto de estudio de la lgica? Qu nos dice la lgica acerca de la verdad o correccin de los enunciados y de los razonamientos? Diras que la lgica es un instrumento de conocimiento de la realidad o, por el contrario, no sirve para conocer lo real? 8. El lenguaje natural permite formar frases como sta: "Esta frase es mentira". Esta y otras irregularidades hacen del lenguaje natural un vehculo inapropiado para el uso cientfico o la comunicacin de pensamientos. Comenta cules son esas irregularidades y explica cul es el modo de resolverlas. 9. Escribe la forma lgica de las siguientes proposiciones: a. b. c. d. e. f. g. h. i. j. k. l. m. n. o. Iremos al cine o al teatro. Vinieron, pero llegaron muy tarde. Aunque va mal vestido, da gusto verlo. Si eres puntual, iremos juntos, pero si llegas tarde ir solo. O somos hermanos o somos primos. Si ha sido l, o bien es un ingenuo o un delincuente; y si es un delincuente, ir a prisin. Slo aprobar matemticas si consigo que me presten los ejercicios de integrales. Tener malos pensamientos equivale a practicarlos. O estudias y trabajas o sers un desgraciado. No es cierto que la lgica sea difcil. No ocurre que 2+2 = 5. Todo lo que t dices es falso. No es verdad que todo lo que t digas es falso. Es imposible que no sea cierto lo que dices. La riqueza ayuda a ser feliz, pero la cultura todava ms.

p. q. r. s. t. u. v. w. x. y.

No creo en lo que dices y, sin embargo, contino confiando en ti. Si eres licenciado, no es posible que no sepas leer ni escribir. La suma de los ngulos de un tringulo equivale a 180E . Es imposible que una misma cosa sea y no sea. No es cierto que slo aplicando la racionalidad tenga sentido la vida. El hombre es un animal poltico, por tanto no es un salvaje. Un mineral es un metal si y slo si es un buen conductor de la electricidad. Se convertir en un demcrata con tal de que pueda ocupar un cargo. Si no crees en Dios pero blasfemas, te ests contradiciendo. Si te dedicas a la informtica, ganars dinero.

10. Formaliza los siguientes razonamientos. Son tautologas, contradicciones o indeterminaciones? a. Si tengo razn, entonces estoy loco. Pero si estoy loco, entonces tengo razn. Por tanto, no estoy loco. Si tengo razn, entonces estoy loco. Pero si estoy loco, entonces tengo razn. Por tanto, no tengo razn. A menos que me equivoque, estoy loco. Pero si estoy loco, tengo que estar equivocado. Por tanto, estoy equivocado. Si tengo razn, entonces t ests loco. Si yo estoy loco, no tengo razn. Si t eres un loco, tengo razn. Por tanto, no estamos los dos locos al mismo tiempo.

b.

c.

d.

11. Convierte en frmulas condicionales los siguientes razonamientos: a) p 6 q q6p p:q b) s w t t6p p s c) q v s q6s s d) p : t r6p p t

divisible por nmeros primos. Por tanto, todo nmero entero es divisible por nmeros primos. c. Si la Tierra ha sido visitada recientemente por seres extraterrestres, el gobierno se ha guardado la informacin. Si alguno de los informes sobre OVNIs es autntico, entonces la Tierra ha sido visitada recientemente por seres extraterrestres. Pero si esos informes son correctos, nuestro conocimiento actual sobre nuestro lugar en el universo est muy equivocado. Por tanto, o bien nuestro conocimiento de nuestro lugar en el universo est muy equivocado o ningn informe sobre OVNIs es correcto, aunque haya sido mantenido secreto por el Gobierno. En una situacin de crisis econmica, el ndice de natalidad disminuye. Si avanza la medicina, las expectativas de vida sobrepasan los 70 aos. Si el ndice de natalidad desciende y las expectativas de vida superan los 70 aos, en cuestin de dcadas se obtiene una sociedad donde predominan las personas maduras. La crisis econmica es un hecho y los avances de la medicina son continuos. En consecuencia, no es pensable que pasen unas dcadas y no tengamos una sociedad anciana. Los modificadores que acompaan al ncleo del sujeto pueden estar formados por una palabra o por ms de una. Si el modificador consta de una palabra, es modificador directo. Si el modificador consta de ms de una palabra, stas se organizarn en sintagma endocntrico o en sintagma exocntrico. Si es un sistema exocntrico entonces el modificador es indirecto. Si el modificador es un sintagma endocntrico, el modificador es directo. Por tanto, los modificadores que acompaan al ncleo del sujeto o son directos o indirectos. Si dos gases tienen la misma temperatura, entonces sus molculas tienen el mismo promedio de energa cintica. Volmenes iguales de dos gases tienen el mismo nmero de molculas. Las presiones de dos gases son iguales si es el mismo su nmero de molculas y sus energas cinticas son iguales. Por consiguiente, si dos gases tienen la misma temperatura y el mismo volumen, tienen la misma presin. El dlar caer si los bancos extranjeros congelan su intervencin en los mercados de divisas o si el banco federal no hace nada para defenderlo. Alemania y Japn estn ansiosos de mantener sus monedas fuertes, pero intervendrn en los mercados si el dlar cae. Si Japn y Alemania quieren

12. Comprueba que los razonamientos del ejercicio anterior son tautologas. 13. Haz la tabla de verdad de la siguientes expresiones y di si se trata de tautologas, contradicciones o indeterminacio-nes: a. b. c. d. e. f. [(p w q) v (p 6 r)] 6 [(q 6 r) 6 r] [(p : t) v (r 6 p)] 6 (r 6 t)

d.

e. [(p v q) 6 r] : [(p v r) 6 q] [(p 6 q) w (p : q)] v [(p 6 q) w p] [((p v q) 6 s) v s] 6 (p w q) [(p w q) 6 r] 6 [(p 6 r) w (q 6 r)] f.

14. Formaliza y demuestra los siguientes razonamientos: a. Si Dios es omnipotente, es capaz de prevenir el mal. Si es todo bondad, est deseoso de impedir el mal. El mal no existe a menos que Dios sea impotente o no desee impedirlo. Si Dios existe, es suma bondad y omnipotente. Por tanto, si el mal existe, Dios no. Todo nmero entero o es primo o es compuesto. Si es compuesto es un producto de factores primos, y si es un producto de factores primos, es divisible por ellos. Pero si un nmero entero es primo, no es compuesto, aunque es divisible por s mismo y por la unidad, y por consiguiente, tambin

b.

g.

mantener sus divisas fuertes, los bancos extranjeros congelarn sus intervenciones. Por tanto, est claro que aquellos intervendrn en los mercados. h. Georgia Tech no alcanzar la final a menos que venzan a Vilanova y que St. John's pierda. St. John's llegar a la final si ganan o si tanto Georgia Tech como Maryland pierden. Si Maryland gana, o bien Georgia Tech o Indiana llegarn a la final. Por tanto, si Vilanova y Maryland ganan, o bien St. John's o Indiana llegarn a la final. O el ladrn 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. Si la ciudadana romana hubiera sido garanta de los derechos civiles, los ciudadanos romanos habran gozado de libertad religiosa. Si los ciudadanos romanos hubieran gozado de libertad religiosa, no se habra perseguido a los primeros cristianos. Pero los primeros cristianos fueron perseguidos. Por consiguiente, la ciudadana romana, no puede haber sido garanta de derechos civiles. Si la substancia pudiera ser dividida en partes, entonces o bien las partes retendran la naturaleza de la substancia o bien perderan esa naturaleza. Las partes no retienen la naturaleza de la substancia. Las partes no pierden la naturaleza de la substancia. Por tanto, la substancia no puede ser dividida en partes. Si el tabaco produce cncer, entonces, si los jvenes empiezan a fumar ahora con menos edad que en el pasado, habr una mayor proporcin de individuos jvenes que contraigan cncer. Pero, aunque la gente empieza a fumar ahora con menos edad que en el pasado, no es cierto que hay una mayor proporcin de jvenes que contraen cncer. Por tanto, el tabaco no produce cncer.

15. Demuestra los siguientes razonamientos de modo directo y por reduccin al absurdo: a. s6q q 6 t t s qws q6p s6t pwt (p w q) qws (t w q) s 6 q swu (p v s) p6r q 6 p r (p w s) v q p v t s6t swq (q v p) 6 r r r 6 s s 6 (p v q) r6t t q j. h. p w q q 6 r p 6 s s r v s s 6 r rwt t6q q6p s pvq p6q rws s 6 q r p p : (q w r) p6s q s p6q r6p r 6 t (s v r) tws qwu

b.

i.

i.

c. d.

j.

e.

k.

k.

f.

l.

l.

g.

m.

(p v q) 6 r (p w r)6 s p6q s 6 r s:t twp s 6 w w p (q w s)6 t q 6 r p 6 s t6s p6r p 6 q q 6 n n6l l 6 r r 6 t p t t 6 s w w u t 6 w m uwm r 6 s r 6 q q

n.

pvq m6t q6s (r v s) 6 t mwn p6r wvu s. t 6 (m v q) (q v r) 6 n w 6 n t v r w t. n 6 (u v w) pvq

m w n n pvq (u w m) x. (m w s) u6q t 6 q w6t m w w (u v n) ( p wr) 6 (m w n) (s 6 t) 6 (p w r) m w u n w w (s w t) w v u (p w q) 6 r (p 6 r) w (q 6 r) qwt t6r (r v s) 6 p s p 6 q

(p v w) n 6 s z6u (r w t) z 6 s w cc. pwm qwn (r w s) r 6 p s 6 q (m w n)

o.

y.

p.

m6t q6s (r v s) 6 t mwn p6r wvu u.

dd. r w (p w s) t k (t w k) 6 r (s 6 q) q p ee. (p w s) p 6 (q w r) r w s (q w t) 6 [m (k 6 s)] (m 6 k) q w w (t w s) w q (m w n) 6 (s w t) w r w (n w m) rwu

z. aa.

q.

p w q qwr r v s p6t w 6 t (w v s) 6 u u p 6 (q v r) mwq swr (s v m) 6 t t v w p p 6 (r w s) s 6 u

ff.

v.

r.

n 6 (u v w)

w.

bb.

t6m (u v p) n 6 m

gg.

(p 6 q) (r v s) 6 n (u w w) 6 (p 6 q) n 6 (u w w)

10

(r v s)

16. Esquematiza y demuestra la validez del siguiente razonamiento: "...si pudiera haber una lgica aunque no hubiera un mundo, cmo puede haber una lgica, dado que hay un mundo?" [Ludwig Wittgenstein Tractatus Logico-philosophicus, (5.5521)]

11