UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Primer Aporte Individual

Demostraciones Directas e Indirectas

Presenta:

VICTOR GUILLERMO ZAPATA

499

Villavicencio, Meta, Colombia Mayo 2016

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Primer Aporte Individual

Demostraciones Directas e Indirectas

Primer Aporte Fase Individual para cumplir la Actividad del Trabajo colaborativo 3

Curso Pensamiento Lgico Matemtico

Presenta:

VICTOR GUILLERMO ZAPATA

499

Tutor.

Ing. Adrin Reinaldo Valencia

Villavicencio, Meta, Colombia Mayo 2016

 INTRODUCCIN

En matemticas no se acepta una proposicin como verdadera hasta que se construye su

demostracin formal, aunque la proposicin sea vlida para un nmero finito de casos no

significa que sea vlida para todo el universo, por ejemplo la conjetura de Goldbach se ha

verificado utilizando computadoras para millones de casos pero a pesar de ello no se acepta

como verdadera. Un mtodo de demostracin es un esquema argumentativo vlido con

fundamento lgico no perteneciente en si a la matemtica sino como elemento propio de

una meta teora. La validez de la argumentacin radica en la veracidad de las hiptesis

consideradas para deducir una conclusin.

LA DEMOSTRACIN

La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el

enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los

procedimientos de demostracin permiten establecer la conexin lgica entre las

proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la

conclusin o tesis que as se demuestra.

Los principales tipos de demostracin son:

LA DEMOSTRACIN DIRECTA

La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o

premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t

como consecuencia inmediata.

Ejemplo 1.

Dadas las premisas: 1. p ~q

2. r q

Concluir: t. p ~r

Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:

3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como

p ~q y ~q ~r, entonces, p ~r. Por SH

LA DEMOSTRACIN INDIRECTA

Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando

que las consecuencias de su contraria son falsas.

Ejemplo 1.

Construir la demostracin indirecta de:

Si x2 es par, entonces x es par, (con x entero)

Suponga que existe al menos un entero x tal que x2 es par y x es impar.

Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces

x2 es impar, luego es imposible que x sea impar y que x2 sea par.

Esta es la contradiccin buscada.

La demostracin por recursin

Cuando la tesis se prueba por medio de induccin matemtica.

Ejemplo 2.

Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin

abierta en una variable n, y es necesario demostrar que tal proposicin se verifica para

todos los elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros

enteros, el axioma de la induccin matemtica es el siguiente:

Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n),

se puede demostrar la verdad de esta proposicin estableciendo los siguientes pasos:

I. P(a) es verdadera cuando se sustituye n por a en P(n)

II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P (k)

es verdadera, a esta proposicin, se le llama Hiptesis de Induccin.

III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es verdadera
 BIBLIOGRAFIA

Leccin 24: Demostracin directa e indirecta - Unad

datateca.unad.edu.co/.../leccin_24_demostracin_directa_e_indirecta.html

LOS METODOS DE DEMOSTRACION EN MATEMATICAS ... - Usac

biblioteca.usac.edu.gt/tesis/07/07_1914.pd