Está en la página 1de 9

PENSAMIENTO LOGICO Y MATEMATICO

USO DE LAS REGLAS DE LA INTERFERENCIA

ING. DELFINA REYES

TUTOR

DIEGO ALEXANDER TARAZONA FIGUEROA

GRUPO 200611_266

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

INGENIERA INDUSTRIAL

BUCARAMANGA, SANTANDER
OBJETIVOS

OBJETIVO GENERAL

Aprender y diferencias las reglas de la inferencia lgica, para poder aplicar a la solucin de
problemas propuestos

OBJETIVOS ESPECIFICOS

Entender las reglas de la inferencia lgica

Comprender la aplicacin de las reglas de inferencia lgica para la demostracin de


soluciones

Aplicar las leyes de la inferencia lgica para relacionarlos con casos de la vida real

Analizar las premisas que integran un problema para disear la estrategia de la solucin
aplicando las reglas de la inferencia para llegar a la demostracin solicitada
INTRODUCCION

Antes de hablar acerca de las reglas de inferencia es bueno resaltar algunos conceptos
claros y bsicos para el entendimiento de este; uno de ellos son las lgica.

La lgica es una rama de la filosofa la cual estudia la demostracin e inferencia valida. Es


una rama de la matemtica que se desarroll en el siglo XIX, es considerada como la
ciencia del razonamiento.

El estudio de la lgica y de las proposiciones nos ayudara a tener un pensamiento preciso


y herramientas para argumentar claramente situaciones de una manera ms exacta.

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 relacionados 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. Dando a conocer Demostracin por contraposicin (formalizado
y utilizado en los silogismos por Aristteles) Demostracin por reduccin al absurdo
(formalizado y utilizado por Aristteles) Induccin matemtica Demostracin por
Contraejemplos
DEMOSTRACION POR CONTRAPOSICION

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 contra
positiva son lgicamente equivalentes: si la afirmacin es cierta, entonces su contra
positivo es cierto, y viceversa.1

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.2 En otras palabras, la conclusin "si A, entonces B" se extrae de la premisa
simple "si no B, entonces no A."

Demostracin por contraposicin (formalizado y utilizado en los silogismos por


Aristteles),

El mtodo de demostracin por contra positiva es un mtodo indirecto que tiene como
fundamento la equivalencia lgica (PQ)(QP) Para realizar una demostracin por
contra positiva se toma como hiptesis la negacin de la conclusin escrita como Q para
obtener como conclusin la negacin de la hiptesis escrita como P

EJEMPLO 1

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.

EJEMPLO 2

La Proposicin 1.2 es: para todo entero n, si n2 es par entonces n es par. Demuestre la
proposicin 1.2 por contra positiva.
Demostracin: Se observa que la implicacin: si n2 es par entonces n es par, con hiptesis
P: n 2 es par y conclusin Q: n es par, es equivalente a la implicacin: si n es impar
entonces n2 es impar con hiptesis Q: n es impar, y conclusin P: n2 es impar 49
Recordando que el inicio de la demostracin por contra positiva es la hiptesis Q: n es
impar, se tiene el siguiente proceso lgico deductivo formal:

Proposicin Razn
1) n es impar por hiptesis
2) n=2k+1 por proposicin 1)
3) n2 =(2k+1)2 elevando al cuadrado ambos lados de la
proposicin 2)
4) n2 = 4k2 +4k+1 algebra elemental y proposicin 3)
5) n2 = 2(2k2 +2k)+1 algebra elemental y proposicin 4)
6) n2 es impar por proposicin 5)

Hemos obtenido como conclusin P: n2 es impar. Queda demostrada


formalmente la proposicin 1.2 por contra positiva

EJEMPLO 3:

p (q ^ r), (q s) t, (p s) |= t
Demostracin:
1. p (q ^ r) Premisa
2. (q s) t Premisa
3. p s Premisa
4. t Premisa Adicional
5. (q s) MPP(2,4)
6. q ^ s Ley de Morgan(5)
7. q LS(6)
8. s LS (6)
9. p SD (3,8)
10. q ^ r MPP (1,9)
11. q LS (10)
12. q ^ q Conjuncin (7,11)
pero esto ltimo es una contradiccin, por lo que queda demostrado el argumento.

Simplificacin y Ley de la conjuncin.

En lgica proposicional, la simplificacin1 2 3 (equivale a la sustitucin de una conjuncin por


uno de sus componentes ) es una inferencia inmediata vlida, forma de argumento y regla de
inferencia que hace que la inferencia de que, si la conjuncin A y B es cierta, entonces A es
verdad ( o bien "B tambin es verdad", otra conclusin). La regla permite acortar
las pruebas ms largas mediante la derivacin de una de las conjunciones de una conjuncin
en una lnea por s misma.

Uno de los operadores lgicos primarios es la conjuncin lgica, que es la


unin de dos o ms enunciados en donde todos ellos deben de ser
verdaderos para que el enunciado resultante de la conjuncin sea
verdadero.

EJEMPLOS:

Un automvil enciende si tiene batera y tiene gasolina, es decir, ambos


enunciados deben de ser verdaderos para que la conjuncin sea verdadera.

Vamos a cenar y a bailar, esta conjuncin es verdadera nicamente si


cenamos y bailamos de lo contrario el enunciado de la conjuncin es falsa.

Se considera que un nmero es primo si es divisible entre s mismo y la


unidad, y en ningn otro.

Los seres vivos son aquellos que nacen y tienen la capacidad de crecer,
tienen la capacidad de reproducirse y tienen la capacidad de morir.

1. EJEMPLO:

Soy un gran aficionado al ftbol y mi equipo ha pasado a disputar la final


del torneo y algo que he aprendido es que en 90 minutos del juego se viven
y se sienten muchas emociones, hay minutos de intensa alegra otros
minutos de ansiedad, otros de tristeza, en fin el ftbol es una pasin que
genera toda una gama de sensaciones. Hoy es el da del partido de la final y
voy a narrar lo que viv en el transcurrir de los 90 minutos: Si mi equipo
gana yo me pongo contento. Si mi equipo pierde me pongo triste. En este
momento mi equipo est ganando o est perdiendo. Por consiguiente, estoy
contento o triste. Comprobar la validez del razonamiento que he hecho
frente a las emociones que viv en el partido de la final, hacerlo a travs de
las dos maneras con la tabla de verdad y con el uso de las leyes de
inferencia.

Preposiciones simples

P: mi equipo gana

Q: mi equipo pierde

R: yo me pongo contento

S: me pongo triste

Premisas

Premisa 1: Si mi equipo gana yo me pongo contento (PR)

Premisa 2: Si mi equipo pierde me pongo triste (QS)

Premisa 3: En este momento mi equipo est ganando o est perdiendo (P v Q)

Conclusin: estoy contento o triste (R v S)

Razonamiento en lenguaje formal

[(PR) ^ (QS) ^ (P v Q)] (R v S)


REGLAS DE INFERENCIA

PR

QS

PvQ

CONCLUSION R v S

SOLOGISMO DISYUNTIVO