UNIVERSIDAD NACIONAL ABIERTA Y A DISTNCIA (UNAD)

PROGRAMA PSICOLOGÍA
CEAD QUIBDO

ACTIVIDAD INDIVIDUAL

USO DE LAS REGLAS DE INFERENCIA

PRESENTADO POR
CLAUDIA PATRICIA RIVAS MOSQUERA
CÓDIGO: 35 891 525
CODIGO DEL CURSO: 850

PRESENTADO A

JOSHUA ANTONIO ROBLEDO

TUTOR

ALTO BAUDO
MAYO 7 DE 2017
 OBJETIVOS

El objetivo de este trabajo es conocer, analizar, comprender e identificar el uso y

las reglas de las leyes de inferencia.

Identificar las terminologías de la lógica matemática en el resultado final de un

problema representado.

Identificar y comprender las leyes de inferencia por medio de tablas de verdad.

 INTRODUCCIÓN

Demostración por contradicción Y reducción al absurdo: Es uno de los métodos

lógicos más utilizados para realizar demostraciones de teoremas matemáticos es

el de Reducción al Absurdo. Este l método consiste en suponer que las

suposiciones que se están utilizando en la demostración son falsas y basadas en

ellas.

A través de este trabajo se dará a conocer las leyes de inferencia que componen

la lógica y sus usos correspondientes ante dichas operaciones matemáticas,

 CONCEPTUALIZACIÓN DE DEMOSTRACIÓN LÓGICA

Demostración por contradicción (reducción al absurdo) Uno de los métodos

lógicos más utilizados para realizar demostraciones de teoremas matemáticos es

el de Reducción al Absurdo. El método consiste en suponer que las suposiciones

que se están utilizando en la demostración son falsas y basados en ellas,

mediante el uso de deducciones matemáticas se llega a una contradicción o a un

resultado absurdo, con lo que se comprueba que la proposición es

necesariamente verdadera. En la lógica proposicional a la Regla de Reducción al

Absurdo también se le conoce como Regla de introducción a la Negación y se

conoce como método de demostración indirecta. Método de demostración por

reducción al absurdo se fundamenta en la condición de no contradicción para una

teoría, básicamente la estrategia consiste en suponer explícitamente la negación

de la proposición a demostrar, a partir de esta hipótesis se trata de generar una

contradicción, esto es: que latería con ese supuesto es inconsistente y, en

consecuencia, tal hipótesis es falsa, o lo que es equivalente, que su negación es

verdadera, quedando validada la proposición iniciada

La demostración por reducción al absurdo es un tipo de argumento lógico muy

empleado en demostraciones matemáticas. Consiste en demostrar que una

proposición matemática es verdadera probando que si no lo fuera conduciría a una

contradicción dada.
EJEMPLOS.

Supongamos que existe solo una cantidad finita de números primos. En ese caso,

podemos ponerlos todos en una lista grande, y multiplicarlos. Llamamos n a este

producto. Pero entonces el número n+1 no es múltiplo de ninguno de los primos

en la lista, lo que significa que o es un número primo, o es un producto de primos

que no están en la lista. En cualquier caso, se llega a una contradicción, de modo

que la suposición inicial es falsa.

Ejemplos

En adelante denotaremos por   al conjunto vacío.

TERMINOLOGÍAS DE LAS LEYES DE INFERENCIA LÓGICA

Segunda etapa

Dilema de constructivo y Absorción.

Es una regla de inferencia válida de lógica proposicional. Es una inferencia que

dice que si P implica Q; y R implica S; y, o bien P o R es verdadero; entonces Q o

S debe ser verdadero. En suma, si dos condicionales son verdaderos, y al menos

uno de sus antecedentes es verdadero, entonces alguno de sus consecuentes

debe de ser verdadero.

El dilema constructivo es la versión disyuntiva del modus ponens, mientras que

el dilema destructivo es la versión disyuntiva del modus tollens.

El dilema constructivo puede escribirse formalmente como:

Donde la regla es que cuando aparezcan las instancias "P Q", " R S ",

y " P v R" en una línea de alguna demostración, se puede colocar " Q v S" en una

línea posterior.

Un ejemplo de dilema constructivo en lenguaje natural es:

Si gano un millón de pesos, lo voy a donar a un orfanato.

Si mi amigo gana un millón de euros, lo va a donar a un hogar de ancianos.

O voy a ganar un millón de pesos, o mi amigo ganará un millón de euros.

Por lo tanto, o un orfanato ganará un millón de pesos, o un asilo ganará un millón

de euros.

El dilema constructivo se llama así por la transferencia de operandos disyuntivos

que ocurre.

ANEXO 1 INCISO 4

En un colegio de la ciudad se está buscando brindar un premio al estudiante con

el mejor promedio académico; para lo cual se quiere exonerar a dicho estudiante

de los exámenes finales. Es así que en la reunión académica se hace el siguiente

análisis: “Si Jaime posee un promedio más alto que Pablo, entonces Martha posee

un promedio más bajo que Aura. Martha no tiene un nivel académico más bajo
que Aura. Si Jaime y Lina tienen el mismo promedio, entonces Jaime está con un

promedio más alto que Pablo. Por consiguiente, Jaime y Lina no tienen el mismo

promedio”. Con el uso de las dos maneras de la tabla de verdad y con el uso de

las leyes de inferencia comprobar la validez del razonamiento hecho.

Respuesta.

P = Jaime pose un promedio más alto que Pablo

Q = Martha posee un promedio más bajo que Aura

R = Martha no tiene un nivel académico más bajo que Aura

S = Jaime y Lina tienen el mismo promedio

T = Jaime y Lina no tiene el mismo promedio

[(P Q) ¬ R] ^ [(S P) ¬ T]
 Q R S T ¬R ¬T (P [(P- (S- [(S- [(P->Q)->¬R]^[(S-
Q) >Q)>¬R] >P) >P)- >P)->¬T]
>¬T]
V V V V V F F V V V F F
V V V V F F F V V V F F
V V V F V F F V V V F F
V V V F F F F V V V F F
V V F V V F V V V V V V
V V F V F F V V V V V V
V V F F V F V V V V V V
V V F F F F V V V V V V
V F V V V V F F F V F F
V F V V F V F F F V F F
V F V F V V F F F V F F
V F V F F V F F F V F F
V F F V V V V F F V V F
V F F V F V V F F V V F
V F F F V V V F F V V F
V F F F F V V F F V V F
F V V V V F F V V F V V
F V V V F F F V V F V V
F V V F V F F V V V F F
F V V F F F F V V V F F
F V F V V F V V V F V V
F V F V F F V V V F V V
F V F F V F V V V V V V
F V F F F F V V V V V V
F F V V V V F V V F V V
F F V V F V F V V F V V
F F V F V V F V V V F F
F F V F F V F V V V F F
F F F V V V V V V F V V
F F F V F V V V V F V V
F F F F V V V V V V V V
F F F F F V V V V V V V
 CONCLUSIONES

Al realizar este trabajo puede darme cuenta de lo necesario e importante que son
las leyes de inferencia en nuestro proceso de aprendizaje
Sin duda estas son de muchísima importancia en casi todos los campos de la
ciencia, en especial las matemáticas

Con el estudio y apoderamiento de las distintas formas de pensamiento, los principios

elementales de la lógica, los conectivos lógicos se intentar lograr su adecuada aplicación; a
través de su conocimiento y de poner en práctica se pretendía conocer todo lo relacionado
con el uso de reglas de inferencias y así para poder aplicarlos en nuestro campo.

BIBLIOFRAFIAS
WIKIPEDIA _ DILEMA CONSTRUCTIVO, DOCUMENTO RECUPERADO DE LA

PAFINA WEB HTTPS://ES.WIKIPEDIA.ORG/WIKI/DILEMA_CONSTRUCTIVO.

METODO POR REDUCCIÓN AL ABSURDO _ INFORMACIÓN RECUPERADA

DE LA PAGINA WEB

http://newton.matem.unam.mx/calculo1/Logica/l_logica09_d.html

MÉTODO DE DEMOSTRACIÓN POR REDUCCIÓN AL ABSURDO,

DOCUMENTO RECUPERADO DE LA

PAGINA WEBhttps://es.scribd.com/doc/137616422/metodo-de-demostracion-por-

reduccion-al-absurdo