Académique Documents
Professionnel Documents
Culture Documents
2.1. PROPOSICIONES
Definición 2.1.1.-
Se denomina proposición a toda expresión verbal, enunciado o discurso del
cual podemos afirmar, inequívocamente, que es verdadero o falso, pero no ambas
cosas a la vez. Las proposiciones se simbolizan mediante letras minúsculas,
normalmente desde la p en adelante, llamadas letras proposicionales.
Ejemplo 2.1.1.- Serían proposiciones “hoy es domingo” y “estamos comiendo”. No
lo serían, en cambio, “¿quién es?” y “sal de aquí”.
Definición 2.1.2.-
A cada proposición pueden asignársele dos valores lógicos: “es verdadera” o
“es falsa”, que reciben el nombre de valores de verdad. Dichos valores se
representan, respectivamente, por las letras V (ó 1) y F (ó 0).
Ejemplo 2.1.2.-
a) La proposición “15 es múltiplo de 3” es verdadera y adquiere el valor V ó 1.
b) La proposición “París es la capital de Italia” es falsa y toma el valor F ó 0.
1) El número 7 es primo.
2) Inés tiene 27 años.
Ejemplo 2.2.2.- Como casos de proposiciones moleculares podríamos señalar las
siguientes:
1) Luis está en casa y estudiando.
2) Está nublado o hace sol.
NOTA 2.2.1.- Otra clasificación usada es la que las divide en función del número
de proposiciones atómicas que las constituyen, resultando así de orden uno, de
orden dos, etc.
19
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
Tabla 0
Definición 2.3.2.-
Las expresiones en las que figuran letras proposicionales y nexos lógicos
reciben el nombre de fórmulas lógicas o esquemas proposicionales. Cuando en
una fórmula lógica se sustituyen las letras por proposiciones dadas, resulta una
determinada proposición cuyo valor de verdad depende de los valores de verdad de
dichas proposiciones.
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
Ejemplo 2.3.1.-
a) Si designamos por p la proposición “llueve” y con q la proposición “el canario no
canta”, la proposición “si llueve entonces el canario no canta” se simboliza a
través de la fórmula lógica p → q.
b) Si p es la proposición “Luis es matemático” y q la proposición “María es
abogada”, la proposición “Luis es matemático y María es abogada” se escribe
con la fórmula lógica p ∧ q.
c) La proposición “Luis no es matemático” se representaría por los símbolos p ó
¬ p.
20
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
Las fórmulas lógicas se denominan con los mismos términos que sus nexos
correspondientes, es decir, negación, conjunción, disyunción inclusiva,
condicional, bicondicional y disyunción exclusiva. Relacionando dos fórmulas
lógicas mediante una partícula conectiva se obtiene otra fórmula lógica, que
denotará una determinada proposición. Las dos fórmulas lógicas, vinculadas por la
partícula conectiva para dar lugar a otra fórmula lógica, se escriben entre
paréntesis. Esto es necesario para precisar a qué proposiciones afectan cada uno de
los nexos lógicos.
Ejemplo 2.3.2.- Si p, q y r son tres proposiciones, la expresión p → q → r carece
de sentido, pues puede interpretarse como (p → q) → r, o también como
p → (q → r), y ambas fórmulas lógicas poseen, de manera evidente, distinto
significado.
Ejemplo 2.3.3.- La fórmula (p → q) ∧ (q ↔ r) es la conjunción de la condicional
p → q y de la bicondicional q ↔ r.
NOTA 2.3.1.- En la fórmula lógica p → q, la proposición p se llama antecedente
de la condicional y la proposición q recibe el nombre de consecuente de dicha
condicional.
En una fórmula lógica, las letras proposicionales se consideran variables que
pueden tomar los valores de verdad V o F. Según los valores de verdad de dichas
letras, la fórmula lógica adquiere el valor V o F siguiendo unos axiomas que
estableceremos posteriormente.
Definición 2.3.3.-
El álgebra de proposiciones se aplica a la construcción de fórmulas lógicas
y al estudio de sus propiedades.
axiomas. Estos axiomas expresan las propiedades que hemos atribuido a las
proposiciones y a las fórmulas lógicas que las definen.
Axioma 1.-
Toda proposición representada por una fórmula lógica es verdadera o falsa,
es decir, toma el valor V o el valor F.
Axioma 2.-
Las fórmulas lógicas enunciadas simbolizan proposiciones verdaderas o
falsas, cuyos valores de verdad o falsedad dependen de los valores de verdad o
falsedad de las proposiciones que intervienen en dichas fórmulas.
21
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
Axioma 3.-
Si p y q son dos proposiciones cualesquiera, los valores de verdad o falsedad
de sus fórmulas lógicas vienen determinados por las siguientes tablas, llamadas
habitualmente tablas de verdad:
1ª) Negación.-
Tabla I
p ¬p
V F
F V
Tabla II
p q p ∧ q
V V V
V F F
F V F
F F F
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
22
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
Tabla III
p q p ∨ q
V V V
V F V
F V V
F F F
Tabla IV
p q p → q
V V V
V F F
F V V
F F V
23
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
Tabla V
p q p ↔ q
V V V
V F F
F V F
F F V
Tabla VI
p q p ↔
/ q
V V F
V F V
F V V
F F F
24
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
Tabla VII
p q ¬p p → q ( ¬ p) ∧ (p → q)
V V F V F
V F F F F
F V V V V
F F V V V
Tabla VIII
P q r p ∨ q p ∨ r (p ∨ q) ↔ (p ∨ r)
V V V V V V
V V F V V V
V F V V V V
F V V V V V
V F F V V V
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
F V F V F F
F F V F V F
F F F F F V
25
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
Tabla IX
p Q ¬p ¬q p → ( ¬ q) q → ( ¬ p) [p → ( ¬ q)] ↔ [q → ( ¬ p)]
V V F F F F V
V F F V V V V
F V V F V V V
F F V V V V V
Definición 2.5.2.-
Una proposición compuesta, simbolizada por su fórmula lógica, es una
proposición contradictoria o una contradicción cuando siempre es falsa, con
independencia de la verdad o falsedad de las proposiciones simples que la forman.
Las contradicciones se denotan a través de la letra C.
Ejemplo 2.5.2.- La proposición definida por ( ¬ p) ∧ (p ∧ q) es una contradicción,
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
Tabla X
p q ¬p p ∧ q ( ¬ p) ∧ (p ∧ q)
V V F V F
V F F F F
F V V F F
F F V F F
26
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
Definición 2.5.3.-
Se dice que una proposición compuesta, representada por su fórmula lógica,
es una proposición indeterminada o una indeterminación cuando en su tabla
de verdad aparecen valores verdaderos y falsos, dependiendo de los valores de
verdad y falsedad de las proposiciones simples que la integran.
Ejemplo 2.5.3.- La proposición definida por la fórmula ( ¬ p) ∧ (p → q) es una
proposición indeterminada, como se desprende de la tabla VII.
Definición 2.5.4.-
Se denomina implicación a cualquier proposición condicional que es una
tautología. El símbolo utilizado para designar las implicaciones es ( ⇒ ).
Ejemplo 2.5.4.- La proposición simbolizada por (p ∧ q) → p es una implicación.
En efecto:
Tabla XI
p q p ∧ q (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
27
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
Ejemplo 2.5.6.- Vamos a comprobar que las proposiciones definidas con las
fórmulas ¬ (p ∧ q) y ( ¬ p) ∨ ( ¬ q) son equivalentes. Para ello construimos sus
tablas de verdad y verificamos la coincidencia. En efecto:
Tabla XII
P q ¬p ¬q p ∧ q ¬ (p ∧ q) ( ¬ p) ∨ ( ¬ q)
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Tabla XIII
P T C p ∨ T p ∧ T p ∨ C p ∧ C
V V F V V V F
F V F V F F F
p
2ª) La conjunción de una proposición y una tautología es equivalente a dicha
proposición.-
p ∧ T ⇔ p.
3ª) La disyunción de una proposición y una contradicción equivale a la misma
proposición.-
p ∨ C ⇔ p.
4ª) La conjunción de una proposición y una contradicción es una contradicción.-
p ∧ C ⇔ C.
28
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
NOTA 2.5.3.- El llamado principio de sustitución permite que, dada una fórmula
lógica cualquiera, pueda sustituirse en ella una proposición por otra que resulte
equivalente.
Conclusiones como las precedentes pueden obtenerse aplicando los distintos
postulados del axioma 3. Supongamos que P es el conjunto de todas las
proposiciones y consideremos los nexos lógicos conjunción, disyunción y negación.
Siguiendo el procedimiento de construcción de las tablas de verdad y siendo p, q, r
elementos de P, dejamos al cuidado del lector la constatación de las siguientes
equivalencias:
a) Propiedades idempotentes.-
p ∧ p ⇔ p; p ∨ p ⇔ p.
b) Propiedades conmutativas.-
p ∧ q ⇔ q ∧ p; p ∨ q ⇔ q ∨ p.
c) Propiedades asociativas.-
p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r; p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r.
d) Elementos neutros.-
p ∧ T ⇔ p; p ∨ C ⇔ p.
e) Propiedades simplificativas.-
p ∧ (p ∨ q) ⇔ p; p ∨ (p ∧ q) ⇔ p.
f) Propiedades distributivas.-
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r); p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r).
g) Elementos complementarios.-
p ∧ ( ¬ p) ⇔ C; p ∨ ( ¬ p) ⇔ T.
h) Propiedad de la doble negación.-
¬ ( ¬ p) ⇔ p.
i) Leyes de De Morgan.-
¬ (p ∧ q) ⇔ ( ¬ p) ∨ ( ¬ q); ¬ (p ∨ q) ⇔ ( ¬ p) ∧ ( ¬ q).
Ejemplo 2.5.7.- Comprobemos las propiedades idempotentes mediante una tabla
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
de verdad:
Tabla XIV
p p p ∧ p p ∨ p
V V V V
F F F F
NOTA 2.5.4.- Como veremos más adelante, el conjunto (P, ∧ , ∨ ) con las
propiedades a), b), c), e), f) y g) es lo que se denomina habitualmente un álgebra
de Boole.
29
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
NOTA 2.6.1.- Dado que el conjunto unión está compuesto por los elementos que
pertenecen, al menos, a uno de los conjuntos y el conjunto intersección lo
constituyen los elementos comunes a ambos conjuntos, de la clasificación
precedente colegimos que:
1) E f ,1 ∪ E f ,0 = E.
2) E f ,1 ∩ E f ,0 = φ .
30
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
E ¬f ,1 = E cf ,1 .
∀ a ∈ E ¬f ,1 { a ∉ E f ,1 ⇔
⇔ { a ∈ E f ,1 ; entonces,
c
subconjunto A, tendremos que
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
DEF. ¬ DEF
NOTA 2.6.2.- En este último apartado hemos utilizado una serie de principios
detallados en el próximo epígrafe. Se ha hecho así para mantener la unidad de la
exposición. No obstante, creemos que aquellos son perfectamente conocidos por el
lector. La expresión “c. q. d.” que aparece (y lo hará reiteradamente) al término de
las demostraciones significa “como queríamos demostrar”.
31
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
en su desarrollo posterior, y deviene fundamental para fijar los hechos que van a
configurar los axiomas y las definiciones.
Definición 3.1.2.-
El razonamiento deductivo es un proceso mediante el cual se comprueba
que las generalizaciones son ciertas en cualquier caso, es decir, va de lo general a
lo particular. Por tanto, este tipo de razonamiento precisa, en principio, de la
aceptación de una serie de generalizaciones básicas sin comprobación. Todas las
demás generalizaciones deberán probarse con procedimientos lógicos.
32
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
Al igual que sucede con los diccionarios, en los que hay que escoger algunas
palabras para definir todas las demás, en las Matemáticas deben aceptarse unas
ideas o conceptos primarios partiendo de los cuales pueden construirse otros de
mayor complejidad. Ejemplos de estos conceptos primarios serían la idea de
conjunto en el Álgebra o la noción de punto en la Geometría, pues ambos son
conceptos intuitivos e imposibles de definir mediante otros más simples.
Aunque pueda resultar redundante, vamos a tratar de conceptualizar lo que
es una definición. Para ello, y dado que contamos con la idea de proposición,
acudiremos a lo que recoge el Diccionario de la Real Academia Española de la
Lengua en su última edición.
Definición 3.2.1.-
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
33
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
3.3. AXIOMAS
que las otras afirmaciones puedan obtenerse lógicamente partiendo de las de ese
subconjunto.
Ejemplo 3.3.1.- Un ejemplo clásico de axioma es el que afirma que “por dos
puntos distintos pasa una única recta”, debido a Euclides. Como sistema de
axiomas podíamos señalar la “axiomática de Peano”, constituida por cinco
postulados que permiten definir los números naturales y estudiada en el tema 1.
NOTA 3.3.1.- Para una misma teoría o modelo matemático pueden escogerse
axiomáticas diversas. Dos axiomatizaciones se llaman equivalentes cuando a
partir de ellas llegamos a las mismas afirmaciones mediante razonamientos lógicos.
34
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
Definición 3.4.1.-
Se denomina teorema o proposición a toda afirmación alcanzada
deductivamente a partir de los axiomas o de otros teoremas ya obtenidos también
deductivamente. Todo teorema se compone de hipótesis, formada por la idea o
afirmación de la que se parte o se presupone, y de tesis, afirmación que pretende
deducirse lógicamente.
Ejemplo 3.4.1.- Imaginemos que tenemos definidos los conceptos de “segmento”
(intersección de dos semirrectas contenidas en la misma recta, que no resulten
disjuntas y tales que ninguna contenga a la otra) y “mediatriz” (recta perpendicular
a un segmento no nulo por su punto medio). La afirmación “si un punto equidista
de los extremos de un segmento, entonces dicho punto pertenece a la mediatriz del
segmento” es un teorema. La hipótesis sería p: “un punto equidista de los extremos
de un segmento” y la tesis el enunciado q: “el punto pertenece a la mediatriz del
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
segmento”.
Construyamos ahora la siguiente tabla de verdad:
Tabla XV
p q p ∧ q p → q (p ∧ q) → (p → q)
V V V V V
V F F F V
F V F V V
F F F V V
35
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
Tabla XVI
p q p ∧ q p ↔ q (p ∧ q) ↔ (p ↔ q)
V V V V V
V F F F V
F V F F V
F F F V V
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
36
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
37
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
3.5. DEMOSTRACIONES
Definición 3.5.1.-
La demostración o prueba es el proceso que se sigue para constatar la
certeza o falsedad de una determinada proposición, llamada conclusión, la cual
deriva como consecuencia lógica de otra u otras proposiciones llamadas premisas.
Ya hemos señalado que el procedimiento de demostración más utilizado en
las Matemáticas es el deductivo. Sin embargo, queremos resaltar tres tipos de
demostraciones peculiares en su planteamiento:
1º) Demostración por reducción al absurdo.-
Se basa en que, según lo estudiado anteriormente, para probar un teorema
basta con demostrar su contrarrecíproco. En efecto; establezcamos que queremos
probar que “si se verifica p, entonces se verifica q”, es decir, p ⇒ q. Demostremos,
pues, que “si no se verifica q, entonces no se verifica p”, o lo que es lo mismo,
q ⇒ p . Si esto último fuese cierto, sería contrario a la hipótesis de que sucede p,
por lo cual caeríamos en una contradicción de partida; luego forzosamente ha de
ocurrir q, pues de otro modo llegaríamos a un absurdo.
Ejemplo 3.5.1.- Demostremos que, dados dos conjuntos A y B, si A = φ, el
Ejemplo 3.5.2.- Vamos a demostrar que 2 n > n, cualquiera que sea el número
cierto para h, es decir 2 h > h. Multiplicando por 2, resulta 2 h+1 > 2h (*). Pero,
prescindiendo del 0 (para el cual el enunciado se cumple análogamente, pues
38
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
RAMÓN RODRÍGUEZ VALLEJO
sabemos que 2 0 = 1 > 0), para todo número natural h se verifica que h ≥ 1;
luego, sumando h a los dos miembros de la desigualdad anterior, obtenemos que
símbolos que son aceptados, con muy pequeñas variaciones, por la totalidad
de matemáticos y de los cuales hemos tenido abundantes ejemplos en el
desarrollo de este tema.
Tal vez la característica más notable del razonamiento matemático sea su
necesidad de rigor. El rigor matemático consiste en seguir únicamente el camino
del razonamiento lógico, de manera que se pase de unas proposiciones a las
siguientes en la cadena deductiva sin saltarse ningún eslabón y prescindiendo
completamente de la intuición que originó las ideas primarias. Sólo de esta forma
las conclusiones aparecerán válidas.
39
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
MATEMÁTICAS I: VOLUMEN I
igualdad m 2 – n 2 = m · n – n 2 (***).
4º) Operando en (***), sale (m + n) · (m – n) = n · (m – n) (****).
5º) Dividiendo los dos miembros de (****) por (m – n), queda m + n = n.
En particular, haciendo m = n = 1, de la última igualdad colegimos que
1 + 1 = 1, es decir, ¡¡¡2 = 1!!!. ¿Dónde se encuentra el razonamiento incorrecto?
Concretamente en el 5º paso, pues hemos dividido por (m – n) y como, según la
hipótesis, es m = n, esto significa que hemos dividido por 0 (m = n ⇒ m – n = 0),
lo cual es imposible, dada la definición de división.
En conclusión: debemos ser cautelosos para evitar algún razonamiento
incorrecto. Indicamos a continuación algunas causas posibles de paralogismos:
a) La división por 0.
b) La utilización indebida de la intuición.
c) El empleo de figuras geométricas incorrectas.
d) El uso inadecuado de justificaciones experimentales.
e) El círculo vicioso, que toma como hipótesis la tesis que desea probarse.
f) La extensión indebida de resultados.
Copyright © 2013. Editorial Tébar Flores. All rights reserved.
40
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-04-13 14:54:58.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial