DEDUCCION Y DEMOSTRACION

Geometra Moderna: Estructura y Mtodo

Por: JURGENSEN, DONNELLY, DOLCIANI.
S el hombre dependiera tan slo de la
experimentacin y del razonamiento inductivo, el
progreso de la humanidad caminara a paso lento.
Afortunadamente, en el perodo que se inici
alrededor
de 600 a.C., los griegos descubrieron que por simple
razonamiento y sin necesidad. De experimentacin
repetida, observacin o conjetura inteligente, se poda
llegar al descubrimiento de una serie de
demostraciones geomtricas cuando se aceptaban
algunas a manera de hiptesis.
Los griegos abordaron el estudio de la geometra, con
poco inters por sus aplicaciones. Les interesaba
como tema en el que se poda aplicar fcilmente los
principios del razonamiento lgico. Se preocuparon
por definir trminos, listar suposiciones bsicas y
organizar sistemticamente las conclusiones basadas
en aquellas definiciones y suposiciones.
Uno de los gemetras ms conocidos de la antigedad
es el sabio griego Euclides, 300 a.C., que elaboro una
obra de trece volmenes llamada Los Elementos. Seis
de los volmenes se referan a la geometra en el
plano. Sus libros fueron la base de todos los textos de
geometra plana hasta bien entrado el siglo xx.

En este captulo se estudiarn las

caractersticas del pensamiento lgico de las
matemticas
Sin embargo se principiara con ejemplos de la vida
diaria y de los cursos previos de matemticas.

SIGNIFICADO DEL PENSAMIENTO DEDUCTIVO

RAZONAMIENTO DEDUCTIVO
Consideremos las dos proposiciones siguientes:
S un estudiante pertenece al equipo de tenis de la escuela
secundaria de San Luis, entonces su promedio de
calificaciones escolares debe ser por lo menos 8.
Carlos Pea pertenece al equipo de tenis de la escuela
secundaria de San Luis
S se aceptan como verdaderas estas dos proposiciones, se
debe estar en disposicin de aceptar la conclusin obvia de
que Carlos Pea debe tener por lo menos 8 de promedio en
sus calificaciones escolares. La conclusin resulta del
razonamiento a partir de los hechos aceptados. En este caso
la simple conjetura no juega ningn papel. La sola aceptacin
de dos proposiciones, no es siempre una garanta para llegar
a una conclusin admisible. Las dos proposiciones aceptadas
pueden ser tales que:
Una de ellas sea una proposicin general que indique que
cierto conjunto de condiciones implican cierta conclusin.
La otra sea una proposicin que hable de una situacin
particular en la cual se cumplen todas las condiciones
especificadas en la proposicin general.

Cuando se acepta una proposicin general y se razona a partir

de ella para obtener una conclusin en una situacin
particular (como en el ejemplo anterior), en realidad se est
razonando deductivamente. El proceso se llama deduccin.
Algunas veces la conclusin misma se llama deduccin.
EJEMPLO 1.Afirmacin: Puesto que Garca juega en las ligas mayores,
obtiene un buen salario.
Proposicin General Aceptada: Todos los jugadores de las ligas
mayores obtienen un buen salario.
Proposicin en una Situacin Particular: Garca juega en las
ligas mayores.
Conclusin: Garca obtiene un buen salario.
EJEMPLO2.Afirmacin: S 2X = 16, entonces x = 8
a b
Proposicin General Aceptada: S a=b y c 0,entonces c = c .

Proposicin en una Situacin Particular: 2x = 16

Conclusin:

2 x 16
= o sea x =8
2
2

NOTA.
Cuando un matemtico busca nuevas ideas, hace uso de la
INDUCCION
Cuando desea agrupar sus ideas y sacar conclusiones a partir
de ellas, hace uso de la DEDUCCION.
PROPOSICIONES DEL TIPO SI-ENTONCES

En el razonamiento deductivo se usan a menudo las

proposiciones del tipo Si Entonces. Una proposicin de este
tipo contiene dos clusulas: una clusula precedida de si
llamada hiptesis y una clusula
Precedida de entonces llamada conclusin. Se dice que la
hiptesis implica la conclusin
Si voy a la escuela hoy, entonces ver al nuevo director
hiptesis
Si x - 8 = 12,
hiptesis

conclusin
entonces

x = 20

conclusin

Si los ngulos son rectos, entonces tienen la misma medida

hiptesis

conclusin