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. p= Carlos dice, si compramos carne o pollo q= hacemos carne asada. Pedro dice, si compramos pulpo y pescado, entonces hacemos ceviche. p= Pedro dice, si compramos pulpo y pescado q= hacemos ceviche p q

Jos dice, mejor compramos carne o pollo, o pulpo y pescado. P= Jos dice, mejor compramos carne o pollo q= pulpo y pescado p q

Manuel dice, tengo una idea, hacemos lo que dice Carlos y lo que dice Pedro y lo que dice Jos. p= Manuel dice, tengo una idea hacemos lo que dice Carlos q= lo que dice Pedro r= lo que dice Jos (p q) r

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. 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.

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
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.