Está en la página 1de 3

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. p: juan tiene 10 en matematicas q: juan tiene 10 en fisica r: juan se gana un viaje

Premisas: 1) Juan tiene 10 en matemticas o tiene 10 en fsica 2) Si juan tiene 10 en matemticas entonces se ganara un viaje 3) Si juan tiene 10 en fsica entonces se ganara un viaje juan se gana un viaje Formula:

Introduccin al pensamiento matemtico


Unidad 1. Lgica proposicional
2. Si vendo mucha mercanca, entonces tendr mucho dinero, y no es cierto que tengo mucho dinero, quiere decir que no vendo mucha mercanca. p: vendo mucha mercanca q: tendr mucho dinero

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

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. P: ganas la olimpiada q: compaeros se alegran r: adversarios se ponen tristes

Introduccin al pensamiento matemtico


Unidad 1. Lgica proposicional

premisas 1) pq 2) qr conclusin pr formula: ((p q) ^ (qr)) (pr) p V V V V F F F F q V V F F V V F F r V F V F V F V F p q V V F F V V V V qr V F V V V F V V (p q) ^ (qr) V F F F V F V V pr V F V F V V V V ((p q) ^ (qr)) (pr) V V 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. p: invierto ms dinero en un negocio q: aumentaran mis ganancias formula modus ponens: ((p q)^ p)q p V V F F q V F V F p q V F V V (p q)^ p V F F F ((p q)^ p)q V V V V

También podría gustarte