UNIDAD 3: PASO 3 - USO DE LAS REGLAS DE INFERENCIA

PENSAMIENTO LOGICO MATEMATICO

TUTOR:

LILI JOHANA ROZO

ESTUDIANTE:

JHONY ALEXANDER RIAO SEDANO

CODIGO: 1120564087

GRUPO: 991

ECONOMIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

SAN JOSE DEL GUAVIARE

NOVIEMBRE DEL 2017

 INTRODUCCION

Este trabajo est basado en el mtodo de deduccin, induccin, y razonamiento

mediante la situacin problemtica que nos brinda la gua para desarrollar con el
propsito de aprender y dar una solucin, clasificando segn su lgica y la validez
a travs de las tablas de verdad (simulador TRUTH)
 OBJETIVO GENERAL

Identificar y utilizar en forma clara las reglas de inferencia lgica por induccin y
deduccin en formulaciones y demostraciones de razonamientos vlidos en
situaciones especficas
 OBJETIVOS ESPECIFICOS

-Conceptualizar los procesos de demostracin lgica y clasificarlos en directas e

indirectas
-Identificar los diferentes tipos de leyes de inferencia lgica y sus respectivas
representaciones en las tablas de verdad.
-Interpretar un enunciado tipo argumento de una situacin problmica del mundo
real y demostrar su validez a travs de las tablas de verdad y de las leyes de
inferencia
Conceptualizacin de uno de los tipos de demostracin lgica
seleccionada

1. DEMOSTRACIN POR EL PRINCIPIO DE INDUCCIN

MATEMTICA.
La induccin matemtica es un mtodo de demostracin que se utiliza
cuando se trata de establecer la veracidad de una lista infinita de
proposiciones. El mtodo es bastante natural para usarse en una
variedad de situaciones en la ciencia de la computacin. Algunas
aplicaciones tienen un sabor muy matemtico, tal como verificar que
todo entero positivo satisface cierta frmula. Otra utilizacin frecuente
es la de demostrar que un programa de computacin o que un algoritmo
con ciclos funciona como se espera.

Ejemplo 1.
El conjunto de los enteros positivos es un conjunto inductivo.
Ejemplo 2.
El conjunto de los nmeros Reales es un conjunto inductivo.
Ejemplo 3.
El conjunto S1 = {1, 3, 5, 7, ...} no es un conjunto inductivo, porque
no obstante que 1 S1; (1+1)S1.
El conjunto Z+ es el conjunto de nmeros con la propiedad de que si k
es cualquier conjunto inductivo de nmeros, entonces Z+ k. Se dice a
veces, que el conjunto de los enteros positivos, es el "ms pequeo"
conjunto inductivo de nmeros.
Conceptualizacin de una de las terminologas de las leyes de
inferencia seleccionada

2. LEY DE ADICIN Y TOLLENDO

Se puede adicionar proposiciones simples con el trmino de enlace
disyuncin, aplicando la ley de la adicin. Su abreviatura es LA (Ley de
la Adicin) Deducciones o deduccin proposicional Son la combinacin
de reglas de inferencia lgica que se puede aplicar a un conjunto de
premisas para llegar a la demostracin y obtencin de la conclusin.
Inferencia Lgica Primero presentamos los tipos de inferencia, la
inferencia vlida en computacin y matemticas y al final una serie de
reglas que se utilizan para la inferencia deductiva. La inferencia es la
forma en la que obtenemos conclusiones en base a datos y
declaraciones establecidas. Un argumento, por ejemplo es una
inferencia, donde las premisas son los datos o expresiones conocidas y
de ellas se desprende una conclusin. Una inferencia puede ser:
Inductiva, deductiva, transductiva y abductiva. Inductiva (de lo
particular a lo general) Aqu por ejemplo si durante la primera semana
el maestro llega 10 minutos tarde, podemos concluir que todo el
semestre va a llegar tarde. Esta conclusin no necesariamente es vlida
porque puede ser que el maestro algn da llegue temprano. En general
una inferencia inductiva es la que se desprende de una o varias
observaciones y en general no podemos estar seguros de que ser
verdadero lo que concluimos. En este caso podemos mencionar el
ejemplo el mentiroso: Un joven le dice a un amigo, tu todos los das
dices mentiras, y l contesta, no es cierto, ayer en todo el da no dije
una sola mentira. Resumiendo, la inferencia inductiva es la ley general
que se obtiene de la observacin de uno o ms casos y no se puede
asegurar que la conclusin sea verdadera en general. Deductiva (de lo
general a lo particular).
MODUS TOLLENDO TOLLENS
P q, q p
Tollendo Tollens significa negando, niego, y se refiere a una
propiedad inversa de los
Condicionales, a los que nos referamos en primer lugar.
p entonces q 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. PONENDO PONENS
p q, p q
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).
p entonces q Si llueve, entonces las calles se mojan (premisa)
p Llueve (premisa)
q Luego, las calles se mojan (conclusin)
.
 3. Proceso operativo a travs de la tabla de verdad y de la
aplicabilidad de las leyes de inferencia de la resolucin y
demostracin de la validez del enunciado problmico tipo
argumento que haya seleccionado, con el respectivo
pantallazo como evidencia de la comprobacin a travs del
simulador TRUTH
PROBLEMA 4
Las naciones siempre quieren tener ms y ms poder y as controlar las
riquezas naturales del mundo; por ejemplo Estados Unidos quiere a toda
costa tener el control de las riquezas naturales de pases de los dems
continentes. Por lo anterior: Si Estados Unidos enva soldados a Corea,
ser el nico pas americano que lo haga. Si Estados Unidos enva
soldados a Corea, los americanos residentes en ese pas estn en
peligro. Estados Unidos enva soldados a Corea. Luego, Estados Unidos
es el nico pas americano que enva soldados a Corea y los americanos
residentes estn en peligro. Determinar con el uso de las dos formas de
la tabla de verdad la validez del razonamiento y hacerlo tambin con el
uso de las leyes o reglas de inferencia.
PREPOSICIONES SIMPLES
P: Si Estados Unidos enva soldados a Corea
Q: ser el nico pas americano que lo haga
R: los americanos residentes en ese pas estn en peligro
PREPOSISONES COMPUETSAS
1. Si Estados Unidos enva soldados a Corea ENTONSES ser el
nico pas americano que lo haga.
2. Si Estados Unidos enva soldados a Corea ENTONSES los
americanos residentes en ese pas estn en peligro.
3. ENTONSES los americanos residentes en ese pas estn en
peligro
EXPRESION SIMBOLICA O FORMAL:
[(P =Q)^(P=R)]=(Q=R)

4. Link de acceso a presentacin en Prezi de la terminologa

del lgebra de Boole

http://prezi.com/xqbzhlu26yio/?utm_campaign=share&utm_medium=c
opy
 CONCLUSIONES

Se dio solucin a los ejercicios escogidos en el entorno de aprendizaje

colaborativo dando los 3 ejemplos Modus Ponendo Ponens y Modus
Tollendo Tollens. El problema basado en situaciones del mundo real y
cotidiano. Con el respectivo pantallazo como evidencia de la
comprobacin a travs del simulador TRUTH. Como lo propone la gua
de actividades.
 Bibliografa

Modus ponendo ponens. (4 de abril 2015) Reglas de Inferencia, Tablas de

Certeza, Conectores Lgicos, Funciones Lgicas, Reduccin de funciones
mediante lgebra de Boole. [Archivo de video]. Recuperado de
https://youtu.be/M7y5JGFN5wM

Modus Tollendo Ponens. (4 de abril 2015) Reglas de Inferencia, Tablas de

Certeza, Conectores Lgicos, Funciones Lgicas, Reduccin de funciones
mediante lgebra de Boole. [Archivo de video]. Recuperado de
https://youtu.be/a8VmA_wTWRE

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=
10995629&tm=1489710145734

http://hdl.handle.net/10596/7960