Está en la página 1de 9

Reglas de inferencia lógica

Modus Ponendo Ponens

Generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente
forma:

Si A, entonces B

Por lo tanto, B

Ejemplos

Es una regla de inferencia que permite demostrar q a partir de p q y p.

1) PREMISA Si Pedro está en el partido de Fútbol, entonces está en el estadio. (p q)

PREMISA Pedro está en el partido de Fútbol. (p)


CONCLUSIÓN: Pedro Está en el estadio. (q)

2) PREMISA Si María está comiendo, entonces está en la cocina. (p q)

PREMISA María está comiendo. (p)


CONCLUSIÓN: María está en la cocina. (q)

3) PREMISA Si Carmen está viendo una película, entonces está en el cine. (p q)

PREMISA Carmen está viendo una película. (p)


CONCLUSIÓN: Carmen está en el cine (q)

Modus Tollendo Tollens

La regla de Inferencia que se aplica también a las proposiciones condicionales, pero en este
caso, negando ( tollendo ) el consecuente, se puede negar (tollens ) el antecedente de la
condicional. MTT o MT, es una regla de inferencia que tiene la siguiente forma:
Si A entonces B
No B
Por lo tanto, no A
Ejemplos

1) PREMISA Si tiene luz propia, entonces el astro es una estrella (p q)

PREMISA El astro no es una estrella (p)


CONCLUSIÓN: Por lo tanto no tiene luz propia (q)

2) PREMISA Si hago goles, entonces gano el partido (p q)

PREMISA No gano el partido (p)


CONCLUSIÓN: Por lo tanto no hago goles (q)

3) PREMISA Si realizo un trabajo, entonces gano dinero (p q)

PREMISA No gano dinero (p)


CONCLUSIÓN: Por lo tanto no realizo un trabajo (q)

Silogismo hipotético

En la lógica proposicional un silogismo hipotético puede expresar una regla de inferencia,


mientras que en la historia de la lógica los silogismos hipotéticos han sido una antelación
de la teoría de las consecuencias.
Ejemplos
1) Si no me despierto, no puedo ir a la fiesta.
Si no voy a la fiesta, no me divertiré.
Entonces, si no me despierto no me divertiré.
2) Si te colocas el despertador a las seis de la mañana, te despertara a las seis de la
mañana.
Si despiertas a las seis de la mañana, llegaras temprano al trabajo
Entonces, si me despierto a las 6 de la mañana puedes llegar temprano al trabajo.
3) Si llueve durante la noche, al día siguiente hará frió.
Si al día siguiente hace frió, entonces necesitarías usa ropa abrigadora.
Por lo tanto, si llueve durante la noche, entonces puede que necesites ropa
abrigadora mañana.

Silogismo disyuntivo

Dada tres premisas, dos de ellas implicaciones y la tercera una disyunción cuyos miembros
sean los antecedentes de los condicionales, podemos concluir en una nueva premisa en
forma de disyunción, cuyos miembros serían los consecuentes de las dos implicaciones.si
A implica B
Si C implica D
Se cumple A o C
Entonces B o D
Ejemplos
1) 𝑝 → 𝑞 Si llueve el suelo esta mojado.
𝑟 → 𝑠 Si sale el sol la gente sale a pasear.
𝑝 ˅ 𝑟 Llueve o sale el sol.
𝑞 ˅ 𝑠 Entonces el suelo esta mojado o la gente salen a pasear

2) 𝑝 → 𝑞 Si está claro, entonces es de día.


𝑟 → 𝑠 Si esta oscuro, entonces es de noche
𝑝 ˅ 𝑟 Está Claro o esta Oscuro.
𝑞 ˅ 𝑠 Entonces es de día o es de noche

3) 𝑝 → 𝑞 Si voy al Teatro, veré una Obra


𝑟 → 𝑠 Si voy al Coliseo, veré un partido de básquet
𝑝 ˅ 𝑟 Voy al Teatro o voy al Coliseo.
𝑞 ˅ 𝑠 Entonces veré la Obra o veré el partido de básquet
Ley de simplificación

Si se tiene una premisa que es una conjunción de fórmulas, se puede concluir cada una de
ellas por separado.

𝑝˄𝑞 𝐶1 = 𝑝 𝐶2 = 𝑞

Ley de adición

Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción)


acompañado por cualquier otro enunciado.

Ejemplo

1) p “He comprado naranjas”

p v q “He comprado naranjas o he comprado mandarinas”

2) p “He comprado una camisa”

p v q “He comprado una camisa o he comprado un pantalón”

3) p “He comprado entradas para el estadio”

p v q “He comprado entradas para el estadio o he comprado entradas para el cine”

Doble negación

La regla de la doble negación es una regla simple que permite pasar de una premisa única a
la conclusión. La doble negación tiene dos formas simbólicas:

(𝑝) ¬¬ (𝑝)

¬¬ (𝑝) (𝑝)
Ejemplos

1) Sea la proposición:

No ocurre que Pedro no es un carpintero.

Conclusión: Pedro es carpintero.

2) Sea la proposición:
No ocurre que la Camioneta no es de color Azul
Conclusión: La Camioneta es de color Azul.

3) Sea la proposición:
No ocurre que Susana no se prepare para los exámenes.
Conclusión: Susana se prepara para los exámenes.

Adjunción

Si disponemos de dos proposiciones afirmados como dos premisas separadas, mediante la


adjunción, podemos unirlos en una sola premisa utilizado el operador ˄ (conjunción).

Ejemplo

1) p “Jennifer es Profesora”

q “Juan es Contador”

𝑝 ˄ 𝑞 "𝐽𝑒𝑛𝑛𝑖𝑓𝑒𝑟 𝑒𝑠 𝑃𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑎 𝑦 𝑃𝑒𝑑𝑟𝑜 𝑒𝑠 𝐷𝑜𝑐𝑡𝑜𝑟 "

2) p “Carlos juega futbol”

q “Javier juega básquet”

𝑝 ˄ 𝑞 "Carlos juega futbol y Javier juega básquet"

3) p “Roció cocina un pollo”

q “Viviana cocina una pato”

𝑝 ˄ 𝑞 "Roció cocina un pollo y Viviana cocina una pato"


Simplificación

Es la operación inversa, es decir si disponemos de una enunciado formado por dos


miembros unidos por una conjunción (˄), podemos hacer de los dos miembros dos
enunciador afirmados por separado.

Ejemplo

1) 𝑝 ˄ 𝑞 "𝐽𝑒𝑛𝑛𝑖𝑓𝑒𝑟 𝑒𝑠 𝑃𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑎 𝑦 𝑃𝑒𝑑𝑟𝑜 𝑒𝑠 𝐷𝑜𝑐𝑡𝑜𝑟 "

p “Jennifer es Profesora”

q “Juan es Contador”

2) 𝑝 ˄ 𝑞 "Carlos juega futbol y Javier juega básquet"

p “Carlos juega futbol”

q “Javier juega básquet”

3) 𝑝 ˄ 𝑞 "Roció cocina un pollo y Viviana cocina una pato"

p “Roció cocina un pollo”

q “Viviana cocina una pato”

Simplificación disyuntiva

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 disyunción,
podemos concluir con el consecuente de ambas implicaciones.

Ejemplo

1) 𝑝 ˅ 𝑞 "Batido de Chocolate o batido de Ron pasas "

𝑝 → 𝑟 " Si tomas batido de chocolate, entonces repites"

𝑞 → 𝑟 " Si tomas batido de ron pasas, entonces repites"

𝑟 "𝐿𝑢𝑒𝑔𝑜, 𝑟𝑒𝑝𝑖𝑡𝑒𝑠"
2) 𝑝 ˅ 𝑞 "Sanduche de Pollo o Sanduche de Chancho "

𝑝 → 𝑟 " Si comes Sanduche de Pollo, entonces repites"

𝑞 → 𝑟 " Si comes Sanduche de Chancho, entonces repites"

𝑟 "𝐿𝑢𝑒𝑔𝑜, 𝑟𝑒𝑝𝑖𝑡𝑒𝑠"

3) 𝑝 ˅ 𝑞 "Gol de tiro Libre o Gol de Cabeza "

𝑝 → 𝑟 " Si haces un Gol de tiro Libre, entonces repites"

𝑞 → 𝑟 " Si haces un Gol de Cabeza, entonces repites"

𝑟 "𝐿𝑢𝑒𝑔𝑜, 𝑟𝑒𝑝𝑖𝑡𝑒𝑠"

Ley conmutativa

Esta ley, no es válida para la implicación, pero si para conjunción y para la disyunción. Una
conjunción es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos
no cambia este hecho. Igualmente, una disyunción es presentar una elección entre dos
cosas, sin importaren que orden se presente esta elección.

𝑝 ˄ 𝑞 ↔ 𝑞 ˄ 𝑝 " ≪ 𝑝 𝑦 𝑞 ≫ 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎 ≪ 𝑞 𝑦 𝑝 ≫ "

𝑝 ˅ 𝑞 ↔ 𝑞 ˅ 𝑝 " ≪ 𝑝 ó 𝑞 ≫ 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎 ≪ 𝑞 ó 𝑝 ≫ "

Leyes de Morgan

Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una
conjunción en una disyunción. Cuando se pasa de una a otra, se cambian los valores de
afirmación y negación de los términos de la disyunción/conjunción así como la propia
operación en conjunto, como podemos observar aquí:

𝑝˄𝑞 𝑞˅𝑝

_____ _____

¬(¬𝑝 ˅¬𝑞) ¬(¬𝑝 ˄¬𝑞)


Ejercicios

Determina de los siguiente argumentos cuales reglas de inferencia se aplican y cuál es el


resultado del argumento.

1.- Luis gana 2 millones de dólares en el pozo millonario.

Si Luis gana 2 millones de dólares en el pozo millonario entonces Pedro renunciará a su


trabajo.

Por lo tanto: ____________________________________

2.- Si Sandra se va de paseo a Madrid entonces tendrá que ganarse una beca

Sandra se va de paseo a Madrid.

Por lo tanto: _________________________________________

3.- Si Jaime juega Futbol entonces será un gran deportista

Si Jaime trabaja entonces ahorrará para comprarse una computadora.

Jaime juega Futbol o estudia Computación

Por lo tanto: __________________________________________

4.- Betty está horneando un pollo

Si Betty está horneando un pollo, entonces no está practicando el violín.

Si Betty no está practicando el violín, entonces su madre no pagará el seguro.

Por lo tanto: _________________________________________


GLOSARIO:

Ponendo ponen: afirmar algo.

Tollendo tollens: negar algo.

Conclusión: proposición al final de un argumento.

Adición: Acción y efecto de añadir o agregar

Adjunción: Unir o Quitar de una parte a un todo.

Condición: propiedad de las cosas o de las personas

Proposición: Enunciado susceptible de ser verdadero o falso

Premisa: Cada proposición del silogismo, de la que se infiere la conclusión

Silogismo: Argumento que consta de tres proposiciones, la última de las cuales, llamada
conclusión, se deduce necesariamente de las otras dos, denominadas premisas

Inferencia: Deducción de una cosa a partir de otra, conclusión

También podría gustarte