80 REINALDOCADENAS yMAURO RIVAS

(..) Los matemát.icos nos planteamOs dos objetivos

ahora que entramos en el nuevO milenio. El primero
es el ser capaces de mantener la tradicional fortaleza,
de nuestra investigación básica, que es el semillero
de nuevas ideas y nuevas aplicaciones.
El segundo es ampliar nuestrocontacto con el mundo
que está más alláde la Ciencia. Cada año que pasa.,
los matemáticos van consiguiendo ser más eficientes
en el trabajo que ofrecen a los demnás y en la tarea
de incorporar a otros al mundo de las matemáticas.

Para finalizar, sin pretensión de ser rigurosos ni exhaustivos,

los acontecimientos históricos presentados constituyen suficiente
fundamnento para observar la secuencia con que se presentan, en
dos momnentos distintos de la historia de la humanidad, los he
chos siguiendo los mismos derroteros. Nace la matemática de una
necesidad real, inicia su avance fundada en la intuición logran
do ir más alláde la realidad sensible, comienza a organizarse a
través de un fornalismo-logicismo comprendido por el método
axiomático cuya condición esencial es el rigor científico. Primero,
los antiguos griegos; luego, los modernos europeos, todos llegando
a conclusiones metodológicas similares aunque con objetos distin
tos y en momentos muy distantes. No obstante, las limitaciones
de los antiguos son superadas por los modernos, dando así lugar
a una gran avanzada de la matemática y produciéndose un gran
número de nuevOs conocinientos y aplicaciones que colocan a la
matemática en un lugar especial del desarrollo científico general
de la humanidad. Las Matemáticas puras y las Matemáticas apll
cadas de desarrolan a un ritmo vertiginoso. Los problemas de
Matemáticas puras son tan numerosos y tan diversos, y requieren
tantos conocimientos previos para poder abordarlos, gue absorben
la total actividad de quienes lo estudian.
rimero método.
El sufundamentales:
objeto
y su aspectos dos car
identith necesario ciencia
es matemática
como lahablar
de Al
capitulo. presente del
resto referiráelinterrogante
se estadefinición?
A esta número
en
cienciay delocon pasó preguntarse:
iqué podría además, guien,
mológica.
Al intención una con bien más matemático,
sino
iento generar interés
de elcon da se no ésta que claro
enerse debeembargo matemáticos,
sin términos definición
en
una rigor
de tenga
el anterior
no definición laqueposible Es
generales. más vez cada "objetos
mportamiento
tales de patrones
de generación
de búsqueda
de
eterminados"
la en "objetos conjunto
de un
entre relación la
estudioes fundamentalde objeto cuyo intuitiva,y formal,
no ca
lógi una obedecenaargumentos cuyosempírico, lorelación
con
todadesprendido
de "razonamiento
puro, actividad
de
ización,a proceso
de ese través
de pasandoaorganizarlos,
necesidad
de conocimientos
hubo más generando
másy fue que
medida
en laen
personas,
que laempíricas
s de reales, pecíficas
necesidades
es nacida
de humana actividad Una expresar
así:
podría se
idea aproximación
tal a rigurosos,
uma pretender
ser
descrito.
Sin anteriormente desarrollo proceso
de comprensión
del
la
resultar
de matemática
debe esqué deidea La
definir. deta.
tra se término
que mismo complejas
elque más quizásceptuales
categorías
con refiereadefinición obstante,
tal números.
No Ios
ciencia
de palabras: pocas definición
de una resumirse
en Duede
refiere
matemática término elque sobre
loconcepción Una
matemática? iQué
es
cción concepcióny matemátic0,
Su conocimiento El 19
81 MATEMÁTICA FUNDAMENTOS
LADE
82 REINALDO CADENAS yMAURO RIVAS

de estos aspectos se puede identificar fácilmente en la definición

dada. El segundo de estos aspectos se refiere a la necesidad de
organización que se menciona en la definición expuesta. Es decir,
el método de la. matemática es el método de suorganización y el
modo de producir nuevos conocimientos; es el método ariomático,
el cual se explica con detalle más adelante. Así, la matemática
queda dotada de un objeto y un método, método éste que por
demás es el fundamento del método científico, adquiriendo de es
te modo las caracterizaciones necesarias para su calificación como
ciencia, estando tales caracterizaciones presentes en la definición
referida.
Respectoal término número, deben considerarse varios aspec
tos. El número es comúmmente concebido como el objeto de es
tudio de la matemática. La definición dada refiere al objeto de
la matemática como el estudio de las relaciones entre objetos de
terminados. En general, existe siempre una gran afinidad entre
esos objetos determinados y los números. Si se acepta que tales
objetos son exclusivamente números, se estaría limitandola ma
temática y, en todo caso, el estudio de Euclides sería en buena
parte no matemático, lo cual resulta inaceptable. Para Romero y
Gottret, en la compilación realizada por Lizarzaburu y Zapata
Soto (2001), la diferenciación entre la generalidad del objeto de
estudio de la matemática y su particularización a los números,
determina la nominación en plural o singular de esta ciencia. Es
decir, el término matemáticas
temáticas (plural) se refiere a las diferentes
formas de esta ciencia en relación con su objeto de estudio; si el
objeto de estudio es los números y sus relaciones, entonces de
be utilizarse el término matemática (singular). En este orden de
ideas. el estudio que concierne a este texto es el estudio de \as
matemáticas, aun cuandose ha hecho referencia a ellas sólo eu st
nominación en singular. Por otra parte, debe notarse que el origen
sición esa que probar necesario acaso preguntarse:
¿Es dría
Cualquiera
po m?. 2nm+ n'+ =m)' entonces
+(n N Enm,
verdadera.
Si proposición
es siguiente laqueprobar tratar
de
retoel un
considérese
como texto, este desarrollo
de damentael
fupedagógico
n que planteamiento coherentes
elcon Siendo
ordenamiento. eseutilizado
en axiomático método el
nciona cómo conocer debe alumno (dato-conocimiento)
elque es
cesarios requisitos los organización.
Parte
de ordenamiento,
una
sentida,
un realmente necesidad una comorequieran, finalmente
nocimientos
que número
de gran existencia
un de establecer
la
uscando específicas, problema situaciones resolver necesidad
de
una partiendo
de persona; la
similar
en manera desarrollado
de
matemático
debe conocimiento construcción
del laguido
en
históric0
se proceso elque texto
es este
presentación
de la ta
ndamen aspectos
que los deuno ideas, orden
de este En
matemática. construcción
la de método
de considerado el
axiom¯tico
es el
método actualidad, la Enhoy. conoce como
se
constituirse
ytal finalmnente
llegar
a axiomático,
para método el
tilizando organizados (conocimientos)
fueron luego que datos de
ulación proceso
de largo pasó
unpor especificos, problemas
resolver útil
paraherramienta como personas las "real"
de dad
necesi con
una comienza histOria,
que de
la largo temático
lo a
conocimiento
ma construcción
del señalado,
la se
ha comno Tal
matemático conocimiento Construcción
del
matemáticas. las
diversidad laallí desdegeométrico,y origen tiene
estudio
de elen cantidad,
embargo,
su aritmética.
Sin lacon ende, por yy
método de
matemáticas
está
las
idea
de con
lanúmero, con
elrelación en
83 MATEMÁTICA FUNDAMENTOS
LA DE
84 REINALDO CADENAS yMAURO RIVAS

es verdadera? Actuando ingenuamente podría argumentarse di

ciendo: "Esta proposición es un producto notable y por tanto es
Cierta. Sin embargo, aunque a primera vista parezca innecesario.
esta proposición es susceptible de ser probada y en un desarrollo
axiomático debe realizarse su demostración. El procedimiento que
se sigue en su demostración, sólo requiere del conocimiento de las
operaciones y propiedades básicas de los números naturales. como
se describe a continuación.

Proposiciones Razones-fundamentos
(n + m) = (n+ n)(n + m) Definición de cuadrado natural
=(n+ m)n + (n t m)m Propiedad distributiva
= (nn + mn) + (nm + mm) Propiedad distributiva
= n²+ (mn +nm) + m? Propiedad asociativa de la adición
= n²+ (nm + nm) + m² Propiedad conmutativa de la
multiplicación
= n² + 2nm + m² Definición: nm + nm 2Tm

Se observa en el proceso desarrollado que las razones o funda

mentos que justifican los distintos pasos son sumamente elemen
tales. Así pues, contando con que tales nociones son conocidas,
se puede dejar por sentado que la demostración tiene lugar. He
aquí un elenento de suma importancia: la hipótesis de que ta
les nociones son conocidas. Esto concierne a esa acumulación de
datos-Conocimientos necesarios que van a ser ordenados y que de
ben ser conocidos por el alumno. Pero, además, si se logra que
tales nociones sean conocidas, todavía existen varias cuestiones
que resolver. Cono resultado de las investigaciones del Gru
po de Investigación de la Enseñanza en la Educación Superior
(GIEMES CDCHT-ULA), los alumnos senalan como cuestiones
que deben ser aclaradas, las siguientes: iPor quées ese precisa
menteel orden a seguir en la argumentación? ¿Cómo se acepta que
unaproposición sea verdadera y pueda ser utilizada para probar
otra? ;Es posible unaregresión hacia las nociones más básicas que
permitan, partiendo de aquellas, generar el resto de los aspectos
mático método sentido,
el estematemática.
En teoría una
desarrollo
de construcción
y considerados
la en sergenerales
a
spectos conprende
los procedimiento
que constituye
un mático
axi0mnétodo elque decir puede todos,
se alcance
de alMás
matemático. conocimiento
del nivel eseaproximea loque idea concebir
una de
capaz mrse
asU tratar
de lector
a invitar
al pérdida
no gran una sería así,
Aun text0. presente dirigido
el va
quien lector
a intelectual
del
bagaje alcance
del del fuera esté vista de
punto temológica"
o
epi"parada
s posiblemente
esta obstante, matemática.
No teoría
construcción
una de regulan
la preceptos
que normaso las tiene
con quegeneral más forma como
axiomático
la método cebir
el
con puede formalista
se abstractoy vista punto
de un
Desde
axiomático método Componentes
del
iomático. sistema condiciones
un de componentes
las y los de
estudio corresponde
ahora
el sentido, esterealización.
En su
para
ecesario tiene
lo embargo,
se sencillo,
sin seatrabajo elque decir
quiere interrogantes.
no
Esto talesrespuestasa formular
las gara
lsuficientes
e para sonjuego, nociones
en las solvente
de manejo
ununidos
aTiomático
a método condiciones
del componentesy los
egundo, partir;
y, que hay cuales las mínimas
de nociones algunas
prende queámbito existe
un Siempre nada". regresión
la a la
p0sibilidad
de hay "No ciencia: principios
la de los deuno siderar
con debe Primero,
seinterrogantes. estas todas respuestaa dar
necesarios
para aspectOS lOmuchos
s Afortunadamente,
son no
establecen? se
ociones otras qué términos
de jEnbásicas? nociones esas fcan
identi ¿cómo
se cierto, es
matemática?
esto Si conforman
la aue
85 MATEMÁTICA FUNDAMENTOS
LA DE
86 REINALDO CADENASy MAURO RIVAS

comprende los siguientes conuponentes:

a. Los conceptos primitivos o primarios.
b. Las definiciones.

C. Los axiomas o postulados.

d. Los teoremas.

En matemática, así como en cualquier otra ciencia, cuando se

va a introducir un nuevo concepto mediante una definición, esta
se formula en términos de nociones o conceptos previamen
te establecidos, los cuales, a la vez, han sido dados mediante
otros conceptos previos. Sin embargo, este proceso no puede se
guir retrocediermdo indefinidamente, no es lícito en todo caso caer
en un círculo vicioso, es necesario entonces establecer un punto
de partida. Así, se aceptan como punto de partida ciertas nocio
nes que se llaman conceptos primitivoS 0primarios. De manera
que los conceptos onociones primarias nose definen en t¿rminos
de otra noción, que se supone adquirida por el entendimiento de
quien estudia la teoría matemática correspondiente. Por ejemplo,
al tratar con la noción de conjunto siempre se asocia ésta a
no
ciones Como agrupación, colección, familia, etc. Si esto fuera una
definición" de conjunto, habría que saber lo que es "agrupación',
"colección", familia", y no se puedecaer en el círculo vicioso de
definir agrupación, colección ofamilia a partir de conjunto. Asi,
ninguna de esas palabras se define; se supone que se entiende lo
que ellas quieren decir, ellas sirven como punto de partida de la
«Teoría de Conjuntos", es decir, la noción de conjunto constituye
un concepto prinmitivo en ese contexto.
Las definiciones constituyen caracterizaciones de todas aqu
llas nociones factibles de ser explicadas por los conceptOS prm
 lógico
querazonamiento consiste
el en demostración,
que La c)
verifica,y demuestra
seque se
conclusión,
que lo demostrar,
la quiere que
se es
lo tesis, La b)
dero,
verda esquesupone seque premisa,
lo hipótesis,
la es La a)
saber: partes,a tres consta
de teorema teoremas.
Un de
nombre reciben
el probados sefactibles
r de enunciados cioneso
proposidemostraciones.
Las realizar posibilidad
de adquiere
la
stulados
se axiomaso establecimiento
los de del partir A
demostrados. necesidad
ser de sin
deros como aceptan contenidosse sus fundamental
que es to
aspec postulados.
Su aTiomasodenominan referido
se partida de
punto constituyen
ese enunciados
que Estos otros. lodeducida
s de
ser pueda ellos ninguno
de verdad
de condición
laque única como
ndo verdaderas, comoaceptadas serdeben axiomático
que
stema objetos
del los entrerelaciones propiedadeso referidosa
iados ciertos aceptar necesidad
de entonces
la presenta se
ente vicioso. círculo un en
deducciones,
caer ni cesión
de
indefnidamente
suesta en retroceder puede seantes,
no dijimos
como establecida
tal y, previamente otra términos
de en
hace se
tica". "verdad unaobtener deduciru postulados.
Para o
omas lexistencia
os de establece
la primitivos
se conceptos los
eptación
de establecido
la
para similar
al acuerdo unEu
axiomático. sistema del
entro definidos serfactibles
de objetos los adan sequenombres
los refieren
adefiniciones general,
las primitivOs.
En conceptos
previamente
los en aceptadas verdades lafundamentan
s sobre
iciones
se establecidas
las en verdades nuevas las Así, tivOs,
87 MATEMÁTICA FUNDAMENTOS
LADE
 88
REINALDOCADENAS y MAURO RIVAS

se hace para que, partiendo de la hipótesis y los axiomas o

teoremas conocidos previamente, se pueda deducir la tesis.
Es decir, la tesis sededuce o es una consecuencia lógica de la
hipótesis, o que la hipótesis implica la tesis. Mayores deta
les relacionados con la demostración en matemática pueden
verse en la sección 2.16 de este libro.
El esquema siguiente ilustra las partes de un teorema:

TEOREMA
Hipótesis ’ Tesis

Demostración es la cadema deduc

tiva, el razonamiento lógicoque se
hace para poder escribir esa im
plicación
Para ilustrar cómose presentan las partes de un
teorema, con
sidérese el siguiente enunciado e identifique la hipótesis y la tesis.
Teorema de Pitágoras: Si AABC es un triángulo rectángulo,
de ángulo rectoen C, y a,b, y cson
de los catetos y de la
respectivamente las longitudes
hipotenusa, entonces c = a+ b.
Hipótesis: AABC es un triángulo rectángulo de ángulo recto
en C, ayb son las longitudes de loscatetos y cla longitud de la
hipotenusa.
Tesis: c' = a' + b2.

Observación: Dado que una demostración sólo tiene sentido

en el contexto del desarrolo de una teoría matenática,
haciendo
cción estar
en debe axioma ningún signifca
que esto
cción, principio
de obedecer
al Compatible.
Debe i.
ser: debe decir,condiciones,
es tres cumplir
con debe co
xiomáti sistema axiomático.
Todo sistema Condiciones
un de
axiomático.
sistema condiciones
un de denominadas conocimiento
las de del
equiere necesaria suficiencia planteadas.
La interrogantes las a
puesta dar suficiente
para esahora
no hastaexpuesto loCon
iamente. demostrado sido proposición
haque teorema
o un
inmediata
de consecuencia demostración
una es enunciado
cuya
un a danominación
seque corolario
la es Finalmente, seguirá.
loteorema
que el
importancia
en
está su que sino misma, si en
interés mucho tiene
demostración
no cuya teoremay posicióno
pro demostración
una de la
previo
enunciado
a corresponde
un a
nominmación
lema Laotro. autora uncambie
de estO quenatural
resulta
cualificaciones estas subjetivo
de lo
Debidoa portantes.
im
menosresultados correspondea proposición nominación La
larga. difícily demostración
veces a importancia,
de mayor de
ultados los parateorema nominación reserva
la gularmente
se
Reellos.
importancia
de acuerdo
la a deotro distinguir
uuno
mbrabaa matemática
se literatura corolario.
la En ciyón
propost lema, utilizadas,
son: nominaciones teoremas.
Las los a
similar manera comportan
de enunciados
seque para naciones
nomi encuentran
otras axiomático,
se sistema deldentro Tema
palabra
teo lasignificado
dadoa del idea laconrelación En
ciado.
enun teoremacorrespondiente
al demostración la
sobre hablar
obvie seque aquí claro resultar axiOmátic0,
debe nétodo del ISo
89 MATEMÁTICA FUNDAMENTOS
LA DE
90 REINALDO CADENAS yMAURO RIVAS

Con los otros, o con los teoremas que se deduzcan como

COnsecuencia de ellos.

ii. lindependiente. Esto signifca que ningún axioma puede ser

demostrado comno consecuencia de los demás. Si un enun
ciado es falible de ser demostrado, entonces no puede ser un
axioma, es más bien un teoremna.
ii. Completo. Todo enunciado referido a las propiedades que
cumplen los objetos delsistema debe ser posible su demos
tración a partir de los axiomas.
De lo expuesto se puede deducir que el orden de la argumen
tación sustentada por el método axiomático es el orden indicado
por el sentido y la lógica común:
1. Los conocimientos se organizan sobre la base del recono
cimiento de la existencia de un conjunto de nociones bases
y básicas (conceptos primitivos) que sustentan el estableci
miento de otras nociones (definiciones), y
2. La aceptación de la verdad de una proposición se
fundamel
ta en la aceptación de la verdad de otras, que bien
sea.
han sido probadas como verdaderas (teoremas), o bien, no
existe la posibilidad de ser probadas (axiomas). Para las
que no existe posibilidad de ser probadas, simplemente de
ben aceptarse como verdaderas (axiomas) y
Como nociones básicas no deducibles, concebidas
demás proposiciones demostrables. Estos generadoras de las
aun cuando la procedimientos.
selección-determinación
cas y las verdades
de las nociones bast
iniciales no es clara ni sencilla, es una gud
suficiente para poder estudiar con propiedad una teoria ma
temática organizada siguiendo el nétodo axiomático, lo cual
constituye la esencia del objeto de este capítulo.
 FUNDAMENTOS DE LA MATEMATICA 91

La deducción en Matemática
La breve reseña histórica presentada en la sección anterior
muestra cómo la matemática fue avanzando desde una actividad
empírica hacia una actividad de puro razonamiento, riguroso y
formal, fundamentado sobre todo en la deducción lógic.
Al hablar de deducción es casi imposible concebir que esta
pueda estar totalmente desprendida de la intuición. La intuición,
entendida como pensamientos, será siempre antecesora de la de
ducción, pues ella permite predecir algunos resultados con so
lo imaginarlos, generalmente respaldados por la experiencia. No
obstante, debido a lo subjetivo que resulta establecer el valor de
verdad de un enunciado sobre la base de la intuición, además ha
biendo pruebas fehacientes sobre los errores a los que ella puede
llegar aconducir (se verán en los párrafos siguientes dos erro
res comunes a los que puede conducir la intuición), se requiere
entonces respaldar el proceso de demostración por la deducción.
Un ejenmplo que permite mostrar cómo la intuición conduce
a un error se puede observar al tratar de dar un respuesta a la
pregunta: ;Qué números existen en mayor cantidad, los naturales
o los pares? Si usted sabe que los números naturales, o números
de contar, son los que forman la sucesión: 0, 1, 2, 3, 4, 5, ... y
así sucesivamente hasta el infnito, y que los números pares son
los números que forman la sucesión: 0, 2, 4, 6, 8, 10, ...y así sucesi
vamente hasta el infinito. Resulta obvio percibir que todo número
par es un número natural, es decir, los números pares están dentrO
de los números naturales y de esto resulta obvio "darse cuenta"
de que deben existir más núneros naturales que números pares.
Sin embargo,el pensamientode carácter intuitivo que permite ese
"darse cuenta conduce aun error, pues es falso que existanmás
92 REINALDO CADENAS y MAURO RIVAS

números naturales que números pares. Lanentablemente, para la

demostración de este hecho sería necesario haber visto y cono
cido diversos aspectos que hasta ahora no han sido tratados y
por tanto resulta imposible dar una demostración al respecto, no
obstante, para tener una idea sobre tal demostración, considére
se que se realiza un conteo basado en la siguiente relación: "A
cada número natural n se le asigna el número par 2ri". Resulta
fácil aquí "darse cuenta" de que en esta relación o conteo para
cada número natural "siemnpre" se va a poder encontrar un núne
ro par que le corresponde, pero para este "daIse cuenta" existe
un proceso lógico-deductivo que permite probar que tal afirma
ción es cierta, llevando tal resultado a concluir que existen tantos
números pares como números naturales.
Otro ejemplo en el cual la intuición conduce a un error y para
el cual existeuna demostración matemática que asílo confirma,se
presenta en el álgebra cuando se quieren establecer procedimien
tos generales que permitan resolver ecuaciones de grado mayor
igual que dos. Una ecuación de primner grado az +b=0, fácilmen
te se resuelve
mediante zz= y la ecuación de segundo grado
ar' + br +c= 0mediante la fórmula. Las soluciones de estas
ecuaciones son dadas por fórmulas en las que solo intervienen
las operaciones elementales de multiplicación (división), adición
(sustracción), y además la radicación. Durante el siglo XVI se
consiguióresolver las ecuaciones de tercery cuarto grado median
te fórmulas en que solo aparecen esas operaciones racionales y la
radicación. En este caso se dice que son ecuaciones resolubles por
radicales. Es posible entonces legar a concebir la idea de que tal
procedimiento es generalizable a ecuaciones algebraicas de cual
quier grado, es deciT, que deben existir fórmulas que permitan
resolver ecuaciones de grado mayor que cuatro utilizando opera
ciones racionales y la radicación. La historia señala que esa idea
 FUNDAMENTOS DE LA MATEMÁTICA 93

fue concebida por los matemáticos, quienes

después de
intentos frustrados, no encontraban tales fórmulas paranumerosos
la ecua
ción general de quinto grado ar + br + cz² + dz' + ec + f =0.
Los fallidos intentos fueron convenciendo de lo
contrario; de que
no existían tales fórmulas. Pero, nuevamente, ese
presentimiento
(intuitivo) es suiciente para que ello pase a ser aceptado como
no
un conocimiento matemático válido

Ahora bien, suponga que usted se propone resolver una ecua

ción como z° 4x + 2=0; luego de varios intentos, usted se da
cuenta de que no es fácil obtener sus soluciones. Sin embargo, el
hecho de que usted intente resolverla y no lo consiga, no quiere
decir que otras personas no lo puedan hacer, y si se hubiera pre
guntado a los matemáticos antes de Galois y Abel, se encontraría
que todo intento de resolverla por radicales no tuvo éxito. Hoy,
debido al trabajo desarrollado por estos dos grandes matemáti
COs, se sabe que esa ecuación no es resoluble por radicales. El
resultado mostrado por Abel consiste en que no toda ecuación de
grado mayor que cuatro es resoluble por radicales. La ecuación
propuesta es un ejemplo.

Finalmente, los ejemplos anteriores muestran la necesidad de

Usar prOceSOs deductivos lógicos que permitan elaborar demostra
ciones que conduzcan al establecimiento de las verdades dentro
de las matemáticas. Para el lector que se inicia en el ámbito del
estudio de las matemáticas universitarias, este aspecto de las de
mostraciones, posiblemente nuevo para él, constituye el soporte
fundamental del conocimiento que debe llegar a domin

Henos visto cóno en matemática, para poder asegurar que

un enunciado es verdad, HAY QUE DEDUCIRLO, H¤Y QUE
DEMOSTRARLO (a menos que sea un axiona), lo que se ha
94 REINALDOCADENAS y MAURO RIVAS

ce A PARTIR de los axionmas y otros enunciados previamente

demostrados (teoremas), pero nos preguntanos: "¿Y CÓMO
DEMOSTRAR ALGO0? ¿Es que existen algunos procedimientos
con los cuales uno se puede guiar para denmostrar algo?" Pues
bien, sí hay algunas maneras de proceder en matemáticas a fin de
demostrar; son los métodos de demostración, o sea, los procedi
mientos correctos que se siguen a fin de obtener verdades dentro
de una teoría (o sea, los teoremas de una teoría). En las secciones
2.16 y2.17 del próxinmo capítulo daremos una exposición detallada
de la demostración matenmática y de los métodos de demostración.

1.3 Ejercicios
1. Clasifique la historia de las matemáticas en períodos y re
suma brevemente cada uno de ellos.

2. Explique brevemente el origen de la matemática.

3. ¿Qué es el sistema sexagesimaly quiénes lo crearon?
4. ¿ Cuál es el aporte más importante de la cultura egipcia al
desarrollo de las matemáticas?
5. Señale los problemas más inportantes que condujeron al
origen de la aritmética, la geometría y el álgebra.
6. Calcular el volumen de la pirámide truncada con base cua
drada sabiendo que el lado de la base mide 5 centimetros,
el lado de la base menor mide 2 centímetros y la altura es 3
centímetros.

7. Utilizando la fórmula en1pleada por los egipcios en el papr

ro de Rhind, calcular el área del círculo del caucho de n
 FUNDAMENTOS DE LA MATEMÁTICA 95

vehículo indicandoel modelo correspondiente. Luego, utilice

la fórmula Ac = Tr,siendo r el valor del radio, y compare
los resultados obtenidos ¿Existe diferencia? /iCuál?
8. Escribir en babilónico los siguientes números:

90, 119, 7200, 1200, 8401, 7201. y 4320.

9. Note la relación del procedimiento de multiplicación de nú

meros grandes utilizado por los babilonios con el procedi
miento utilizado en la actualidad. ,Puede usted explicar la
relación de este procedimiento con la propiedad distributiva
de la multiplicación con respecto a la adición?

10. Explique: ¿Por quéla solución de las ecuaciones desegundo

grado hecha por los Babilonios 2000a. C. se considera como
procedimiento empírico?
11. Señale cuál es considerado el mayor aporte de la cultura
griega al desarrollo de las Matemáticas.

12. Haga un esquema de las escuelas y sus representantes esta

blecidas por los griegos.
13. Enuncie los tres teoremas geométricos de Thales.
14. ¿Quien fue Pitágoras y cuálfue su aporte al mundo matemá
tico?

15. Resuma brevemente el aporte de Euclides al conocimiento

matemático.

16. Senale tres nociones comunes y los cinco postulados de Eu

chdes.
96 REINALDO CADENAS vMAURO RIVAS

17. Señaleslos orígenes de las Geometrías no euclidianas.

18. jA qujen se le atribuye el descubrimiento de la demostración
por "reducción al absurdo",el "infinito" y las "paradojas" ?
¿Quésignifica cada uno de estos términos?

19. ¿Qué significa y quiénes son los autores de:

a) "Organon"
b) "El problema de Delos"
c) "Lacuadratura del círculo
d) "La trisección de un ángulo"
e) "Cosas que no se podían expresar por números"
f) "Punto", recta" y "línea"
9) "Almagesto" ?
20. Señale brevemente el aporte de los indios y árabes al desa
rrollo de la matemática.

21. Señale el autor del primer tratado elemental de Matemá

ticas.

22. :Quiénes y qué ramas de la matemática son los precursores

del método axionmático?

23. ¿Qué matemáticos se destacaron en llamado "período de

decadencia" ?

24. Senale los cincoprogresos más importantes dados en cl siglo

XVII que incidieron de manera fundamental en la génesis
de la llamada "Matenática moderna".
 FUNDAMENTOS DE LA MATEMÁTICA 97

25. ¿A partir de qué siglo y qué periodo se genera lo que se

COnOce como "Matemática reciente"?

26. ¿Qué signifca y quiénes son los precursores de:

a) Método axiomático
b) Nicolás Bourbaki
c) Conjetura de Goldbach
d) Conceptos primitivos?
27. Relativo al álgebra ylasciencias, señale dosacontecimientos
"recientes
28. ¿Quésignifica que una ecuaciónsea resoluble por radicales?
29. ¿Un teorema necesita una comprobación experinmental per
manente?

30. Señale cuatro problemasde otras ciencias que dieron origen

a nuevas teorías matemáticas.

31. ¿Cuál es su interpretación geométrica de la igualdad:

(m + n) = m²+ 2nn + n2?

32. Describa los componentes del nétodo axiomático.

33. Explique las diferencias entre los razonamientos intuitivos y
los deductivos. ¿Cuál es la innportancia de la deducción en
la natemática? Resuma brevemonte los métodos de demos
tración en matemáticas.
38 REINALDO CADENAS yMAURO RIVAS

REFERENCIAS BIBLIOGRÁFICASCONSULTADAS
PARA ESTE CAPÍTULO
1. ALEXANDROV, KOLMOGOROV y LAURENTIEV
(1982). La Matemática: su contenido, mélodos y signifi.
cado. Alianza Universidad, Vols. I-II-III, números 68, 69,
70 (sexta edición).
2. BELL, E. (2002). Historia de las Matemáticas.
(Traducción de R. Otiz). Fondo de Cultura Económica.
Mexico.
3. BoURBAKI, N. (1972). Elementos de historia de las
matemáticas Segunda edición. Editorial Alianza
Madrid.

4. BoYER, CARL (1992). Historia de las matemáticas

Alianza Universidad. Madrid.
5. CARPENTER y OTROS (1999). Children's Mathematics.
Cognitively Guided lnstruction. Portsmouth: Heinenann.
6. CASTRO y OTROS (1987). Números y operaciones.
Fundamentos para una aritmética escolar. Madrid.
7. DOMINGO, CARLOS (2002). Historia de las Matemáticas.
Escuela Venezolana para la Enseñanza de la Matemática.
Mérida-Venezuela.
8. FRALEIGH yBEAUREGARD (1989). Algebra Lineal.
Addison-Wesley Iberoamericana.
9. GRIFFITHS, PHILLIP (2000). Las Matemáticas ante el
cambio de milenio: La Gaceta de la Real Sociedad
Matemática. Espariola. Vol.3, n°1, Enero-Abril, Pp.
41. Revisado el 25 de enero de 2006 desde Inter
net: http://www.mat. ucm.es/deptos/an/guzanan/g
thsgaceta/griffithsgac.htil.
 FUNDAMENTOS DE LA MATEMÁTICA 99

10. MARCANO y OTROS (1979). Matemáticas V.

Ediciones Cultural. Venezolana S.A. Puma. Caracas
Venezuela.
11. NEWMAN, J (1976). El mundo de las Matemáticas.
Editorial Grijalbo. Barcelona-España. Vol 1.
12. RIBNIKOV, K (1991). Historia de las Matemáticas.
(Traducción C. Valdés-Castro). Editorial Mir. Moscú.
13. SEsTIER, A (1983). Historia de las Matemáticas.
Limusa. México.

14. SHEN, CROSSLEY yLUN (1999). The Nine Chapters

on the Mathematical Art. OXFORD University Press
Science Press. Beijing. New York.
15. SING, SIMON (1999). El último teorema de Fermat.
Editorial Norma S.A. Colombia.

16. STRUICK, DIRK (1987). Aconcise History of Mathema

tics. Dover.

17. SYLVESTER y OTROS (1974). La forma del pensamiento

matemático. Primera edición. Ediciones Grijalbo.
Barcelona-España, 1974.
 2

LOGICA DE PROPOSICIONES
Se entiendeen general la lógica como el estudio de los métodos
y principios usados para diferenciar un razonamiento correcto de
uno incorrecto. Así, la lógica consiste en un examen de las for
mas de razonamiento, proporcionándonos ciertas técnicas y cier
tos métodos que permiten determinar lo correcto o incorrecto de
muchos tipos de razonamientos.
Ennuestra vida diaria nos comunicamos a través del lenmguaje,
utilizando frases uoraciones; éstas pueden tener diversos significa
dos, pero independientemente de esos significados, algunas tienen
la propiedad de ser falsas o verdaderas. Esta propiedad caracte
riza a las proposiciones y las distingue de todas las demás frases,
oraciones y afirmaciones utilizadas en el lenguaje. Tal distinción
en
ha dado lugar a organizar un discurso científico matemático
razonamientos constituidos por proposiciones, para los cuales la
la validez de
logica proporciona métodos que permiten establecer capítulo
sus conclusiones. Lo trascendente del estudio del presente
oraciones que tienen la
es el hecho degue, comenzando con frases u
determinar
propiedad de ser verdaderas ofalsas, podemos llegar a válida
inferida de manera
si una conclusión puede ser obtenida o
podemos llegar a es
a partir de tales frases u oraciones, es decir, independientemente
tablecer si un razonamiento es válido ono,
del contexto de su formulación.
matemática.
Además, estudiarenosen detalle la demostración
lógic0-axiomático de esta
la cual es fundamental en el desarrollo
ciencia.
 i02 REINALDO CADENAS y MAURO RIVAS

2.1 Proposiciones
En el lenguaje usual, se suele lamar proposición (enunciado
O sentencia) a una oración enunciativa, afirmativa o declarativa:
en lógica, una proposición es una oración a la que se le puede
asignar uno y sólo uno de los valores de verdad que pueden ser
verdadero (V) o falso (F).
Ejemplo 1.
1. 15+ 15 = 21. (F)
2. Caracas es la capital de Venezuela. (V)
3. Los puntos son parte de un recta. ()
4. Los números 3y 4 son pares. (F)

5. La vaca es un ave. (F)

2.2 Frases que no son proposiC1Ones

Son aquellos enunciados a los que no se puede asignar n

valor de verdad. Entre ellos tenennos enunciados exclamativos.
interrogativos o imperativos.
Ejemplo 2.
1. Vayan al río.
2. ¿Quién eres tú?
3. Llovía en Caracas en julio de 1812.
4. La Geometría es interesante.
 LÓGICA DE PROPOSICIONES 103

Nota 1.

ean ambiguas, sino sólo

1. La lógica no considerará frases que sean
aquellas cuyovalor de verdad sea independiente del contex
to. Asi, lasoraciones del ejemplo 2 no son estudiadas por la
lógica.
2. No compete a la lógica asignar el valor de verdad de una
proposición, de eso se encarga cada ciencia en particular.
Ejemplo 3. "2 es un número par", es una proposición verdadera
porque así lo establece la matemática.

2.3 Clasificación de las proposiciones

En la lógica se consideran dos tipos de proposiciones:

1. Proposiciones atómicas: son las proposiciones más sim
ples que por sí solas tienen significado.
Ejemplo 4.
a) Eltiburón es un mamnífero.
b) Venezuela es un pais.
c) Pitágoras era griego.
2. Proposiciones moleculares: Son combinaciones de pro
posiciones atómicas.

Ejemplo 5.
a) El tiburón es un mamífero y Venezuela es un país.
b) Luis es altoo María estudia inglés.
 104 REINALDO CADENAS y MAURO RIVAS

2.4 Principios básicos de lógica proposicional

1. Principio del tercero excluido. A cada proposición

le puede asignar un valor entre (V) y(F), lamado su valor
veritativo o valor de verdad.

Así, cuando una proposición es verdadera, diremos que su

valor de verdad es (V) y cuando es falsa diremos que su
valor de verdad es (F). En consecuencia, este principio ase
gura que cualquier proposición es verdadera o falsa., es decir
prohíbe la ambigüedad (o un tercer valor).
2. Principio deno contradicción. Ninguna proposición pue
de tener a su vez el valor (V)
(V) y (F),
(F), es decir, ninguna pro
posición puede ser simultáneamente verdadera y falsa.
3. Principio de composición. Los valores de verdad de una
proposición molecular quedan determinados por los valores
de verdad de cada una de las proposiciones atómicas que la
Componen.

2.5 Notación y términos de enlace o conectivos lógicos

Para formar las proposiciones moleculares a partir de propo
siciones atómicas se utilizan las partículas lingüísticas: "no, y, 0.
si entonces, y si y sólo si". Estas son llamadas términos
de enlace, o conectivos lógicos.
Ejemplo 6.
1. La lógica no es una ciencia

2. Si él estudia cada noche, entonces aprobará el examen.

 LÓGICA DE PROPOSICIONES 105

3. La tierra es una estrella o Venezuela es un país.

4. Rosa estudia inglés o francés.
5. PedrO aprobará el curSO si y sólo si él estudia.
Nota 2. El término de enlace "no" es el único gue actúa sobre
una sola proposición atómica. Esto trae como consecuencia que
existan proposiciones moleculares que contengan una sola propo
sición atómica.
Símbolos: Se usarán letras minúsculas para representar a las
proposiciones atómicas, digamos: p, 4, r, s, r, t, etc.
Tabla de notaciones

Símbolo Operación Significado Simbolización

Negación no p
Conjunción p yq
Disyunción pog(en el sentido incluyente) pVg
Disyunción poq (en el sentido excluyente) pYq
Condicional si p entonces q
Bicondicional p si y sólo si q p+ q

Nota 3. El sentido incluyente de la palabra "o' se refiere, por

ejemplo, a cuando en ciertoanuncio se dice: Se solicita secretaria
que sepa inglés o francés, en este anuncio no se pretende excluir
a làs personas que sepan los dos idiomas.
Lo excluyente se refiere, por ejemplo, a proposiciones como:
Maria tiene la asignatura Matemática Básica aprobada o repro
bada. En este caso queda excluida la posibilidad de que María
estésimultáneamente aprobada y reprobada en la misma asigna
tura.