Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional

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. Proposiciones: p: comprar carne o pollo q: hacer carne asada r: comprar pulpo y pescado s: hacer ceviche

Formula silogismo disyuntivo

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional

Por lo tanto llegamos a la conclusin de que es una TAUTOLOGIA

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. p: juan quiere casarse contigo

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
q: Elena esta contenta Primero: ((p q)^ q) p

formula modus tollens: ((p q)^ q) p

Lo que indica que juan NO se casa

Si estas contenta entonces quiero casarme contigo y si estas contenta. p: Elena esta contenta q: juan quiere casarse contigo Segundo: ((p q)^ p)q

p V V F F

q p q (p q)^ p V V V F F F V V F F V F Lo que indica que juan SI se casa

((p q)^ p)q V V V V

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.

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
En la primera frase indica que NO se casa En la segunda frase indica que SI se casa Como Juan piensa lo primero y lo segundo entonces llegamos a la conclusin de que es una CONTRADICCION