Universidad Centroamericana de ciencias empresariales Clase Segunda Semana Objetivo de aprendizaje: Aprender los fundamentos de la Lgica Inferencial y se habite

al empleo de un lenguaje riguroso, coherente y exacto. Objetivo Actitudinal: Desarrolla el proceso de sntesis a partir de la construccin de proposiciones compuestas utilizando los conectivos lgicos. Titulo de la clase: Lgica Inferencial Mtodo: Deductivo Estrategia: Accin prctica Recursos: Pizarra y Marcador

Reactivacin de Conocimientos previos: Si dos proposiciones son lgicamente equivalentes, qu puedes decir de su tabla de verdad? Si la proposicin compuesta no es tautologa ni contradiccin qu puedes decir de su tabla de verdad? Puede una proposicin atmica ser tautologa? Puede una proposicin simple ser contradiccin? Si a, b son proposiciones compuestas a v b tiene valor de verdad F que puedes decir de a y de b? Situacin Problemtica: Usted obtendr una A si es inteligente y el sol brilla, o usted es inteligente y llueve." Reformula la condicin mas simplemente. Organizacin del Conocimiento: 1. Reactivar conocimiento 2. Explicar las equivalencias lgicas 3. Realizar ejercicios en grupo de 5 4. Pasar a la pizarra a resolver ejercicios propuestos. Evaluacin: Formativa. Observacin directa. Aplicacin de los conocimientos: Equivalencias lgicas importantes:
~ (~p) <=> p Ley de doble negacin P ^q <=> q ^ p Ley conmutativa de la negacin P V q <=> q V p Ley Conmutativa de la Disyuncin (P ^q) ^ r <=> P ^ (q ^ r) Ley Asociativa de la conjuncin (P v q) v r <=> p v (q v r) Ley Asociativa de la Disyuncin ~ (P v q) <=> ~ p ^ ~q Ley de Morgan ~ (P ^ q) <=> ~ p V ~q Ley de Morgan P v (q ^ r) <=> (p v q) ^ p v r) Ley de Distribucin P ^ (q v r) <=> (p ^ q) v (p ^r) Ley de Distribucin P ^ p <=> p Ley de la Absorcin P v p <=> p Ley de la Absorcin

MODUS PONENDO PONENS (PP) pq Si llueve, entonces las calles se mojan (premisa) p Llueve (premisa) __________________________________________________ q Luego, las calles se mojan (conclusin) MODUS TOLLENDO TOLLENS (TT)

Tollendo tollens significa negando, niego, y se refiere a una propiedad inversa de los condicionales, a los que nos referamos en primer lugar. pq Si llueve, entonces las calles se mojan q Las calles no se mojan p Luego, no llueve DOBLE NEGACIN (DN) p p El esquema representa, p doblemente negada equivale a p. Siguiendo el esquema de una inferencia por pasos, la representaramos as: p No ocurre que Ana no es una estudiante ____________________________________________________ p Ana es una estudiante ADJUNCIN Y SIMPLIFICACIN: Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la adjuncin, podemos unirlos en una sola premisa utilizando el operador (conjuncin). p Juan es cocinero q Pedro es polica _________________________________ p q Juan es cocinero y Pedro es polica Simplificacin (S): obviamente, es la operacin inversa. Si disponemos de un enunciado formado por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros dos enunciados afirmados por separado. pq Tengo una manzana y tengo una pera ___________________________________________ p Tengo una manzana q Tengo una pera MODUS TOLLENDO PONENS (TP): La disyuncin, que se simboliza con el operador V, representa una eleccin entre dos enunciados. Ahora bien, en esa eleccin, forma parte de las posibilidades escoger ambos enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no pueden ser falsos. A partir de lo anterior, se deduce la siguiente regla, denominada tollendo ponens (negando afirmo): si uno de los miembros de una disyuncin es negado, el otro miembro queda automticamente afirmado, ya que uno de los trminos de la eleccin ha sido descartado. pVq He ido al cine o me he ido de compras q No he ido de compras _____________________________________________ p Por tanto, he ido al cine LEY DE LA ADICIN (LA): Dado un enunciado cualquiera, es posible expresarlo como una eleccin (disyuncin) acompaado por cualquier otro enunciado. a He comprado manzanas ___________________________________________________ aVb He comprado manzanas o he comprado peras SILOGISMO HIPOTTICO (SH): Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la otra (el mismo enunciado), podemos construir una nueva implicacin cuyo antecedente sea el de aquella implicacin cuya consecuencia sea el antecedente de la otra implicacin, y cuyo consecuente sea el de sta ltima, cuyo antecedente era consecuencia del primero. Expresado de otro modo, si una causa se sigue una consecuencia, y sta consecuencia es a su vez causa de una segunda consecuencia, se puede decir que esa primera causa es causa de esa segunda consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola

blanca que a su vez golpea a una bola negra, la bola roja es causa del movimiento de la bola negra. Expresado en forma de inferencia lgica: pq Si la bola roja golpea a la bola blanca, la bola blanca se mueve qr Si la bola blanca golpea a la bola negra, la bola negra se mueve _____________________________________________________________________ pr Si la bola roja golpea a la bola blanca, la bola negra se mueve SILOGISMO DISYUNTIVO (DS): Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos miembros sean los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de disyuncin, cuyos miembros seran los consecuentes de las dos implicaciones. Lgicamente, si planteamos una eleccin entre dos causas, podemos plantear una eleccin igualmente entre sus dos posibles efectos, que es el sentido de esta regla. pq Si llueve, entonces las calles se mojan r s Si la tierra tiembla, los edificios se caen pV r Llueve o la tierra tiembla ___________________________________________________ qV s Las calles se mojan o los edificios se caen SIMPLIFICACIN DISYUNTIVA (SD): Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente, y sus antecedentes se corresponden con los dos miembros de una disyuncin, podemos concluir con el consecuente de ambas implicaciones. pVq Helado de fresa o helado de vainilla pr Si tomas helado de fresa, entonces repites qr Si tomas helado de vainilla, entonces repites ___________________________________________________ r Luego, repites LEY CONMUTATIVA: Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no cambia este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos cosas, sin importar en qu orden se presente esta eleccin. As pues, p q q p p y q equivale a q y p pVqqVp p q equivale a q p LEYES DE MORGAN (DM) Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una conjuncin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores de afirmacin y negacin de los trminos de la disyuncin/conjuncin as como de la propia operacin en conjunto, como podemos observar aqu: pq pVq __________ ____________ (p V q) (p q) Tareas: Simplifique las proposiciones a. p ~ (~q) b. ~([p (~q)] r) c. p [~(~p q)] Usa una tabla de verdad para comprobar si las siguientes son tautologas, contradicciones o ninguna de las dos. a) p (~p); Ley conmutativa b) p (~q); Ley conmutativa c) ~ (p (~q)); Ley De Morgan d) ~ (q (~q)); Ley De Morgan e) p ~(p q); Ley De Morgan f) q ~(p (~p)); Ley De Morgan

g) p ((~p) q); Ley de la distribucin h) (~q) ((~p) q); Ley de la distribucin.

i) (p => q) ^ (q V ~p) j) ~ (p V q) <=> (~p V q); k) (p => q) ^ (p => r) ) => p => (q ^ r) l) p V q ^ ~p; m) ~(p q) (~r) Usa las equivalencias lgicas para reescribir cada una de las siguientes oraciones. Mi computadora se descompone cuando ha sido utilizada por mucho tiempo, y cuando no es el caso de que el aire est seco o la luna no est llena. El estudio determin que la bolsa de valores se desplom porque aument la tasa de inters, o porque no es el caso de que aumentaron los beneficios y la luna no estuvo llena. La luz de advertencia se encender si la presin disminuye mientras que la temperatura es alta, o si la presin disminuye mientras que no es el caso de que estn activados la anulacin de emergencia y el control manual.