HCTOR JOSU ROBLES BELTRN GRUPO: 62694 CODIGO: 212418973 DESARROLLO DEL PENSAMIENTO LOGICO Y MATEMATICO I ANDRS DE LA CARIDAD

PEREZ ALONSO UNIDAD 3: ACTIVIDAD 4 SISTEMA DE UNIVERSIDAD VIRTUAL DESARROLLO DEL PENSAMIENTO LGICO MATEMTICO I UNIDAD 3. LGICA PROPOSICIONAL ACTIVIDAD 4

1. Demostrar que las siguientes deducciones son validas por medio de una prueba formal de validez. (Debes escribir simblicamente las proposiciones e indicar la regla de inferencia utilizada en cada paso) a) O se compra una nueva mquina o se le da mantenimiento a la maquina. Si se compra una nueva mquina, entonces se vende la maquina actual. Si la maquina tiene ms de 10 aos, entonces no se le da mantenimiento a la maquina. Ocurre que la maquina tiene ms de 10 aos. Por lo tanto, se vende la maquina actual. Sea c la proposicin de comprar una nueva y m la de mantener la mquina El decir que se cumple una u otra significa que tendrn valores opuestos. 1) c=~m Aunque en lgica proposicional creo que se llamas disyuntivas exclusivas y el smbolo es una v con una raya debajo Sea v la proposicin vender mquina actual. Nos dicen la proposicin condicional 2) c ==> v Sea a la proposicin tener ms de 10 aos la mquina. Nos dicen la proposicin condicional 3) a ==> ~m Y finalmente nos dicen que es cierta la proposicin a, luego por la condicional 3) se cumple ~m por 1) se cumple c y por la condicional 2) se cumple v b) Si el trabajo no est listo para el viernes, entonces el cliente no paga. Si el cliente no paga, entonces no habr dinero suficiente para pagar a los empleados. Dos de los trabajadores no asistieron a trabajar el mircoles y el trabajo no est listo el viernes. Por lo tanto, no habr dinero suficiente para pagar a los empleados. Pongamos nombre a las proposiciones t = trabajo listo el viernes p = cliente paga d = haber dinero suficiente para pagar a los empleados a = trabajadores asistieron todos los das al trabajo Nos dan estas condicionales v ==> p

p ==> d a ==> v y nos dicen que se cumpli a luego se deduce por modus ponendo ponens v y de ello se deduce por modus ponendo ponens p y por fin se deduce por modus ponendo ponens d La proposicin es vlida c) Voy al cine el domingo y compro unas palomitas de maz. No tengo dinero en la semana o voy al concierto el viernes. Si voy al cine el domingo, entonces no voy al concierto el viernes. Si trabajo horas extra, entonces tengo dinero en la semana. Por lo tanto no trabajo horas extra o juego cartas el fin de semana. a = voy al cien el domingo b = compro palomitas de maz c = tengo dinero en la semana d = voy al concierto el viernes e = trabajo horas extra f = juego cartas el fin de semana La proposicin f es una metfora que en realidad quiere decir que ni va al cine ni al concierto. f = a ^ c Las palomitas de maz no pintan nada por si solas, hacemos que la proposicin a la englobe a = voy al cine el domingo y compro palomitas de maz y la b la quitamos Lo de no tengo dinero entre semana o voy al concierto el viernes no debe entenderse como un o exclusivo c <==> d Y aunque no se emplee lenguaje preciso la proposicin: Si trabajo horas extra entonces tengo dinero en la semana creo que quiere decir: tengo dinero en la semana si y solo si trabajo horas extra. Porque si no fuera as no haba forma de concluir absolutamente nada Luego tenemos estos razonamientos c <==> d a ==>d e <==>c Y nos preguntan si es verdadera la proposicin e v (a ^ c) Que de nuevo se refieren a un o exclusivo y es e <==>(a ^ c) Veamos si es verdad Si se cumple e por la bicondicional e <==>c se deduce c Y por la bicondicional c <==> d se deduce d y por modus tollendo ponens sobre a ==> d se deduce a Luego la parte e ==> (a ^ c) se cumple

Veamos en el otro sentido, supongamos que se cumple (a ^ c) por cumplirse c por la bicondicional e <==>c se cumple e Luego tambin se cumple la parte (a ^ c) ==> e En conclusin se cumple la bicondicional (a ^ c) <==> e