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.

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




Introduccin al pensamiento matemtico
Unidad 1. Lgica proposicional
a b c d e f a v b (a v b) c d ^ e (d ^ e) --> f (a v b) v (d ^ e) c v f
1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 0 1 1 1 0 1 1
1 1 1 1 0 1 1 1 0 1 1 1
1 1 1 1 0 0 1 1 0 1 1 1
1 1 1 0 1 1 1 1 0 1 1 1
1 1 1 0 1 0 1 1 0 1 1 1
1 1 1 0 0 1 1 1 0 1 1 1
1 1 1 0 0 0 1 1 0 1 1 1
1 1 0 1 1 1 1 0 1 1 1 1
1 1 0 1 1 0 1 0 1 0 1 0
1 1 0 1 0 1 1 0 0 1 1 1
1 1 0 1 0 0 1 0 0 1 1 0
1 1 0 0 1 1 1 0 0 1 1 1
1 1 0 0 1 0 1 0 0 1 1 0
1 1 0 0 0 1 1 0 0 1 1 1
1 1 0 0 0 0 1 0 0 1 1 0
1 0
1 1 1 1
1
1 1 1 1 1
1 0
1 1 1 0
1
1 1 0 1 1
1 0
1 1 0 1
1
1 0 1 1 1
1 0
1 1 0 0
1
1 0 1 1 1
1 0
1 0 1 1
1
1 0 1 1 1
1 0
1 0 1 0
1
1 0 1 1 1
1 0
1 0 0 1
1
1 0 1 1 1
1 0
1 0 0 0
1
1 0 1 1 1
1 0
0 1 1 1
1
0 1 1 1 1
1 0
0 1 1 0
1
0 1 0 1 0
1 0
0 1 0 1
1
0 0 1 1 1
1 0
0 1 0 0
1
0 0 1 1 0
1 0
0 0 1 1
1
0 0 1 1 1
1 0
0 0 1 0
1
0 0 1 1 0
1 0
0 0 0 1
1
0 0 1 1 1
1 0
0 0 0 0
1
0 0 1 1 0
0
1 1 1 1 1
1
1 1 1 1 1
0
1 1 1 1 0
1
1 1 0 1 1
0
1 1 1 0 1
1
1 0 1 1 1
0
1 1 1 0 0
1
1 0 1 1 1
0
1 1 0 1 1
1
1 0 1 1 1
0
1 1 0 1 0
1
1 0 1 1 1
0
1 1 0 0 1
1
1 0 1 1 1
0
1 1 0 0 0
1
1 0 1 1 1
Introduccin al pensamiento matemtico
Unidad 1. Lgica proposicional
0
1 0 1 1 1
1
0 1 1 1 1
0
1 0 1 1 0
1
0 1 0 1 0
0
1 0 1 0 1
1
0 0 1 1 1
0
1 0 1 0 0
1
0 0 1 1 0
0
1 0 0 1 1
1
0 0 1 1 1
0
1 0 0 1 0
1
0 0 1 1 0
0
1 0 0 0 1
1
0 0 1 1 1
0
1 0 0 0 0
1
0 0 1 1 0
0 0
1 1 1 1
0
1 1 1 1 1
0 0
1 1 1 0
0
1 1 0 1 1
0 0
1 1 0 1
0
1 0 1 0 1
0 0
1 1 0 0
0
1 0 1 0 1
0 0
1 0 1 1
0
1 0 1 0 1
0 0
1 0 1 0
0
1 0 1 0 1
0 0
1 0 0 1
0
1 0 1 0 1
0 0
1 0 0 0
0
1 0 1 0 1
0 0
0 1 1 1
0
1 1 1 1 1
0 0
0 1 1 0
0
1 1 0 1 0
0 0
0 1 0 1
0
1 0 1 0 1
0 0
0 1 0 0
0
1 0 1 0 0
0 0
0 0 1 1
0
1 0 1 0 1
0 0
0 0 1 0
0
1 0 1 0 0
0 0
0 0 0 1
0
1 0 1 0 1
0 0
0 0 0 0
0
1 0 1 0 0

((a v b) c) ^ ((d ^ e) --> f) (((a v b) c) ^ ((d ^ e) --> f)) ^ ((a v b) v (d ^ e)) [(((a v b) --> c) ^ ((d ^ e) --> f)) ^ ((a v b) v (d ^ e))] --> (c v f)
1 1 1
0 0 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
Introduccin al pensamiento matemtico
Unidad 1. Lgica proposicional
0 0 1
1 1 1
0 0 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
1 1 1
0 0 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
1 1 1
0 0 1
1 0 1
1 0 1
1 0 1
1 0 1
1 0 1
1 0 1
Introduccin al pensamiento matemtico
Unidad 1. Lgica proposicional
1 1 1
0 0 1
1 0 1
1 0 1
1 0 1
1 0 1
1 0 1
1 0 1


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.