REGLAS DE INFERENCIA MODUS PONENDO PONENS (PP) pq Si llueve, entonces las calles se mojan (premisa) p Llueve (premisa) __________________________________________________

q Luego, las calles se mojan (conclusin) El condicional o implicacin es aquella operacin que establece entre dos enunciados una relacin de causa-efecto. La regla ponendo ponens significa, afirmando afirmo y en un condicional establece, que si el antecedente (primer trmino, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo trmino, en este caso q). 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 Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse. Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia ambas de una misma propiedad de la implicacin; la regla ponendo ponens slo nos permite afirmar si est afirmado el antecedente (el primer trmino de la implicacin), y la regla tollendo tollens slo nos permite negar a partir del consecuente (segundo trmino de la implicacin); ambas consecuencias se derivan de que la implicacin es una flecha que apunta en un nico sentido, lo que hace que slo se pueda afirmar a partir del antecedente y negar slo a partir del consecuente. 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 La regla doble negacin, simplemente establece que si un enunciado est doblemente negado, equivaldra al enunciado afirmado. 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 q Juan es cocinero

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

San Tom

Ingeniera en Sistema

Licda. Thaimar Zurita

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, pqqp 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 ___________ (p V q) pVq ____________ (p q)

San Tom

Ingeniera en Sistema

Licda. Thaimar Zurita

UNEFA

LGICA MATEMTICA- Hoja N 1 UNIDAD I: Reglas de Inferencia.

A.- Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de premisas? Es decir, qu proposicin lgica se sigue de las premisas? 1. Si usted est en Madrid, entonces su reloj seala la misma hora que en Barcelona. Usted est en Madrid. 2. Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos despedimos ahora. 3. Si esta planta no crece, entonces o necesita ms agua o necesita mejor abono. Esta planta no crece. 4. Son las cinco. Si son las cinco, entonces la oficina est cerrada. 5. Si vivo en la capital de los Estados Unidos, entonces no vivo en ninguno de los cincuenta estados. Vivo en la capital de los Estados Unidos. B. Poner una C junto a cada ejemplo en el que la conclusin es correcta segn el modus ponendo ponens. Poner una I junto a cada conclusin incorrecta. 1. Premisas: S y S - > T ; conclusin: T 2. Premisas: T > V y T; conclusin: V 3. Premisas: P > Q y Q ; conclusin: P 4. Premisas: S y R > S; conclusin: R 5. Premisas: R y R > S; conclusin: S C. Qu conclusiones se pueden sacar de cada una de las proposiciones siguientes por la doble negacin? 1. Todos los mamferos son animales de sangre caliente. 2. No ocurre que el ncleo de un tomo no est cargado positivamente. 3. El granito es un tipo de mineral gneo. 4. En los Estados Unidos las elecciones presidenciales tienen lugar cada cuatro aos. 5. No ocurre que un quinto no es el veinte por ciento. D. Qu conclusin se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando la regla TT? Escribir las conclusiones en castellano. 1. Si la luz fuera simplemente un movimiento ondulatorio continuo, entonces la luz ms brillante dara lugar siempre a una emisin de electrones con mayor energa que los originados por luz ms tenue. La luz ms brillante no siempre emite electrones con mayor energa que los originados por luz ms tenue. 2. Si un ngulo de un tringulo es mayor de 90 grados, entonces la suma de los otros dos ngulos es menor de 90 grados. La suma de los otros dos ngulos no es menor de 90 grados. 3. Si el arriendo se mantiene vlido, entonces el dueo es responsable de las reparaciones. El dueo no es responsable de las reparaciones. 4. Si llovi la pasada noche, entonces las pistas se han limpiado. Las pistas no se han limpiado. 5. Jos no es mi hermano. Si Susana es mi hermana, entonces Jos es mi hermano. E. Qu conclusin o conclusiones se pueden deducir de cada uno de los conjuntos de premisas siguientes utilizando la regla A o la regla S? 1. Una sociedad es una coleccin de individuos que buscan una forma de vida y la cultura es su forma de vida. 2. El nmero atmico del hidrgeno es 1. El nmero atmico del helio es 2. 3. Kofi habla la lengua Twi. Ama habla la lengua Ga. 4. A Toms le gusta esquiar y ha nevado en la montaa. F. Qu conclusin, en forma de proposicin escrita en castellano, se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando la regla TP? 1. Este hombre o es un abogado o es un poltico. No es un abogado. 2. El puerto de Nueva Orleans o est en el golfo de Mjico o est en el ocano Atlntico. No est en el ocano Atlntico. San Tom Ingeniera en Sistema Licda. Thaimar Zurita

3. O la energa interna de un tomo puede cambiar con continuidad o cambia slo a saltos. La energa interna de un tomo no puede cambiar con continuidad. 4. Juan o ha terminado el libro o no ha ido a devolverlo hoy a la biblioteca. Juan no ha terminado el libro. 5. O hace fro y llueve o el festival se celebrar al aire libre. Ni hace fro ni llueve. G. Qu conclusin se puede sacar, si se puede sacar alguna, por la ley de silogismo hipottico de los conjuntos de proposiciones siguientes? ' 1. Si el agua se hiela, entonces sus molculas forman cristales. Si las molculas forman cristales, entonces el agua aumenta de volumen. 2. Si Toms conduce a la velocidad de 50 km/h, entonces en 9 horas habr recorrido 450 km. Si en 9 horas ha recorrido 450 km, entonces habr recorrido 90 km ms que ayer en el mismo perodo. 3. Si Mr. Lincoln es elegido, entonces los Estados del Sur se separarn con seguridad. Si los Estados del Sur se separan, entonces estallar una guerra civil. H. Qu se puede concluir de cada uno de los siguientes conjuntos de premisas por la ley del silogismo disyuntivo? Dar como conclusin una proposicin en lenguaje corriente. 1. O Juan tiene mayora o Pedro tiene mayora. Si Juan tiene mayora, entonces Pedro ser el tesorero. Si Pedro tiene mayora, entonces Juan ser el tesorero. 2. Este nmero o es un nmero positivo o es un nmero negativo. Si es un nmero positivo, es mayor que cero. Si es un nmero negativo, es menor que cero. 3. Esta roca o es piedra caliza o es granito. Si es piedra caliza es sedimentaria. Si es granito, es gnea. 4. O la cmara fue adquirida legalmente por el vendedor o la cmara es mercanca robada. Si la cmara fue adquirida legalmente por el vendedor, entonces es mi cmara. Si la cmara es mercanca robada, entonces Toms es su propietario legal. 5. O la planta es una planta verde o es una planta no verde. Si es una planta verde, entonces fabrica su propio elemento. Si es una planta no verde, entonces depende de las materias de otras plantas para su alimento. I. Qu se puede concluir de las premisas siguientes utilizando las leyes de Morgan? 1. O los arcnidos no son insectos o no tienen ocho patas. 2. No ocurre que o el aire es un buen conductor del calor o el agua es un buen conductor del calor. 3. No ocurre que un nmero es a la vez mayor que cero y que es negativo. 4. El ro Mississipi no corre en direccin Norte y el ro Nilo no correen direccin Sur. 5. No ocurre que los murcilagos son pjaros o que las focas son peces. F. Traducir las premisas y conclusiones de las Secciones anteriores en smbolos lgicos y demostrar que su conclusin es consecuencia lgica de las premisas.
G.

Clasifica las siguientes formas proposicionales en tautologa, contradiccin o contingencia. Justifica tu respuesta.

b) c)

(~ (s

~s

~ t)

H. Sean p, q y r proposiciones, tales que: p es V , q es V , r es F. Determine el valor de verdad de las siguientes proposiciones: a) (p q) (p q) b) (p q) ( p r) I. Construir la tabla de verdad para las siguientes proposiciones compuestas: a) (p q) (p q) b) (p q) (p q) c) ( p r) (q r)

San Tom

Ingeniera en Sistema

Licda. Thaimar Zurita