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 si Juan tuvo 10 de promedio en fsica entonces se ganar un viaje, lo anterior es suficiente para que Juan se ganar un viaje. R.Ley de simplificacion disyuntiva. !" Juan tiene 10 de promedio en matematicas q" Juan tiene 10 de promedio en fisica r" Juan se gana un viaje. !remisa 1" Juan tiene promedio de 10 en matematicas o fisica. !remisa #" $i tiene promedio de 10 en matematicas ganara un viaje. !remisa %" $i tiene promedio de 10 en fisica ganara un viaje. &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 'onclusion" (anara un viaje. ))p*q+,)p -r+ ,)q-r++-r p q r p v q ^ pr ^ qr ((p v q)^(pr)^(qr))r V V V V V V V V V V V F V F F F F V V F V V V V V V V V F F V F F F V V F V V V V V V V V Introduccin al pensamiento matemtico Unidad 1. Lgica proposicional F V F V V V F F V F F V F F V F V V F F F F F V F V V 2. $i vendo muc.a mercanca, entonces tendr/ muc.o dinero, no es cierto que tengo muc.o dinero, quiere decir que no vendo muc.a mercanca. R.Modus tollems p" si vendo muc.a mercanca q" tendre muc.o dinero Sistema de premisas !remisa 1" p-q !remisa #" 0q &&&&&&&&&&&&&&&&&& 0p
!remisa 1.1 si vendo muc.a mercanca entonces tendre muc.o dinero !remisa #.1 no es cierto que tengo muc.o dinero &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 'onclusin.1 no vendo muc.a mercancia ((p q) ^q) q p q p q p (p q) ^(q) p ((p q) ^q) q V V V F F F V V F F V F F V F V V F F V V F F V V V V V 3. $i ganas la olimpiada tus compa2eros de escuela se ponen alegres, si tus compa2eros estn alegres tus adversarios se ponen tristes, nos encontramos, en consecuencia, que si t3 ganas la olimpiada, tus adversarios se ponen tristes. Introduccin al pensamiento matemtico Unidad 1. Lgica proposicional R.Ley del silogismo ipotetico p" ganas las olimpiadas q" tus compa2eros se ponen alegre r" tus adversarfios se ponen tristes. Sistema de premisas !remisa 1" $i ganas las olimpiadas tus compa2eros de escuela se ponen alegres. !remisa #" $i tus compa2eros se ponen alegres, tus adversarios se ponen tristes. &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 'onclusion" $i ganas las olimpiadas tus adversarios se ponen tristes. ((pq)^(qr))(pr) 4. $i invierto ms dinero en un negocio, entonces aumentarn mis ganancias, como es cierto que invierto ms dinero, concluo que aumentarn mis ganancias. R. Modus !onens p q r pq qr (pq)^(qr) pr ((pq)^(qr))(pr) V V V V V V V V V V F V F F F V V F V F V F V V V F F F V F F V F V V V V V V F V F V F F V V F F V V V V V V F F F V V V V V
Introduccin al pensamiento matemtico Unidad 1. Lgica proposicional p" $i invierto mas dinero en un negocio q" aumentaran mis ganancias
Sistema de premisas
!remisa 1" $i invierto mas dinero en un negocio aumentaran mis ganancias !remisa #" 4nvierto mas dinero. &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
'onclusion" 5umentan mis ganancias.
((p q) ^ p) q p q p q (p q) ^ p ((p q) ^ p) q V V V V V V F F F V F V V F V F F V F V