Introduccin

al pensamiento matemtico
Unidad 1. Lgica proposicional

Actividad 4. Reglas de inferencia y premisas

Instrucciones: Utiliza las reglas de inferencia para demostrar la conclusin que se pide, justifica tu
respuesta.
1. En la escuela Juan tuvo 10 de promedio en matemticas o 10 de promedio en fsica, si Juan tuvo
10 de promedio en matemticas entonces se ganar un viaje y si Juan tuvo 10 de promedio en fsica
entonces se ganar un viaje, lo anterior es suficiente para que Juan se ganar un viaje.
Ley de la simplificacin disyuntiva.
Proposiciones:
p: En la escuela Juan tuvo 10 de promedio en matemticas
q: En la escuela Juan tuvo 10 de promedio en fsica
r: Se ganar un viaje
Premisas:
Premisa 1: En la escuela Juan tuvo 10 de promedio en matemticas o 10 de promedio en fsica.
Premisa 2: Si Juan tuvo 10 de promedio en matemticas entonces se ganar un viaje.
Premisa 3: Si Juan tuvo 10 de promedio en fsica entonces se ganar un viaje.
________________________________________________________________
Conclusin: Lo anterior es suficiente para que Juan se ganara un viaje.
Representacin simblica:
Premisa 1: pq
Premisa 2: p r
Premisa 3: q r
_____________
r
En lenguaje natural:
En la escuela Juan tuvo 10 de promedio en matemticas o 10 de promedio en fsica, si Juan tuvo 10
de promedio en matemticas entonces se ganar un viaje y si Juan obtuvo 10 de promedio en fsica
entonces se ganar un viaje, si se cumple cualquiera de las dos, es suficiente para que Juan se
ganara un viaje.

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
Tabla de la verdad:
p
q
pq
V
V
V
V
V
V
V
F
F
F
V
V
F
F
F
F
F
F

r
V
F
V
V
V
F

pr
V
F
V
V
V
V

qr
V
F
V
V
V
V

(pq)(pr)(qr)
V
F
F
V
F
F

((pq)(pr)(qr))r
V
V
V
V
V
V

2. Si vendo mucha mercanca, entonces tendr mucho dinero, y no es cierto que tengo mucho
dinero, quiere decir que no vendo mucha mercanca.
Modus tollens.
Proposiciones:
p: Vendo mucha mercanca.
q: Tendr mucho dinero.
Premisas:
Premisa 1: Si vendo mucha mercanca, entonces tendr mucho dinero.
Premisa 2: No tengo mucho dinero.
________________________________________________________________________________
Conclusin: No vendo mucha mercanca.
Simplificado:
Premisa 1: pq
Premisa 2: q
______________
p
En lenguaje natural:
Si vendo mucha mercanca, entonces tendr mucho dinero, y si no tengo mucho dinero, es porque
no vendo mucha mercanca.

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
Tablas de verdad:
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

p
F
F
V
V

q
F
V
F
V

(pq)!q
F
F
F
V

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

3. Si ganas la olimpiada tus compaeros de escuela se ponen alegres, y si tus compaeros estn
alegres tus adversarios se ponen tristes, nos encontramos, en consecuencia, que si t ganas la
olimpiada, tus adversarios se ponen tristes.
Silogismo hipottico.
Proposiciones:
p: Ganas las olimpiadas.
q: Tus compaeros de la escuela se ponen alegres.
r: Tus adversarios se ponen tristes.
Premisas:
Premisa 1: Si ganas la olimpiada tus compaeros de escuela se ponen alegres.
Premisa 2: Si tus compaeros estn alegres tus adversarios se ponen tristes.
________________________________________________________________________________
Conclusin: Si t ganas la olimpiada tus adversarios se ponen tristes.
Simplificado:
Premisa 1: pq
Premisa 2: qr
______________
pr
En lenguaje natural:
Si ganas la olimpiada tus compaeros de escuela se ponen alegres, y si tus compaeros estn
alegres tus adversarios se ponen tristes, nos encontramos, en consecuencia, que si t ganas las
olimpiadas tus adversarios se ponen tristes.

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
Tablas de verdad:
p
V
V
V
F
F
F

q
V
V
F
V
F
F

r
V
F
V
V
V
F

pq
V
V
F
V
V
V

qr
V
F
V
V
V
V

(pq)!(qr)
V
F
V
V
V
V

(pr)
V
F
V
V
V
V

((pq)!(qr))(pr)
V
V
V
V
V
V

4. Si invierto ms dinero en un negocio, entonces aumentarn mis ganancias, como es cierto que
invierto ms dinero, concluyo que aumentarn mis ganancias.
Modus ponens
Proposiciones:
p: Invierto ms dinero en un negocio.
q: Aumentarn mis ganancias.
Premisas:
Premisa 1: Si invierto ms dinero en un negocio, entonces aumentarn mis ganancias.
Premisa 2: Invierto ms dinero.
________________________________________________________________________________
Conclusin: Aumentarn mis ganancias.
Simplificado:
Premisa 1: pq
Premisa 2: p
______________
q
En leguaje natural:
Si invierto ms dinero en un negocio, entonces aumentarn mis ganancias, como es cierto que
invierto ms dinero, concluyo que aumentarn mis ganancias.

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
Tablas de verdad:
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

(pq)!p ((pq)!p))q
V
V
F
V
F
V
F
V