Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Grupo Colaborativo
200611_263
Tutor
BUCARAMANGA
MAYO 09 DE 2017
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 2
ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA
Introduccin
La teora de la demostracin o teora de la prueba es una rama de la lgica matemtica que trata a
definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas
teora de modelos, que trata con la semntica. Junto con la teora de modelos, la teora de
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
Induccin matemtica.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 3
ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA
Objetivos de la Actividad.
Objetivo General:
Con esta actividad se busca que el estudiante identifique y utilice en forma clara las reglas de
Objetivos Especficos:
indirectas.
Interpretar un enunciado tipo argumento de una situacin problmica del mundo real y
Est basada en la equivalencia lgica conocida como reduccin al absurdo, es por ello que este
()
impar.
Demostracin
Si
[(^2) ()]
[(2 )()) ]
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 5
ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA
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
2 = 2 + 1 = 2
Luego,
2 = 2 + 1 2 = 4 2
Por lo tanto,
2 + 1 = 4 2
1 = 4 2 2 = 2(2 2
1 = 2m
Lo que nos ha llevado a la contradiccin es la suposicin de que n no era impar, por lo tanto esta
hiptesis.
Supongamos que 2 es racional, es decir, existen enteros 0 y primos relativos tales que 2 = , es
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
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
Ejemplo 3. Demostrar que si a y b son nmeros enteros que cumplen con la igualdad
De acuerdo con las reglas de Reduccin al Absurdo suponemos que a es un nmero impar, como
por lo que b o (b+1) es un nmero par lo que es una contradiccin, entonces la premisa de que a
Las leyes de inferencia son mecanismos sintcticos que permiten deducir y razonar lgica y
Realizar inferencias significa derivar nuevos hechos a partir de un conjunto de otros hechos
Adjuncin y simplificacin
Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas separadas,
(conjuncin).
a) Adjuncin:
p p
q o q
_____ _____
qp pq
b) Simplificacin:
pq pq
____ o ____
p q
(1) P
(2) Q
_____
(3) P&Q Ad. 1-2
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 8
ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA
Ejemplo 1:
(1) RS
(2) TU
________
(3) (RS) & (TU)
Ejemplo 2:
p Juan es cocinero
q Pedro es polica
__________________________________
por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros dos
Su abreviatura es Sim.
Ejemplo 2:
(1) R & S
_________
(2) R Sim 1
(1) R & S
________
(2) S Sim 1
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 9
ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA
(1)( )&
_____________
(2) 1
Ejemplo 3:
Ejemplo 4:
Tercera etapa
promedio acadmico; para lo cual se quiere exonerar a dicho estudiante de los exmenes
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.
PREMISAS
Primera Premisa:
Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un promedio ms
Segunda Premisa:
Tercera Premisa
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 11
ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA
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
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 12
ESCUELA CIENCIAS BSICAS, TECNOLOGA E INGENIERA
CONCLUSIONES
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
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