DEMOSTRACIN

Jess Ramrez
Jos Martnez
Duberney Barrios

ESTRUCTURA DE LA MATEMATICA.

CONCEPTO INDIVIDUAL
Hace referencia a objetos en particular.

CONCEPTO ESPECIFICO
se refieren a conjuntos de objetos que tienen propiedades comunes.

DEFINICIONES DESCRIPTIVA

Explica el significado de un signo lingstico (vocablo), recurriendo a

trminos que se
suponen mas familiares.

DEFINICIONES FORMALES

Establece una convencin mediante la cual se puede usar un signo

lingstico en lugar de otro.

TERMINOS NO DEFINIDOS O PRIMITIVOS

Son trminos que son arbitrariamente conocidos.
Ejemplo: conjunto, recta, punto, plano, estar entre, etc.

DEMOSTRACIN:

TEOREMA.

ESTRUCTURA DE LA DEMOSTRACIN.

TIPOS DE DEMOSTRACIN.

DEMOSTRACIN EXHAUSTIVA Y POSIBILIDADES LGICAS.

METODOS DE REFUTACIN.

TEOREMA:

teorema es toda proposicin que se puede demostrar utilizando otros

Un
elementos conocidos y algunas reglas de la lgica.

ALGUNOS TEOREMAS EN ARITMETICA.

1. El producto de dos nmeros impares, es un entero impar.
2.

es un nmero irracional.

ALGUNOS TEOREMAS EN GEOMETRIA.

1. Los suplementos del mismo ngulo son congruentes.
2. La suma de las medidas de los ngulos interiores de un tringulo es 180.

ESTRUCTURA DE LA DEMOSTRACIN.

Consta de tres partes.

1. Los fundamentos empleados como base de la demostracin.
2. La proposicin cuya validez se trata de probar.
3. El procedimiento empleado para lograr que la proposicin quede
demostrada.

Trminos no definidos
Definiciones
postulados

Proposiciones
Relaciones
leyes

TIPOS DE DEMOSTRACIN.

DEMOSTRACIN DIRECTA.

la demostracin directa determina la veracidad del teorema HT Por

medio del anlisis de la misma tesis.
Para demostrar un teorema por este mtodo, se acepta la validez de la
hiptesis y a partir de esta, de los postulados, las definiciones y los
teoremas demostrados, se prueba la validez de la tesis.

DEMOSTRACIN INDIRECTA.

Este tipo de demostracin se basa en el hecho de que si T es falsa,

entonces la tesis es verdadera. La mejor manera de hacerlo es mostrando
que T no es compatible con las afirmaciones dadas en la hiptesis.

DEMOSTRACIN EXHAUSTIVA Y POSIBILIDADES LGICAS.

Las demostraciones exhaustivas y las posibilidades lgicas se basan en el

estudio de casos que se presentan dentro de las premisas que conforman
el enunciado. En la demostracin exhaustiva se dan los siguientes pasos:
1. Separar la hiptesis en varios casos.
2. Para cada caso probar la tesis.

En las posibilidades lgicas se puede analizar de diferente manera, que

va desde una clasificacin simple y elemental, hasta un compleja y
refinada. Los requisitos para el anlisis de las posibilidades lgicas son:
1. Debe darse una, y solo una de las posibilidades en cualquier circunstancia
concebible.
2. Debe ser lo suficientemente fino, para asegurar el valor de verdad de cada
enunciado bajo consideracin en el problema.