1

UNIDAD-3 USO DE REGLAS DE INFERENCIA

LORETTY KATHERINE ESCOBAR CRUZ

GRUPO 200611_80

Tutor
ELIZABETH PUENTES

UNIVERSIDADNACIONALABIERTAYADISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
BOGOT D.C
2016

OBJETIVOS
-

Analizar cmo resolver las reglas de inferencia atravez de premisas

Entender los conceptos de Modus Tollendo Tollens y Ponendo Ponens
Aprender que es la demostracin por contraposicin lgica.
Comprender las reglas de inferencia desde una proposicin lgica.

3
INTRODUCCION
En este trabajo hablaremos de como proposiciones simples o compuestas las podemos
simplificar partiendo de las reglas de inferencia.
Se resolver un problema dado en la gua de actividades para las tablas de verdad y
partiendo de este resolver las reglas de inferencia.
Tambin resolveremos el problema de la tabla de verdad en el simulador TRUTH
Explicar que es el modus Tollendo Tollens y Ponendo Ponens; y adems que es la
demostracin por contraposicin lgica.

4
EL MODUS TOLLENS TOLLENDO
En Lgica, El modus tollens tollendo en (latn, Modo Que negando Niega), Tambin
Llamado modus tollens y generalmente abreviado MTT o MT, Es Una Regla de
inferencia Que TIENE LA Siguiente forma:
Por Ejemplo, el significado del RAZONAMIENTO Que Sigue la forma del modus
tollens podra ser de la siguiente manera:
Si soleado est '' entonces '' Es de Da.
No es de "Da".
Por Lo Tanto, no est soleado.
EL MODUS PONENDO PONENS
La regla de inferencia aplicada en el ejemplo pre cedente tiene un nombre latino, modus
ponendo ponens. Consideremos algunos ejemplos del uso de esta regla en la deduccin
de conclusiones a partir de premisas.
Premisa 1. Si l est en el partido de ftbol, entonces l est en el estadio.
Premisa 2. l est en el partido de ftbol.
Conclusin. l est en el estadio.
LA DEMOSTRACIN POR CONTRAPOSICIN
En lgica, la contraposicin de una declaracin condicional se forma negando ambos
trminos e invirtiendo la direccin de la inferencia. Explcitamente, la contraposicin de
la declaracin "si A, entonces B" es "si no es B, entonces no A.
" Una declaracin y su contrapositiva son lgicamente equivalentes: si la afirmacin es
cierta, entonces su contrapositivo es cierto, y viceversa.
En matemticas, la demostracin por contraposicin es una regla de inferencia utilizada
en demostraciones.
Esta regla se infiere una sentencia condicional a partir de su contraposicin. En otras
palabras, la conclusin "si A, entonces B" se extrae de la premisa simple "si no B,
entonces no A."
SITUACIONES PROBLMICAS DE LA INFERENCIA LGICA FASE INDIVIDUAL

5
En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos, del cual
Juan Arroyo y Mara Aguirre hacen parte; en cierta ocasin se gener una discordia
laboral por diferentes puntos de vista en el proceso de acompaamiento legal a una
persona sindicada de varios delitos; Juan ha asumido la defensa de Alberto quien es la
fuente de discordia con Mara. Mara ha decidido tomar acciones radicales frente a lo
ocurrido con Juan: Si el cliente de Juan gana la apelacin, entonces Mara se retira del
buffet de abogados. Mara se retira del buffet de abogados si y slo si Alberto el cliente
de Juan no es llevado a prisin. Por lo tanto, si el cliente de Juan gana la apelacin,
entonces no es llevado a prisin. Determinar con el uso de las dos formas de la tabla de
verdad la validez del razonamiento que hace Mara y hacerlo tambin con el uso de las
leyes de inferencia
Solucin
p: Juan gana la apelacin.
q: Mara se retira del buffet de abogados.
r: Alberto es llevado a prisin.
Declaracin de premisas
Premisa 1: Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de
abogados.
Premisa 2: Mara se retira del buffet de abogados si y slo si Alberto el cliente de Juan
no es llevado a prisin.
Conclusin: Por lo tanto, si el cliente de Juan gana la apelacin, entonces no es llevado a
prisin
Premisa 1:

(P > Q)

Premisa 2:

(Q < > ~ R)

Conclusin: => (P >~R)

[(P>Q) ^ (Q < >~ R)] => (P >~R)

TABLA DE VERDAD
[ (P>Q) ^ ( Q <=>~ R) ] > (P >~R)

p
v
v
v
v
f
f
f
f

q
v
v
f
f
v
v
f
f

r
v
f
v
f
v
f
v
f

~r
f
v
f
v
f
v
f
v

(P>
Q)
v
v
f
f
v
v
v
v

(Q
<=>~
R)
f
v
v
f
f
v
v
f

[ (P>Q) ^ ( Q
<=>~ R) ]
f
v
f
f
f
v
v
f

(P
[ (P>Q) ^ (
>~R) > (P >~R)
f
v
f
v
v
v
v
v

El resultado final nos dice que el planteamiento es una Tautologa.

Q <=>~ R) ]
v
v
v
v
v
v
v
v

Demostracin por leyes de inferencia

PREMISA 1 (P>Q)
A=P (A>B)
PREMISA 2 (Q<>~R)
B=Q (B<>~C)
CONCLUSIO
C=~
N
(P>~R)
R
(A>~C)
3. (P>~R) SILOGISMO HIPOTETICO
(1,2)

9
Conclusiones
En este trabajo aprend cuales son las reglas de inferencia y como aplicarlas.
Aprend a manejar el simulador truht
Aprend que todas las proposiciones en las reglas de inferencia son verdaderas.
Afiance mis conocimientos en reglas de inferencia de modus Ponendo Ponens y Tollendo
Tollens.

10
Bibliografa
https://www.youtube.com/watch?v=kzbOkEA1FG8
https://www.youtube.com/watch?v=uGDjOcQ7SwI
https://www.youtube.com/watch?time_continue=1753&v=uGDjOcQ7SwI
http://tollendo-tollens-u2.blogspot.com.co/
http://www.dfisica.ugto.mx/~msabido/logica/2_a.pdf
https://es.wikipedia.org/wiki/Demostraci%C3%B3n_por_contraposici%C3%B3n