PENSAMIENTO LGICO MATMATICO

DESARROLLO DE ACTIVIDAD UNIDAD 3- PASO 3

LEYES DE INFERENCIA

ELABORADO POR:

BEATRIZ ELENA ALVAREZ

43999653

TUTOR
ADRIAN REINALDO VALENCIA

GRUPO: 200611-213

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD PROGRAMA

SISTEMA DE GESTIN DE SEGURIDAD Y SALUD EN EL TRABAJO
CEAD MEDELLIN
JUNIO DE 2017
 INTRODUCCION
En el presente trabajo colaborativo se busca comprender y asimilar los principios que explican
conceptualizacin y algunos ejemplos de alguna de los Teoremas y Tcnicas de Demostracin
explorando las definiciones y teoremas relacionadas con la demostracin Donde se fundamentan
aplicacin de reglas de deduccin: fundadas ya sea en axiomas o en teoremas anteriormente
demostrados o en reglas bsicas de deduccin del sistema en cuestin, y dando a conocer la
conceptualizacin y ejemplos de algunas leyes de la inferencia lgica La conceptualizacin y
ejemplos concretos de alguna de las Leyes de Inferencia Lgica Para la comprensin y desarrollo de
este trabajo se requiere investigar e identificar las teoras y definiciones de esta.
 OBJECTIVOS

EXPLICAR LEYES DE INFERENCIA Y EL METODO DE DEMOSTRACION POR CONTRAPOSICION,

MEDIANTE EJEMPLOS CON EL ONBETICO DE APRENDER ESTAS LEYES DE INFERENCIA EN LA CIDA
COTIDIANA, APLICANDO ORACIONES SIMPLES Y ACERTADAS DE MANERA QUE SE HAGA SIMPLE Y
ENTENDIBLE EL TEMA.
PRIMERA ETAPA.

DEMOSTRACION POR CONTRAPOSICIN

CONTECTUALIZACION Y EJEMPLOS

En la demostracin por contraposicin, al igual que la demostracin por reduccin al absurdo,

supones que tanto A como no B son verdaderas. En el mtodo por contraposicin, sin embargo, no
partes de A y no B, sino que empiezas a trabajar solamente con no B y tu objetivo es llegar a que A
es falsa, con lo que ya has llegado a una contradiccin Qu mejor contradiccin? Cmo puede
ser A a la vez verdadera y falsa?

Intenta demostrar por contraposicin la siguiente proposicin:

Proposicin: Si m y b son nmeros reales con m 0, entonces la funcin f (x) mx b es inyectiva.

(Recuerda que una funcin es inyectiva si para cualesquiera nos reales x e y con x y es f (x) f (y)).

Hemos dicho que la demostracin por contraposicin es un cierto tipo de demostracin por
reduccin al absurdo. Cada uno de estos dos mtodos tiene sus ventajas y sus inconvenientes. La
desventaja del mtodo de demostracin por contraposicin frente al de reduccin al absurdo
consiste en que en aqul partes de una sola proposicin, no B, en lugar de dos. La ventaja es que
sabes exactamente a donde quieres llegar, a no A, con lo que puedes aplicar el mtodo de
demostracin indirecta a la proposicin no A. La opcin de trabajar con demostracin indirecta no
es aplicable en el mtodo por reduccin al absurdo pues no sabes qu contradiccin ests
buscando.

Si comparas el mtodo de demostracin directa-indirecta (A implica B) con el de contraposicin

(no B implica no A) observars que tienen la misma estructura y, por tanto, no hay, en principio,
razones aparentes para preferir uno a otro.

Hay, sin embargo, algunos casos en los que el mtodo de contraposicin o el de por reduccin al
absurdo deberan elegirse o, al menos, considerarse seriamente. Son aquellos en los que en la
proposicin B aparece la palabra no, pues, en estos casos, es bastante normal que la proposicin
no B contenga alguna informacin til.
EJEMPLOS

1. Sea x un nmero entero.

Para demostrar: Si x es par, entonces x es par.
A pesar de se puede dar una demostracin directa optamos por probar esta afirmacin
por contraposicin. La contraposicin de la declaracin anterior es:
Si x no es par, entonces x no es par.
Esta ltima afirmacin se puede demostrar de la siguiente manera. Supongamos
que x no es uniforme. Entonces x es impar. El producto de dos nmeros impares es
impar, por lo tanto, x = x x es impar. Por lo tanto x no es par.
Despus de haber probado la contraposicin, inferimos la declaracin original.
Cualquier demostracin por contraposicin tambin puede formularse trivialmente en

ETAPA DOS

(eliminacin de la implicacin) [E->]

X->Y
X
____
Y

La expresin latina "Modus Ponendo Ponens" se traduce literalmente como "modo que
poniendo pone", aunque sera ms claro entenderlo como "confirmando confirma".
Funciona a partir de una implicacin: cuando se confirma el antecedente (causa lgica),
entonces se puede confirmar el consecuente (consecuencia lgica).

El ejemplo ms estpido que se le puede ocurrir a alguien para explicar esta regla es "Si
llueve, entonces me mojo. Est lloviendo. Por ende, me estoy mojando". Pero veamos
ejemplos quizs ms interesantes:

"Si estuvieras borracho, estaras carioso. Ests borracho. Por eso ests carioso"

El MPP es la regla fundamental de la demostraciones lgicas, es decir, la operacin lgica

fundamental del mtodo de deduccin natural.

"Si fueras inteligente, no repeteras los mismos errores"

Modus ponendo ponens: El modus ponendo ponens (en latn, modo que
afirmando afirma), tambin llamado modus ponens y generalmente abreviado
MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Ejemplo:
Si son las 6 AM, entonces ya amanecio.
Son las 6 AM.
Por lo tanto, Ya amanecio
Modus ponendo tollens: El modus ponendo tollens (en latn, modo que
afirmando niega) o MPT es una forma vlida de argumento que dice:
O bien A, o bien B
A
Por lo tanto, no B
EJEMPLO:
O bien esta soleado, o bien esta lluvioso.
Esta soleado.
Por lo tanto, no esta lluvioso.
Modus tollendo ponens: El silogismo disyuntivo, histricamente conocido como
modus tollendo ponens (en latn, modo que negando afirma) o MTP, es una forma
vlida de argumento:
es el caso que A, o es el caso que B
No A
Por lo tanto, B
EJEMPLO:
O bien esta soleado, o bien esta lluvioso.
No Esta soleado.
Por lo tanto, esta lluvioso.
Modus tollendo tollens: El modus tollendo tollens (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:
si A entonces B
No B
Por lo tanto, no A
EJEMPLO:
Si son las 6 AM, entonces amanecio.
No son las 6 AM.
Por lo tanto, no amanecio.

Tercera etapa:

Planteamiento y resolucin (utilizando las operaciones necesarias de las tablas

de verdad) y la aplicabilidad de las leyes de inferencia lgica de uno de los
problemas de enunciados tipo argumento del ANEXO 1; adems adjuntar un
pantallaso de la comprobacin de la tabla de verdad con el simulador TRUTH
dicho simulador est dispuesto en el entorno de Aprendizaje Prctico. En el foro
de Interaccin y Produccin encontrar un link que le permitir descargar un
PDF con un ejemplo de cmo realizar el proceso de demostracin de la validez
del argumento con el uso de la tabla de verdad.. (recuerde slo seleccionar uno
e informar en el foro el seleccionado para que no sea escogido por otro
integrante).

1. Desde muy joven empec a trabajar para poder buscar tener una buena
calidad de vida, pero siempre me fue complicado poder ingresar a hacer
mis estudios superiores; hoy en da afortunadamente la UNAD ofrece una
excelente oportunidad de formacin acadmica para quienes tenemos una
vida laboral muy densa, pues la virtualidad, aunque demanda de disciplina
y adecuados hbitos de estudio, nos permite contar con las 24 horas del
da, los siete das de la semana para ingresar a realizar las actividades
segn las fechas lmites establecidas; esto es algo que me ha alegrado
mucho y le hice el siguiente comentario a mis amigos, para que se
motiven e ingresen a estudiar en la UNAD: He ingresado a estudiar
administracin en Salud y lograr materializar mi proyecto de vida. Si he
ingresado a estudiar en la UNAD Administracin en Salud, entonces
conseguir un mejor estatus laboral. Por lo tanto, conseguir un mejor
estatus laboral y lograr materializar mi proyecto de vida. Por medio de
los diferentes mtodos de demostracin con las tablas de verdad y el uso
de las leyes de inferencia, determinar si mi razonamiento es vlido.

IMPLICACION/CONTRAPOSICION

P=si he ingresado a la UNAD administracin en salud

Q=conseguir un mejor estatus laboral

P= >q si he ingresado a estudiar en la UNAD administracin en salud, entonces

conseguir un mejor estatus laboral.
P=>q

p q p q
V V V
V F F
F V V
F F V
CONCLUSIONES

Despus de analizar con detenimiento la condicional de cada ley y mtodo, se

aplic a tres ejemplos, basndose en oraciones simples, para asi dar a entender
de manera clara el procedimiento para realizar las leyes de inferencia Modus
Ponendo Ponens y Modus Tollendo Tollens el mtodo de demostracin por
contraposicin a la problemtica usando los temas anteriores.

BIBLIOGRAFIA

https://darkjrof.wordpress.com/2011/04/04/reglas-de-inferencia/
https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-de-deduccion-
natural/modus-ponendo-ponens