263-Fase Individual-Leidy Picon

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 1
ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA
Unidad 3- Paso 3 - Uso de las reglas de inferencia
LEIDY STELLA PICON CHAPARRO
Grupo Colaborativo
200611_263
Tutor
ING. DELFINA REYES
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD).
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
PENSAMIENTO LOGICO Y MATEMATICO
BUCARAMANGA
MAYO 09 DE 2017
Introduccin
La teora de la demostracin o teora de la prueba es una rama de la lgica matemtica que trata a
las demostraciones como objetos matemticos, facilitando su anlisis mediante tcnicas
matemticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente
definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas
lgicos. En este sentido, la teora de la demostracin se ocupa de la sintaxis, en contraste con la
teora de modelos, que trata con la semntica. Junto con la teora de modelos, la teora de
conjuntos axiomtica y la teora de la recursin, la teora de la demostracin es uno de los
"cuatro pilares" de los fundamentos de las matemticas.
Una demostracin matemtica es una sucesin coherente de pasos que, tomando como verdadero
un conjunto de premisas (hiptesis), permite obtener la veracidad de una tesis. Estos pasos deben
estar fundamentados en la 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. El
hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la
demostracin de la negacin de este resultado implica que es falso.
Aunque en general no existe un procedimiento nico de demostracin de teoremas, s existen
diferentes tipos de demostraciones que son utilizados comnmente en matemticas:
Demostracin por contraposicin (formalizado y utilizado en los silogismos por Aristteles)
Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles)
Induccin matemtica.
Objetivos de la Actividad.
Objetivo General:
Con esta actividad se busca que el estudiante identifique y utilice en forma clara las reglas de
inferencia lgica por induccin y deduccin en formulaciones y demostraciones de
razonamientos vlidos en situaciones especficas.
Objetivos Especficos:
Conceptualizar los procesos de demostracin lgica y clasificarlos en directas e
indirectas.
Identificar y conceptualizar 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.

Demostracin por Contradiccin
La demostracin de un teorema diremos que es por contradiccin cuando suponiendo que la
conclusin, Q, es falsa y utilizando la hiptesis P, y otros teoremas y equivalencias lgicas
establecidas previamente, se llega a una contradiccin.
Est basada en la equivalencia lgica conocida como reduccin al absurdo, es por ello que este
mtodo de demostracin es conocido, tambin, como demostracin por reduccin al absurdo.
()
Donde C es una contradiccin. Por lo tanto, si probamos que () C es una tautologa
tendremos que tambin lo es y, consecuentemente, =
Ejemplo 1. Demostrar que si el cuadrado de un nmero entero es impar, entonces el nmero es
impar.
Demostracin
El teorema a demostrar es Para cada entero n, si n2 es impar, entonces n es impar
Si
p(n): n es impar entonces el esquema del teorema en notacin simblica ser
[(^2) ()]
En el universo de los nmeros enteros.
Lo demostraremos por contradiccin o reduccin al absurdo. El esquema seria
[(2 )()) ]
Donde C es una contradiccin.
Pues bien, sea n cualquier nmero entero.
Supongamos que n2 es impar y que, sin embargo, n no es impar. Entonces, tendremos que n2 es
impar y n es par.
De aqu que por la definicin de nmero impar y la de par tenemos que existan dos nmeros
enteros k y l tales que:
2 = 2 + 1 = 2
Luego,
2 = 2 + 1 2 = 4 2
Por lo tanto,
2 + 1 = 4 2
De donde se sigue que,
1 = 4 2 2 = 2(2 2
Y como si l y k son enteros, 2 2 tambin lo es (lo llamaremos m), tendremos que
hemos encontrado un numero entero m tal que
1 = 2m
Es decir, el 1 es par, lo cual, obviamente, es una contradiccin.

Lo que nos ha llevado a la contradiccin es la suposicin de que n no era impar, por lo tanto esta
es falsa, siendo cierta la contraria, es decir, n es impar.
Ejemplo 2. Demuestre que 2 no es racional
La conclusin Q es: 2 no es racional siendo su negacin Q: 2 es racional que es considerada como
hiptesis.
Supongamos que 2 es racional, es decir, existen enteros 0 y primos relativos tales que 2 = , es
decir, 2 =. Elevando al cuadrado ambos lados de la ecuacin 2 = obtenemos que 2 2 = 2 de
donde se tiene que 2 es par y por proposicin se tiene que es par, por lo que existe un entero k tal
que =2k, sustituyendo en la ecuacin 2 2 = 2 se tiene que 2 2 = (2k)2 que al simplificar queda 2
=2k2 de tal manera que 2 es par y por proposicin es par.
La contradiccin que se obtiene es que y son primos relativos, es decir que su mximo comn
divisor es 1 y por otra parte, y son divisibles por 2 porque ambos son pares. Ante esta evidente
contradiccin se tiene que la negacin de Q es falsa por lo que Q es verdadera.
Ejemplo 3. Demostrar que si a y b son nmeros enteros que cumplen con la igualdad
a + a2 + a3 = b + b2, entonces a es par.
De acuerdo con las reglas de Reduccin al Absurdo suponemos que a es un nmero impar, como
a es impar entonces a2 y a3 son impares por lo tanto a + a2 + a3 es tambin un nmero impar.
Como b + b2 = a + a2 + a3 Entonces b + b2 es impar; pero b + b2es par ya que b + b2 = b (b + 1)
por lo que b o (b+1) es un nmero par lo que es una contradiccin, entonces la premisa de que a
es impar es falsa por lo tanto su negacin a es par, resulta verdadera.

Leyes o Reglas de Inferencia
Las leyes de inferencia son mecanismos sintcticos que permiten deducir y razonar lgica y
coherentemente una inferencia o conclusin a partir de hechos que ya conocemos.
Realizar inferencias significa derivar nuevos hechos a partir de un conjunto de otros hechos
conocidos y que son verdaderos.
Adjuncin y simplificacin
Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjuncin, podemos unirlos en una sola premisa utilizando el operador
(conjuncin).
a) Adjuncin:
p p
q o q
_____ _____
qp pq
b) Simplificacin:
pq pq
____ o ____
p q
Su abreviatura es Ad. Simblicamente seria:
(1) P
(2) Q
_____
(3) P&Q Ad. 1-2
Ejemplo 1:
(1) RS
(2) TU
________
(3) (RS) & (TU)
Ejemplo 2:
p Juan es cocinero
q Pedro es polica
__________________________________
p q Juan es cocinero y Pedro es polica
Simplificacin (S): claramente, es la operacin inversa. Si disponemos de un enunciado formado
por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros dos
enunciados afirmados por separado.
Su abreviatura es Sim.
Ejemplo 2:
(1) R & S
_________
(2) R Sim 1
(1) R & S
________
(2) S Sim 1
(1)( )&
_____________
(2) 1
Ejemplo 3:
p q Tengo una manzana y tengo una pera

p Tengo una manzana
_____________________________________
q Tengo una pera
Ejemplo 4:
p: Claudia Bahamon es modelo

q: Juan Gossain es periodista
____________________________________________________
p^q: Claudia Bahamon es modelo y Juan Gossain es periodista
Tercera etapa
4. En un colegio de la ciudad se est buscando brindar un premio al estudiante con el mejor
promedio acadmico; para lo cual se quiere exonerar a dicho estudiante de los exmenes
finales. Es as que en la reunin acadmica se hace el siguiente anlisis: Si Jaime posee
un promedio ms alto que Pablo, entonces Martha posee un promedio ms bajo que Aura.
Martha no tiene un nivel acadmico ms bajo que Aura. Si Jaime y Lina tienen el mismo
promedio, entonces Jaime est con un promedio ms 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.
P: Si Jaime posee un promedio ms alto que Pablo
Q: Martha no tiene un nivel acadmico ms bajo que Aura
R: Jaime y Lina no tienen el mismo promedio
PREMISAS
Primera Premisa:
Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un promedio ms
bajo que Aura.
Segunda Premisa:
Martha no tiene un nivel acadmico ms bajo que Aura
Tercera Premisa
Si Jaime y Lina tienen el mismo promedio, entonces Jaime est con un promedio ms alto
que Pablo
( ) ( ) ( )
Tabla de verdad
p q r ( ) ( ) ( ) ( ) ( ) ( ) ( )
V V V V V V V V
V V F V F F F F
V F V V V F F F
V F F V F F F F
F V V F V F F F
F F F F F F F F
F V V F V F F F
F F F F F F F F
Es una tautologa
Simulador Truth
CONCLUSIONES
En lgica matemtica y en lgica proposicional, una demostracin es una secuencia
finita de frmulas lgicas bien formadas: F1,..., Fn tales que cada Fi es o bien un
axioma o bien un teorema que se deduce de dos frmulas anteriores Fj y Fk (tales que
j<i y k<i) mediante una regla de deduccin vlida. Dada una demostracin como la
anterior si elemento final Fn no es un axioma entonces es un teorema. En un lenguaje
formal puede decirse que una demostracin es una secuencia de "palabras"
gramaticalmente bien formada.
Entender las reglas de la inferencia lgica, para poderlas aplicar en la solucin de
problemas propuestos y, adems relacionarlos con casos de la vida real.

BIBLIOGRAFA
http://www.um.es/docencia/jsimon/depmat/2013-2014/CyN/Linero-
DemostracionMatematicas(jsimon).pdf
http://www.acm.ciens.ucv.ve/main/entrenamiento/material/absurdo.pdf

263-Fase Individual-Leidy Picon

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

263-Fase Individual-Leidy Picon

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 1

ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA

Unidad 3- Paso 3 - Uso de las reglas de inferencia

LEIDY STELLA PICON CHAPARRO

ING. DELFINA REYES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD).

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA

PENSAMIENTO LOGICO Y MATEMATICO

las demostraciones como objetos matemticos, facilitando su anlisis mediante tcnicas

matemticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente

lgicos. En este sentido, la teora de la demostracin se ocupa de la sintaxis, en contraste con la

conjuntos axiomtica y la teora de la recursin, la teora de la demostracin es uno de los

"cuatro pilares" de los fundamentos de las matemticas.

estar fundamentados en la 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. El

hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la

demostracin de la negacin de este resultado implica que es falso.

Aunque en general no existe un procedimiento nico de demostracin de teoremas, s existen

diferentes tipos de demostraciones que son utilizados comnmente en matemticas:

Demostracin por contraposicin (formalizado y utilizado en los silogismos por Aristteles)

Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles)

inferencia lgica por induccin y deduccin en formulaciones y demostraciones de

razonamientos vlidos en situaciones especficas.

Conceptualizar los procesos de demostracin lgica y clasificarlos en directas e

Identificar y conceptualizar los diferentes tipos de leyes de inferencia lgica y sus

respectivas representaciones en las tablas de verdad.

demostrar su validez a travs de las tablas de verdad y de las leyes de inferencia.

Demostracin por Contradiccin

La demostracin de un teorema diremos que es por contradiccin cuando suponiendo que la

conclusin, Q, es falsa y utilizando la hiptesis P, y otros teoremas y equivalencias lgicas

establecidas previamente, se llega a una contradiccin.

mtodo de demostracin es conocido, tambin, como demostracin por reduccin al absurdo.

Donde C es una contradiccin. Por lo tanto, si probamos que () C es una tautologa

tendremos que tambin lo es y, consecuentemente, =

Ejemplo 1. Demostrar que si el cuadrado de un nmero entero es impar, entonces el nmero es

El teorema a demostrar es Para cada entero n, si n2 es impar, entonces n es impar

p(n): n es impar entonces el esquema del teorema en notacin simblica ser

En el universo de los nmeros enteros.

Lo demostraremos por contradiccin o reduccin al absurdo. El esquema seria

Donde C es una contradiccin.

Pues bien, sea n cualquier nmero entero.

enteros k y l tales que:

De donde se sigue que,

Y como si l y k son enteros, 2 2 tambin lo es (lo llamaremos m), tendremos que

hemos encontrado un numero entero m tal que

Es decir, el 1 es par, lo cual, obviamente, es una contradiccin.

es falsa, siendo cierta la contraria, es decir, n es impar.

Ejemplo 2. Demuestre que 2 no es racional

La conclusin Q es: 2 no es racional siendo su negacin Q: 2 es racional que es considerada como

decir, 2 =. Elevando al cuadrado ambos lados de la ecuacin 2 = obtenemos que 2 2 = 2 de

=2k2 de tal manera que 2 es par y por proposicin es par.

contradiccin se tiene que la negacin de Q es falsa por lo que Q es verdadera.

a + a2 + a3 = b + b2, entonces a es par.

a es impar entonces a2 y a3 son impares por lo tanto a + a2 + a3 es tambin un nmero impar.

Como b + b2 = a + a2 + a3 Entonces b + b2 es impar; pero b + b2es par ya que b + b2 = b (b + 1)

es impar es falsa por lo tanto su negacin a es par, resulta verdadera.

Leyes o Reglas de Inferencia

coherentemente una inferencia o conclusin a partir de hechos que ya conocemos.

conocidos y que son verdaderos.

mediante la adjuncin, podemos unirlos en una sola premisa utilizando el operador

Su abreviatura es Ad. Simblicamente seria:

p q Juan es cocinero y Pedro es polica

Simplificacin (S): claramente, es la operacin inversa. Si disponemos de un enunciado formado