INFORMACION TOMADA DE:

Carlos Escao Fryganas .Reglas de inferencia.

https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion

APORTES LEYES DE INFERENCIA

MODUS TOLENDO PONENS, DOBLE NEGACIN Y ADJUNCIN

Es tambin conocida como negacin del consecuente y en latin significa el camino que
niega al negar, es una forma de argumento vlida y una regla de inferencia.
La regla de inferencia modus tollens, tambin conocida como la ley de la contraposicin,
valida la forma de inferencia P implica Q y la contradictoria de Q, a la contradictoria de P.
La regla modus tollens se puede afirmar formalmente como:
P Q, Q
P

Donde P Q significa " P implica Q " , Q

significa "no es el caso de que Q" (o

en resumen "no Q"). Entonces, cada vez

PQ y Q

como una lnea de una prueba P

se puede colocar vlidamente en una lnea

cada una parece por s mismas

posterior. La historia de la regla modus tollens se remonta a la antigedad.

El modus tollens est estrechamente relacionado con el modus ponens. Hay dos formas
similares, pero no vlidas, de argumento: afirmacin del consecuente y negacin del
antecedente.

NOTACION FORMAL
La regla del modus tollens puede escribirse en subsiguiente notacin:
P Q , Q P

Donde es un smbolo metalgico que significa que

sintactica de

es una consecuencia

P Q y Q en algn sistema lgico

EXPLICACION
El argumento tiene dos premisas. La primera premisa es un condicional o sentencia "sientonces", por ejemplo que si P entonces Q. La segunda premisa es que no es el caso de Q.
A partir de estas dos premisas, se puede concluir lgicamente que no es el caso de P.
Veamos un ejemplo:
Si el perro guardin detecta un intruso, el perro guardin ladra.
El perro guardin no ladr.
Por lo tanto, el perro guardin no detect ningn intruso.
Suponiendo que las premisas son verdaderas (el perro ladra si detecta un intruso, y de
hecho no ladra), se deduce que ningn intruso ha sido detectado. Este es un argumento
vlido, ya que no es posible que la conclusin sea falsa si las premisas son verdaderas. (Es
concebible que haya habido un intruso que el perro no detect, pero eso no invalida el
argumento; la primera premisa es "Si el perro detecta un intruso"). El hecho importante es
que el perro detecta o no detecta un intruso, no si este existe.
Otro ejemplo:
Si yo soy el asesino del hacha, entonces puedo usar un hacha.
No puedo usar un hacha.
Por lo tanto, yo no soy el asesino del hacha.

JUSTIFICACION TABLAS DE VERDAD

La validez del modus tollens pueda demostrar claramente a travs de una tabla de verdad.
P

P Q

En los casos de modus tollens asumimos como premisas que p q es verdadero y q es

falso. Solo hay una lnea de la tablala cuarta lneaque satisface estas dos condiciones
verdaderas. En esta lnea, p es falsa. Por lo tanto, en todos los casos en los que p q es
verdadero y q es falso, p tambin debe ser falso.

PRUEBA FORMAL

VIA SILOGISMO DISYUNTIVO

PASO

PROPOSIC
ION

DERIVAC
ION

PQ

Premisa

Premisa

PQ

Implicacin
material (1)

Silogismo
disyuntivo
(2,3)

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

Pedro es polica

p q Juan es cocinero y Pedro es polica

SIMPLIFICACION (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

Tengo una manzana

Tengo una pera

LEY DE ADICION (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

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)

BIBLIOGRAFIA

Pginas de internet.

Modus Tollendo Ponens. https://es.wikipedia.org/wiki/Modus_tollendo_tollens

Reglas de inferencia. Carlos Escao Fryganas.

https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion