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: Juan tenga 10 de promedio en matemticas
q: Juan tenga 10 de promedio en fsica
r: gana un viaje
PREMISAS
PREMISA1: Juan tenga 10 de promedio en matemticas o tenga 10 de promedio
en fsica
PREMISA 2: Si Juan tiene 10 de promedio en matemticas gana un viaje
PREMISA 3: Si Juan tiene 10 de promedio en fsica gana un viaje
CONCLUSION: Gana un viaje
REPRESENTACION SIMBOLICA
1.- p v q
2.- pr
3.- qr
TABLA DE VERDAD

p
V
V
V
V
F
F
F

q
V
V
F
F
V
F
F

r
V
F
V
F
V
V
F

pvq
V
V
V
V
V
F
F

^
V
F
V
F
V
F
F

pr
V
F
V
F
V
V
V

^
V
F
V
F
V
F
F

qr
V
F
V
V
V
V
V

(pvq)^(pr)(qr)r
V
V
V
V
V
V
V

Si vendo mucha mercanca, entonces tendr mucho dinero, y no es cierto que

tengo mucho dinero, quiere decir que no vendo mucha mercanca.

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
MODUS TOLLENS (pq)^ ~q
_____________
~p
PROPOSICIONES
p: Vendo mucha mercanca
q: tener mucho dinero
SISTEMA DE PREMISAS
PREMISA1 Si vendo mucha mercanca tendr mucho dinero
PREMISA 2: No tengo mucho dinero
CONCLUSIN:
No vend mucha mercanca
REPRESENTACIN SIMBLICA
PREMISA 1: pq
PREMISA 2: ~q

TABLA DE VERDAD
p

V
V
F
F

V
F
V
F

p
q
V
F
V
V

~q
F
V
F
V

(pq)^~
q
F
F
F
V

~p

((pq)^~q) ~p

F
F
F
V

V
V
V
V

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.
LEY DEL SILOGISMO HIPOTTICO

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
PROPOSICIONES
p: Ganar las olimpiadas
q: Compaeros de escuela se ponen alegres
r: adversarios se ponen tristes
SISTEMA DE PREMISAS
PREMISA1: Si ganas las olimpiadas los compaeros de escuela se ponen alegres
PREMISA 2: Si los compaeros de escuela se ponen alegres entonces los adversarios
se ponen tristes.
CONCLUSIN:
Si ganas las olimpiadas los adversarios se ponen tristes

REPRESENTACIN SIMBLICA
PREMISA 1: pq
PREMISA 2: qr
TABLA DE VERDAD
p
V
V
V
V
F
F
F

q
V
V
F
F
V
F
F

r
V
F
V
F
V
V
F

p q
V
V
F
F
V
V
V

qr
V
F
V
V
V
V
V

(p q) ^ (qr)
V
F
F
F
V
V
V

pr
V
F
V
F
V
V
V

(p q) ^ (qr) (pr)
V
V
V
V
V
V
V

Si invierto ms dinero en un negocio, entonces aumentarn mis ganancias, como

es cierto que invierto ms dinero, concluyo que aumentarn mis ganancias.

PROPOSICIONES
p: invierto ms dinero en un negocio
q: aumentarn mis ganancias

Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional
SISTEMA DE PREMISAS
PREMISA1 Si invierto ms dinero en un negocio entonces aumentarn mis ganancias
PREMISA 2: invierto ms dinero en un negocio
CONCLUSIN:
Aumentarn mis ganancias
REPRESENTACIN SIMBLICA
PREMISA 1: pq
PREMISA 2: p
TABLA DE VERDAD
p

V
F
F
F

V
F
V
F

p
q
V
F
V
V

(pq)^p

((pq)^p) q

F
F
F
F

V
V
V
V