Evidencia de aprendizaje. Uso de las reglas de inferencia
Instrucciones: Identifica las proposiciones que forman el enunciado, los conectivos que enlazan a las proposiciones, las premisas y las reglas de inferencia que permiten demostrar la conclusin. Verifica si es tautologa o contradiccin mediante una tabla de verdad.
1. Para celebrar la victoria del equipo de futbol, Carlos, Jos, Pedro y Manuel se ponen de acuerdo sobre lo que han de comprar para comer durante un convivio, las propuestas de cada uno son las siguientes:
Carlos dice, si compramos carne o pollo, entonces hacemos carne asada.
Pedro dice, si compramos pulpo y pescado, entonces hacemos ceviche.
Jos dice, mejor compramos carne o pollo, o pulpo y pescado.
Manuel dice, tengo una idea, hacemos lo que dice Carlos y lo que dice Pedro y lo que dice Jos.
Todos estuvieron de acuerdo con lo que dijo Manuel, ya que no contradeca a ninguna de las ideas de sus compaeros. Por esta razn el entrenador dijo, muy bien, entonces vamos a hacer unas carne asada o ceviche.
a: comprar carne b: comprar pollo c: hacer carne asada
d: comprar pulpo e: compa pescado f: hacer ceviche
DE ACUERDO A LEY DEL SILOGISMO DISYUNTIVO TENEMOS:
Premisa 1: compramos carne o pollo, entonces hacemos carne asada Premisa 2: si compramos pulpo y pescado, entonces hacemos ceviche Premisa 3: compramos carne o pollo, o pulpo y pescado. Conclusin: hacer carne asada o ceviche
Como se puede observar en la tabla, la ley del silogismo disyuntivo es una tautologa, de esta manera se comprueba la veracidad de la conclusin a la que se ha llegado vamos hacer carne asada o ceviche.
2. Elena le pregunta a Juan, cundo nos vamos a casar? Juan contesta las siguientes frases. Si quiero casarme contigo entonces estas contenta, y no estas contenta. Si estas contenta entonces quiero casarme contigo y si estas contenta.
Elena le pregunta, qu cosa piensas, lo primero o lo segundo? Juan le contesta, pienso lo primero y tambin pienso lo segundo. Elena se molesta y le dice tus frases son una contradiccin.
a: quiero casarme contigo b: ests contenta
DE ACUERDO A LEY DEL MODUS TOLLENS TENEMOS:
Premisa 1: si quiero casarme contigo entonces estas contenta Premisa 2: No ests contenta. Conclusin: NO quiero casarme contigo
representacin simblica
premisa 1: a b premisa 2: b conclusin: a
Introduccin al pensamiento matemtico Unidad 1. Lgica proposicional a b a b b (a b) ^ b a ((a b) ^ b) a 1 1 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1
DE ACUERDO A LEY DEL MODUS PONENS TENEMOS:
a: estas contenta b: quiero casarme contigo
Premisa 1: si estas contenta entonces quiero casarme contigo Premisa 2: estas contenta Conclusin: quiero casarme contigo
representacin simblica
premisa 1: a b premisa 2: a conclusin: b
a b a b (a b) ^ a ((a b) ^ a) b 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1
En la primera conclusin, Juan dice que NO se casa En la segunda conclusin, Juan dice que SI se casa En este caso, como Juan piensa lo primero y lo segundo, se llega a la conclusin de que es una CONTRADICCIN.