Documentos de Académico
Documentos de Profesional
Documentos de Cultura
01 Lógica NC
01 Lógica NC
Capı́tulo 1: Lógica
Preparado por:
1 Lógica 3
1.1 Teorı́as matemáticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.1 Conceptos primitivos y el primer axioma . . . . . . . . . . . . . . 11
1.2.2 Valor de verdad de una proposición . . . . . . . . . . . . . . . . 12
1.3 Tautologı́as . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.1 Tautologı́as relevantes . . . . . . . . . . . . . . . . . . . . . . . 27
1.3.2 La “forma” de una proposición . . . . . . . . . . . . . . . . . . . 36
1.4 Deducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.5 Equivalencias lógicas y el Principio de sustitución . . . . . . . . . . . . . 53
1
Capı́tulo 1
Lógica
Conocimientos:
Destrezas:
Introducción
Los Fundamentos de la Matemática es el estudio de los conceptos fundamentales de las
diversas teorı́as que, en su conjunto, componen lo que se denomina Matemática. Por su
parte, cada una de estas teorı́as es, fundamentalmente, una colección de conceptos y
3
proposiciones (sobre tales conceptos); estas proposiciones se relacionan entre sı́ mediante
la Lógica.
Por ello, el primer tema de estudio de esta materia es una breve introducción a esa
Lógica. Los conceptos fundamentales que vamos a estudiar son: conjunto, número real,
número complejo y función real.
Ahora bien, decimos que el estudio de la Lógica será breve porque esta es una teorı́a
matemática muy amplia; no obstante, el principiante en los fundamentos de la matemática
no requiere conocer toda esa amplitud.
Por otra parte, la Lógica estudia básicamente el concepto de proposición mediante
dos subteorı́as: Lógica de proposiciones y Lógica de predicados. Esta división es, en cierto
sentido, artificial porque las proposiciones de todas las teorı́as importantes pertenecen al
campo de la Lógica de predicados; de hecho, la Lógica de proposiciones está contenida en
la de Predicados. Sin embargo, para la comprensión de las proposiciones con predicados
es necesario antes entender las proposiciones sin ellos. Por esta razón, en este primer
capı́tulo, nos centraremos en una pequeña parte de la Lógica de proposiciones.
Como ejemplos de las proposiciones de cada una de las subteorı́as tenemos:
1. Lógica de proposiciones:
2. Lógica de predicados:
1. Números reales: esta teorı́a se desarrolla añadiendo axiomas y conceptos primitivos a los
de la teorı́a de Conjuntos (a más de los axiomas de la Lógica).
En esta teorı́a se estudian, entre otros, los conceptos de:
número real, suma, producto, mayor que, neutro de la suma o cero, neutro
de la multiplicación o uno, inverso aditivo e inverso multiplicativo.
1 El objetivo de estos ejemplos es ilustrar el otro papel que juegan los axiomas: ser la base de las
proposiciones a partir de las cuales se deducen todas las demás proposiciones de la Geometrı́a. Por ello,
en estos ejemplos no nos ocuparemos de demostrar por qué son teoremas.
Las siguientes proposiciones son algunos de los axiomas de los Números reales:
Las siguientes se deducen de uno o varios axiomas de la teorı́a de los Números reales:
T1 : Si a = b, entonces ac = bc.
Esta proposición se deduce del axioma x = x y del axioma de sustitución (de la
teorı́a de Conjuntos).
T2 : El producto de un número real y 0 es igual a 0.
Este teorema se deduce de los axiomas A4 , A5 y A7 .
T3 : Si el producto de dos números reales es igual a cero, entonces uno de los dos es
igual a cero.
Este teorema se deriva de los siguientes axiomas: A3 , A4 , A5 , A6 y A7 .
T4 : Si a, b y c son números reales tales que a = b y b = c, entonces a = c.
T5 : El cuadrado de todo número real es mayor o igual que cero.
T6 : La raı́z cuadrada de un número positivo es un número positivo.
T7 : Si el producto de dos números reales es positivo, entonces, o bien ambos son posi-
tivos, o bien ambos son negativos.
T8 : Si a, b y c son números reales tales que a > b y b > c, entonces a > c.
T9 : Si a, b y c son números reales y a = b, entonces a + c = b + c.
F1 : Existe un número real tal que para todo número real, la suma de ambos es igual a
0.
F2 : Para todo número real, existe otro número tal que el producto de ambos es igual a
1.
F3 : Existe un número real para todo número real distinto de 0 tal que la multiplicación
de ambos es igual a 1.
F4 : Si a y b son números reales, la división de a por b es igual al producto de a y el
inverso multiplicativo de b.
F5 : La suma de a y b es diferente de la suma de b y a.
Las siguientes expresiones, que utilizan conceptos de Números reales, no son propo-
siciones:
(a) La suma de a y de b.
(b) El cuadrado del número real x.
(c) x2 − y2 .
(d) [−1, 2[.
(e) n + 1.
1. Una proposición necesariamente tiene que ser o verdadera o falsa. A esta carac-
terı́stica se le conoce con el nombre Principio del tercero excluido.
Una tercera caracterı́stica de las proposiciones (que es menos aparente en los ejem-
plos anteriores), es el hecho de que una proposición se puede expresar mediante otras
proposiciones. Veamos algunos ejemplos:
1. Si dos lados de un triángulo son congruentes, entonces los ángulos opuestos a estos lados
también son congruentes.
Esta es una proposición que se expresa a través de dos proposiciones:
Y estas dos proposiciones se relacionan mediante las palabras Si, entonces y una coma:
Si los dos lados de un triángulo son congruentes, entonces los ángulos opues-
tos a los dos lados congruentes son también congruentes.
2. Si el producto de dos números reales es igual a 0, entonces uno de los dos es igual a 0.
En este caso, las proposiciones mediante las que se expresa la proposición original
son:
En este caso, se utiliza la frase no es verdad que la cual significa lo mismo que el simple
no utilizado en la proposición original.
Los ejemplos que siguen nos presentan proposiciones que no se expresan mediante
otras proposiciones, y también proposiciones que se expresa a través de otras pero que
no utilizan únicamente una o varias de las palabras si, entonces, y, o, no, sino otras que
son también relevantes para la matemática, pero que no estudiaremos en este capı́tulo,
sino en el siguiente.
Ejemplos: Proposiciones
1. La proposición
En este caso, se ajusta al tipo de proposiciones que se expresan mediante las palabras si
Como se puede ver, aparte de las palabras si y entonces, aparece también las palabras
Para todo.
Este tipo de proposiciones es frecuente en la Matemática. No obstante, su estudio lo
dejaremos para el siguiente capı́tulo.
2. La proposición
Para toda recta, existen dos puntos tales que son distintos y están en la
recta.
En este caso, también aparece la palabra existen. Este tipo de proposiciones también es
clave en la Matemática.
Cabe interpretar esta última proposición de forma alternativa:
Si una figura geométrica es una recta, entonces existen dos puntos tales que
son distintos y están en la recta.
En esta interpretación, hemos cambiado el Para toda por la pareja si-entonces; no obs-
tante, es más difı́cil reemplazar la palabra existen. Volveremos en el siguiente capı́tulo a
estas proposiciones.
Como se dijo, la Lógica de proposiciones también es una teorı́a matemática. Por tanto,
en sentido estricto, su estudio deberı́a seguir el mismo patrón que el estudio de otras teorı́as
matemáticas. Sin embargo, como se mencionó en la introducción, este curso abordará
brevemente aquellos aspectos de la Lógica de proposiciones que nos permite definir el
concepto deducción, el que aplicaremos en el estudio de los conceptos fundamentales
indicados.
Por supuesto, vamos a presentar la mayorı́a de los conceptos primitivos y los co-
rrespondientes axiomas de la Lógica de proposiciones (aunque no todos). Para empezar,
asumimos que proposición es un concepto primitivo y que los axiomas que lo definen
expresan, precisamente, las tres caracterı́sticas sobre las proposiciones que enunciamos
Los conceptos primitivos son: proposición, verdadero, falso, valor de verdad de una
proposición, negación, conjunción, disyunción, implicación y doble implicación.
Mediante el siguiente axioma, definimos implı́citamente estos conceptos primitivos:
Este axioma no define completamente los conceptos primitivos; más adelante, esta-
bleceremos otros para completar la definición.
Como se indicó, las proposiciones de una teorı́a matemática son aquellas proposiciones
que consideramos verdaderas, y las consideramos verdaderas porque se pueden deducir de
los axiomas de dicha teorı́a. Por ello, en la siguiente subsección, abordaremos el axioma
que nos permitirá estudiar el concepto primitivo valor de verdad de una proposición.
2 En el español hay variantes gramaticales de estas palabras que se usan frecuentemente. Por ejemplo:
no es cierto que es una variante de no; siempre y cuando, variante de si y solo si; o bien-o bien, variante
de o, entre otras.
Sintaxis de la Lógica
A continuación, presentamos los signos que utilizaremos para representar los conceptos
primitivos de la Lógica y las reglas que los rigen.
1. Letras caligráficas mayúsculas del alfabeto español se utilizarán como signos para
representar proposiciones. Es decir, las letras A , B, C , . . . , P, Q, R, etcétera.
¬, ∧, ∨, ⇒ y ⇔.
3. Las reglas para el uso de las letras que representan las proposiciones y los signos
para las conectivas son las siguientes:
(a) La conectiva negación se escribe como prefijo de un signo que representa una
proposición. Por ejemplo:
¬A .
Por el punto 3 del axioma 1.1 (de los Principios fundamentales), ¬ P también
representa una proposición que llamaremos la negación de P.
(b) Las conectivas conjunción, disyunción, implicación y doble implicación se
escriben entre dos signos que representan proposiciones. Por ejemplo:
A ∧ B, A ∨ B, A ⇒B y A ⇔ B.
Nuevamente, por el punto 3 del axioma 1.1, estos signos también representan
proposiciones, a las que llamaremos la conjunción de A y B, la disyunción
de A y B, la implicación de A y B y la doble implicación de A y B,
respectivamente.
En el caso de la implicación A ⇒ B, la proposición A es denominada ante-
cedente y la proposición B, consecuente de la implicación.
A ∧B∨C
A ∧ (B ∨ C ) o (A ∧ B) ∨ C .
Abuso de lenguaje
6. Las únicas reglas para formar una proposición son las reglas 1, 2, 3, 4 y 5.
¬A , A ∧ B, A ∨ B, A ⇒ B, A ⇔ B,
Es muy fácil ver que los cinco axiomas enunciados en el axioma 1.2 se pueden resumir
a través de las siguientes tablas:
A B A ∧B A B A ∨B A B A ⇒B A B A ⇔B
A ¬A v v v v v v v v v v v v
v f v f f v f v v f f v f f
f v f v f f v v f v v f v f
f f f f f f f f v f f v
Se puede ver del axioma 1.2 que el valor de verdad de cualquiera de las cinco propo-
siciones del numeral 3 del axioma de los Principios Fundamentales depende del valor de
verdad de las proposiciones mediante las cuales se expresan.
Si A representa una proposición cualesquiera, no sabemos cuál es su valor de verdad.
Luego, el valor de verdad de ¬A puede ser f si el valor de verdad de A es v; y, puede ser
v si el valor de verdad de A es f. En otras palabras, si desconocemos el valor de verdad
de A , sobre el valor de verdad de ¬A hay dos posibilidades únicamente.
En este punto es importante no confundir el hecho de que
A ∧ B, A ∨ B, A ⇒B o A ⇔ B, (1.1)
¬A , A ∧ B, A ∨ B, A ⇒B y A ⇔ B. (1.2)
(A ⇒ B) ∨ (B ⇒ A )
si el valor de verdad de A es f y el de B es v?
(a) A ⇒ B;
(b) B ⇒ A ; y
(c) la disyunción de A ⇒ B y de B ⇒ A .
Procedamos:
A B A ⇒B B⇒A (A ⇒ B) ∨ (B ⇒ A )
f v v f v
((A ⇒ B) ∧ B) ⇒ A
(a) A ⇒ B;
(b) (A ⇒ B) ∧ B; y
(c) la implicación de (A ⇒ B) ∧ B y de A .
Procedamos:
A B A ⇒B (A ⇒ B) ∧ B ((A ⇒ B) ∧ B) ⇒ A
f v v
f f v
A B A ⇒B (A ⇒ B) ∧ B ((A ⇒ B) ∧ B) ⇒ A
f v v v
f f v f
A B A ⇒B (A ⇒ B) ∧ B ((A ⇒ B) ∧ B) ⇒ A
f v v v f
f f v f v
En resumen:
Si A es f, el valor de verdad de
((A ⇒ B) ∧ B) ⇒ A
A ∨ ¬A
¿cuáles son todas las posibilidades para el valor de verdad de dicha proposición
según los valores de verdad de las proposiciones mediante las que se expresa?
((A ∨ B) ∧ A ) ⇒ B,
de verdad de A y ¬A no pueden ser ambos f. Luego, por el axioma de la disyunción, el valor de verdad
de A ∨ ¬A es v, independientemente del valor de verdad de A .
hay dos posibles valores de verdad: uno por cada uno de los valores de verdad que podrı́a
tener A . Ası́, si el valor de verdad de A fuera v, el de A ⇒ ¬A serı́a f; y, si el valor
de A fuera f, el de A ⇒ ¬A serı́a v. Estas dos posibilidades podemos expresarlas en el
siguiente cuadro:
A ¬A A ⇒ ¬A
v f f
f v v
A ¬A A ⇒ ¬A
f v v
v f f
((A ∨ B) ∧ A ) ⇒ B. (1.3)
Hay 4 posibilidades para el valor de verdad de esta proposición, como lo vimos antes
(el número 4 se obtiene por la multiplicación de 2 y 2 que son el número de posibilidades
para el valor de verdad de A y de B, respectivamente). Estas cuatro posibilidades se
pueden escribir en el siguiente cuadro, en el cual también se han registrado los valores de
verdad de las proposiciones mediante las que está expresada la proposición (1.3):
A B A ∨ B (A ∨ B) ∧ A ((A ∨ B) ∧ A ) ⇒ B
f f f f v
f v v f v
v f v v f
v v v v v
((A ∨ B) ∧ A ) ⇒ B.
En esta tabla se consignan todos los posibles valores de verdad de esta proposición
según los posibles valores de verdad de las proposiciones A y B en conjunto.
Veamos un ejemplo más: una proposición expresada mediante tres proposiciones; por
A B C A ∨B A ⇒C (A ∨ B) ∧ (A ⇒ C ) B⇒C ((A ∨ B) ∧ (A ⇒ C )) ∧ (B ⇒ C )
v v v v v v v v
v v f v f f f f
v f v v v v v v
v f f v f f v f
f v v v v v v v
f v f v v v f f
f f v f v f v f
f f f f v f v f
(A ∧ (A ∨ B)) ⇒ B.
Como esta proposición se expresa mediante dos proposiciones, hay cuatro posibles
valores de verdad para ella, según los valores de verdad de A y de B. Al aplicar el
axioma de valores de verdad (página 14), obtenemos la siguiente tabla:
A B A ∨B A ∧ (A ∨ B) (A ∧ (A ∨ B)) ⇒ B
v v v v v
v f v v f
f v v f v
f f f f v
(¬A ∨ (A ⇒ B)) ⇒ B
A B ¬A A ⇒B ¬A ∨ (A ⇒ B) (¬A ∨ (A ⇒ B)) ⇒ B
v v f v v v
v f f f f v
f v v v v v
f f v v v f
Abuso de lenguaje
1.3 Tautologı́as
En la sección anterior, nos encontramos con la proposición
A ∨ ¬A , (1.4)
Lo dicho aplica a cualquier proposición que tenga la misma caracterı́stica que la pro-
posición (1.4):
((A ⇒ B) ∧ B) ⇒ A .
Una manera de verlo fácilmente es elaborar una tabla de verdad para esta proposición:
A B A ⇒ B (A ⇒ B) ∧ B ((A ⇒ B) ∧ B) ⇒ A
v v v v v
v f f f v
f v v v f
(De hecho, no fue necesario elaborar la tabla de verdad sino únicamente las tres primeras
filas de la misma).
Otra proposición cuyo valor de verdad es verdadero independientemente de los valores
de verdad de las proposiciones mediante las que se expresa es
((A ⇒ B) ∧ A ) ⇒ B,
como se puede constatar inmediatamente después de realizar una tabla de verdad para
ella:
A B A ⇒ B (A ⇒ B) ∧ A ((A ⇒ B) ∧ A ) ⇒ B
v v v v v
v f f f v
f v v f v
f f v f v
La siguiente proposición no tiene la caracterı́stica de esta última proposición, sin em-
bargo, también juega un papel importante en la aplicación de la Lógica:
A ∧ ¬A . (1.5)
Los siguientes ejemplos nos muestran las tautologı́as que con mayor frecuencia se
utilizan para realizar deducciones en las teorı́as matemáticas. Por su importancia, estas
tautologı́as tienen nombres propios que tratan de reflejar el sentido que expresa.
¬(A ∧ ¬A )
ya que si una proposición fuera verdadera y falsa, su negación serı́a falsa y verdadera,
respectivamente; por ello, la conjunción de una proposición y su negación es falsa; y, la
negación de dicha conjunción serı́a verdadera, y esto es lo que expresa la tautologı́a
¬(A ∧ ¬A ).
A B A ∧B B∧A (A ∧ B) ⇔ (B ∧ A )
v v v v v
v f f f v
f v f f v
f f f f v
((A ∨ B) ∨ C ) ⇔ (A ∨ (B ∨ C ))
es una tautologı́a.
Para ello, realicemos una tabla de verdad para esta proposición:
A B C A ∨B B∨C (A ∨ B) ∨ C A ∨ (B ∨ C ) ((A ∨ B) ∨ C ) ⇔ (A ∨ (B ∨ C ))
v v v v v v v v
v v f v v v v v
v f v v v v v v
v f f v f v v v
f v v v v v v v
f v f v v v v v
f f v f v v v v
f f f f f f f v
(A ∧ B) ⇔ (B ∧ A ). (1.6)
las proposiciones
A ∧B y B∧A
a y b son distintos de 0
b y a son distintos de 0
((A ∨ B) ∨ C ) ⇔ (A ∨ (B ∨ C ))
(A ∨ B) ∨ C y A ∨ (B ∨ C )
tienen igual valor de verdad para los mismos valores de verdad de A , B y de C . Por ello,
si se escribiera
A ∨B ∨C,
la ambigüedad aún existe5 , pues estos signos pueden interpretarse de las dos formas ya
indicadas. No obstante, a pesar del no cumplimiento de la sintaxis para las conectivas,
esta ambigüedad no es un problema porque ambas proposiciones tienen igual valor de
verdad para los mismos valores de verdad de A , B y de C .
4 Para llegar a esta conclusión, no es necesario saber que la proposición (1.6) es una tautologı́a; basta
con utilizar la definición de conjunción, ya que si A ∧ B es verdadera, necesariamente A y B son ambas
verdaderas. Sin embargo, el ejemplo muestra cómo se utiliza una tautologı́a en general.
5 No solo existe ambigüedad sino que no se está acatando las reglas de la sintaxis para el uso de las
en lugar de
(A ∨ B) ∨ C o A ∨ (B ∨ C )
((A ∧ B) ∧ C ) ⇔ (A ∧ (B ∧ C )) (1.7)
es una tautologı́a, como se puede ver fácilmente si se realiza una tabla de verdad de ella;
se denomina propiedad asociativa de la conjunción.
De manera similar a lo que ocurre con la disyunción, escribiremos
A ∧B∧C (1.8)
(A ∧ B) ∧ C y A ∧ (B ∧ C ). (1.9)
No es difı́cil ver que hay muchas tautologı́as. Sin embargo, algunas de ellas son relevantes6
para las teorı́as matemáticas porque son requeridas frecuentemente en las deducciones de
sus teoremas. Vamos a presentar algunas de ellas a continuación junto con una explicación
para “entender” cómo se utiliza; añadiremos un ejemplo concreto en algunas de las teorı́as
matemáticas que hemos utilizado en los ejemplos.
6 Las palabras “tautologı́a relevantes” no son de ninguna manera un concepto de la Lógica o de la
Matemática. El adjetivo relevante es utilizado aquı́ para enfatizar el hecho de que estas proposiciones son
de uso frecuente y nada más.
((A ⇒ B) ∧ A ) ⇒ B. (1.10)
No es difı́cil cerciorarse de que se trata de una tautologı́a si se elabora una tabla de verdad
para ella.
Una manera de “entender” lo que “nos dice” esta tautologı́a es la siguiente:
[1.] La implicación
((A ⇒ B) ∧ A ) ⇒ B
(A ⇒ B) ∧ A .
[3.] Bajo el supuesto de que el antecedente de [1.] es una proposición verdadera, por el
axioma de la conjunción, las dos proposiciones
A ⇒B y A
Con base en [3.] y en [2.], diremos “que la tautologı́a Modus Ponens asegura que”:
es verdadera. El teorema indicado asegura que cualquiera que sea el triángulo, si este
es equilátero, cualquiera de sus ángulos tendrá por medida7 el número 60. Por tanto, el
7 Vamos a utilizar el signo m∠ A para representar la medida del ángulo ∠ A
Puesto que el antecedente de esta proposición es verdadera, Modus Ponens “nos asegura
que” el consecuente también es una proposición verdadera; es decir, podemos garantizar
que la proposición
m∠ B = 60
es verdadera.
Si no nos convence que el ejemplo anterior ilustra el uso de la tautologı́a Modus
Ponens, utilicemos las letras A y B para representar las proposiciones
A ⇒ B.
A ⇒B y A
son verdaderas. Luego, Modus Ponens asegura que necesariamente B también lo es,
como dice (1.11).
Modus Tollens
Es una tautologı́a como se puede verificar fácilmente si se elabora una tabla de verdad
para ella.
Mediante un análisis similar al realizado para Modus Ponens el siguiente:
[1.] La implicación de
((A ⇒ B) ∧ ¬B) ⇒ ¬A
((A ⇒ B) ∧ ¬B)
Con base en [3.] y [2.], diremos que “la tautologı́a Modus Tollens asegura que”:
El ejemplo utilizado en Modus Ponens con una modificación nos sirve para ilustrar
claramente el uso de Modus Tollens.
En efecto, recordemos que en dicho ejemplo, la proposición (1.12) es verdadera. A
diferencia de ese ejemplo, supongamos adicionalmente que la proposición
m∠ B = 60 (1.15)
es falsa (es decir, la medida del ángulo B no es 60). ¿Qué es lo que se puede concluir
gracias a Modus Tollens? Que la proposición
Contrapositiva
Es el nombre de la proposición
(A ⇒ B) ⇔ (¬B ⇒ ¬A ). (1.16)
es una tautologı́a como se puede verificar mediante una tabla de verdad para esta propo-
sición.
Sin embargo, hay otra manera de hacerlo: utilizando simplemente los axiomas de la
doble implicación, implicación y negación.
En efecto, para ver que la proposición (1.16) es una tautologı́a, debemos verificar que
su valor de verdad es v independientemente de los valores de verdad de A y B. Para ello,
determinamos los valores de verdad de ambas proposiciones según los valores de verdad
de A y de B. Veamos:
A ⇒B y ¬B ⇒ ¬A
A ⇒B y ¬B ⇒ ¬A
A ⇒B y ¬B ⇒ ¬A
tienen el valor de verdad f, pues los antecedes de cada una son verdaderas mientras
que los consecuentes son falsas.
A ⇒B y ¬B ⇒ ¬A
A ⇒B y ¬B ⇒ ¬A
A B A ⇒B A B ¬B ¬A ¬B ⇒ ¬A
y
v v v v f v f f
A ⇒B y ¬B ⇒ ¬A
no tienen, necesariamente, el mismo valor de verdad, salvo que los valores de verdad de
A y de B tengan los mismos valores de verdad en ambas proposiciones.
Consideremos ahora el siguiente ejemplo de la Geometrı́a euclı́dea. La proposición
¬B ⇒ ¬A y A ⇒ B.
Es el nombre de la proposición
Es una tautologı́a como se puede verificar fácilmente. Veamos “qué nos dice”:
¬(A ∧ B) y ¬A ∨ ¬B
tienen igual valor de verdad para los mismos valores de verdad de A y de B (es
decir, o bien ambas son verdaderas, o bien ambas falsas).
la negación de a = 0 y b = 0
a 6= 0 o b 6= 0,
¬(a = 0 ∧ b = 0),
a 6= 0 ∨ b 6= 0.
(a 6= 0 ∧ b 6= 0) ⇒ ab 6= 0. (1.19)
En efecto:
ab = 0 ⇒ (a = 0 ∨ b = 0)
Es el nombre de la proposición
A ⇔ ¬¬A . (1.20)
[2.] Por el axioma de la doble implicación, los valores de verdad de A y ¬¬A son los
mismos, independientemente de los valores de verdad de A .
Es el nombre de la proposición
[2.] Los valores de verdad de ¬(A ∨ B) y ¬A ∧ ¬B son iguales para los mismos valores
de verdad de A y de B.
Implicación-disyunción
Negación de la implicación
Es el nombre de la tautologı́a
Su significado es:
[2.] De [1.] y el axioma de la doble implicación, los valores de verdad de las proposiciones
¬(A ⇒ B) y A ∧ ¬B
Transitiva de la implicación
Es el nombre de la proposición
((A ⇒ B) ∧ (B ⇒ C )) ⇒ (A ⇒ C ). (1.24)
Es una tautologı́a..
El significado de esta tautologı́a es:
[1.] La implicación
((A ⇒ B) ∧ (B ⇒ C )) ⇒ (A ⇒ C )
A ⇒B y B⇒C
Esta es una de las tautologı́as que se utiliza con más frecuencia. Tendremos la oportunidad
de “verla en acción” a lo largo de cada uno de los capı́tulos de este curso.
Ejemplos: Tautologı́as
1. La proposición ÅÄ ã
ä
(A ∨ B) ∧ (A ⇒ C ) ∧ (B ⇒ C ) ⇒ C
es una tautologı́a. Esto podemos verificar fácilmente mediante la tabla de verdad de esta
proposición (la tabla de verdad del antecedente fue realizada en la página 21).
Como se puede observar ahı́, este antecedente tiene el mismo valor de verdad que C
en cada una de las filas, excepto en la séptima, fila en la cual el antecedente es falso y,
por tanto, la implicación, verdadera.
Esta tautologı́a se denomina Silogismo hipotético disyuntivo.
A ∨ ¬A
C ∨ ¬C
Es decir,
(A ∧ B) ∨ ¬(A ∧ B)
(entre muchas otras). Y por esto decimos que todas ellas representan la tautologı́a Prin-
cipio del Tercero Excluido. En este sentido, la proposición
T ∨ ¬T ,
1. Como la proposición
¬(A ⇒ B) ⇔ (A ∧ ¬B)
2. La proposición
¬¬¬C ⇔ ¬C
¬¬A ⇔ A ,
3. La proposición
A ⇒ (B ⇒ A )
es una tautologı́a, como se puede verificar fácilmente si se realiza su tabla de verdad. Por
tanto, la proposición
A ⇒ ((A ⇒ A ) ⇒ A )
4. La proposición
¬((A ⇒ B) ∧ ¬A )
¬(D ∧ E ).
Su “forma” es:
3. La Contrapositiva es:
(A ⇒ B) ⇔ (¬B ⇒ ¬A ).
Su “forma” es:
1.4 Deducción
Antes de definir el concepto de deducción, veamos algunos ejemplos de deducciones en
algunas de las teorı́as matemáticas que estudiaremos a lo largo de este curso.
Ejemplos: Deducciones
∅⊆a
es un teorema.
¿Por qué? Porque esta se deduce de un axioma o de un teorema que se deduce de un
axioma de esta teorı́a. Veamos una de las posibles deducciones de esta proposición.
Para simplificar el ejemplo, vamos a utilizar las letras minúsculas del alfabeto español
para representar conjuntos, de modo que no será necesario decir que a, b, x, y, etcétera
son conjuntos cuando aparezcan estas letras en las proposiciones.
A continuación, listemos un concepto definido y un teorema de la teorı́a de conjuntos
requeridos para la deducción:
x∈a⇒x∈b
¬(a ∈ ∅),
∅⊆a
x ∈ ∅ ⇒ x ∈ a;
¬(x ∈ ∅)
es verdadera.
iii. Por el axioma de la negación aplicado a [ii.], la proposición
x∈∅
es falsa.
iv. Por [iii.] y el axioma de la implicación, la proposición
x∈∅⇒x∈a
En resumen,
La proposición
∅⊆a
a=b⇒b=a
es un teorema. Es decir, se deduce de uno o varios axiomas de esta teorı́a. Veamos una
posible deducción.
Como hicimos en el ejemplo anterior, utilizaremos letras minúsculas del alfabeto es-
pañol para representar números reales con el fin de simplificar el ejemplo. Ası́, no será
necesario indicar en las proposiciones en que aparezcan a y b que se trata de números
reales.
A1 : s = s.
A2 : Si s = t es verdadera, entonces en cualquier proposición en la que aparezca s,
podemos sustituirle por t. La proposición resultante de la sustitución tiene el mismo
valor de verdad que la proposición original.
Y esta proposición es verdadera ya que tiene el mismo valor de verdad que la pro-
posición en [ii.] (que es verdadera), gracias al axioma A2 .
iv. La secuencia [i.] - [iii.] es la deducción de la proposición
a = b ⇒ b = a.
Recordemos que es, justamente la Lógica la que establece la validez de este proce-
dimiento, y lo hace a través de los conceptos que estamos estudiando en este capı́tulo y
de la definición de deducción que, luego de estos ejemplos, vamos a presentar.
Pero, antes de ello, veamos cómo la Lógica justifica la validez del procedimiento
anterior.
Con este fin, utilicemos las letras A y B para representar las proposiciones a = b y
b = a, respectivamente. Ası́, la proposición que vamos a deducir es
A ⇒ B.
i. Suponemos que
A
En resumen:
I. La proposición
B
se ha deducido de
A1 , A2 y A .
II. El paso I asegura que la proposición
A ⇒B
3. Veamos otro ejemplo de deducción en la teorı́a Números reales. Con el mismo acuerdo
de que las letras minúsculas del alfabeto español representen números reales, mostremos
una deducción de la proposición
si a = b, entonces a + c = b + c.
Igual que en los ejemplos anteriores, por ahora no es necesario en este punto conocer ni
todos los axiomas ni todas las definiciones de la teorı́a de los números reales. Es suficiente
saber aquellos que intervendrán en la deducción. En este caso, son los siguientes axiomas:
A1 : s = s.
A2 : s + t es un número real.
a+c = a+c
es verdadera.
iii. Por el axioma A3 , de la proposición en [i.] y la proposición en [ii.], la proposición
a+c = b+c
A ⇒ B.
es verdadera.
ii. La proposición
C
En resumen,
I. La proposición
B
A ⇒B
4. Este ejemplo también trata de la misma proposición del ejemplo anterior: si a, b y c son
números reales, la proposición
si a = b, entonces a + c = b + c
es un teorema.
La diferencia con el ejemplo anterior estriba en que ahora no utilizaremos el acuerdo
tácito de representar los números reales con letras minúsculas del alfabeto español. Como
se podrá apreciar, la dificultad de la deducción se incrementa ası́ como su extensión (el
número de “pasos”).
Los axiomas a partir de los cuales se deduce la proposición en cuestión son, obviamen-
te, los mismos que en el ejemplo anterior. Notemos, sin embargo, que ahora el axioma
A2 es utilizado explı́citamente.
si a = b, entonces a + c = b + c
a+c = a+c
es verdadera.
iv. Finalmente, como a = b es verdadera (paso [i.]), por el axioma A3 , podemos sustituir
en la proposición en [iii.], el número a que aparece en el lado derecho del signo =
por b; el resultado es la proposición
a + c = b + c.
Y esta proposición también es verdadera porque tiene el mismo valor de verdad que
la proposición de [iii.], que es verdadera.
v. En resumen, la secuencia [i.] - [iv.] es la deducción de la proposición
si a = b, entonces a + c = b + c.
Y, por esta razón, es verdadera en la teorı́a de los números reales.
si a = b, entonces a + c = b + c
es la implicación de A y de B: A ⇒ B.
Además:
C : a es un número real;
D: b es un número real;
E : c es un número real;
F : a + c es un número real.
G : a + c = a + c.
es verdadera.
ii. Suponemos que la proposición
D
es verdadera.
iii. Suponemos que la proposición
E
es verdadera.
representa el axioma A3 .
xi. La proposición
C ∧D
En resumen,
I. La proposición
B
se ha deducido de
A1 , A2 , A3 , C , D, E y A .
II. El paso I asegura que la proposición
A ⇒B
se ha deducido de
A1 , A2 , A3 , C , D y E .
Hemos dicho que las deducciones fuera de la Lógica de proposiciones son las usuales,
a pesar de no ser completas. ¿Por qué estudiar, entonces, la Lógica de proposiciones?
La respuesta es muy simple: al estudiar la Lógica se aprenden los conceptos y las reglas
requeridos para realizar tal procedimiento; es decir, se aprende a deducir proposiciones.
El premio de tal aprendizaje es que, una vez este alcanzado, no requeriremos ya escribir
en detalle los procedimientos utilizados en la Lógica de proposiciones. Las personas que
conocen Matemática y que lean una deducción como la primera (la común) entenderán
aquellas partes que se han omitido en la escritura. Pero, para lograrlo, tenemos que
aprender todo aquello que ocultamos (en particular, la aplicación explı́cita de las reglas de
inferencia).
En los ejemplos, aparecieron los conceptos de deducción y de regla de inferencia.
La relación entre ellos se expresa mediante los siguientes enunciados:
En otras palabras,
Más adelante, precisaremos la relación entre los conceptos regla de inferencia y deduc-
ción.
Para definir deducción y regla de inferencia, vamos a utilizar los conceptos impli-
cación y tautologı́a, puesto que si la implicación
A ⇒B
1. De A se deduce lógicamente B.
2. A implica lógicamente10 B.
3. B se infiere de A .
4. De A se infiere B.
5. De A se tiene B.
En lugar de las palabras, infiere o deduce, se utilizan también las siguientes como
sinónimos:
“de A se tiene B”
en lugar de
en lugar de
“B se deduce de A ”.
La notación
A
B
suele leerse o denominarse también regla de inferencia, la proposición A se llama hipóte-
sis o premisa y B, conclusión.
Esta notación de “regla de inferencia” se extiende de siguiente manera: si A , C , . . . ,
D y B son proposiciones tales que la implicación
(A ∧ C ∧ · · · ∧ D) ⇒ B
A , C , . . . , D |= B.
Como se podrá ver a continuación, varias de las tautologı́as relevantes que estudiamos
Ejemplos: Deducción
porque la proposición
((A ⇒ B) ∧ A ) ⇒ B
(a) B se deduce de (A ⇒ B) ∧ A .
(b) B se deduce de A ⇒ B y de A .
(c) De A ⇒ B y de A , se deduce B.
(d) A ⇒ B, A |= B.
A ⇒ B, A |= B.
(A ∧ B) ⇒ (A ∧ B)
(a) A ∧ B se deduce de A y de B.
(b) De A y de B, se deduce A ∧ B.
(c) A , B |= A ∧ B.
En otras palabras,
Se escribe
A
B
A ∧B
para indicar la regla de inferencia Introducción de la conjunción.
En otras palabras,
Se escribe
A ⇒B
¬B
¬A
para indicar la regla de inferencia Modus Tollens.
Al final de este capı́tulo, podemos encontrar otras reglas de inferencia que se usarán
en el estudio de las diversas teorı́as matemáticas que abordaremos en este curso, por lo
que no es necesario ahondar en ellas ni trabajar más ejemplos por ahora.
4. Puesto que
Ä ä
(A ⇒ B) ∧ (B ⇒ C ) ⇒ (A ⇒ C )
es una tautologı́a, como vimos en el ejemplo 1.24 en la página 35, podemos decir y escribir
lo siguiente:
(a) A ⇒ C se deduce de (A ⇒ B) ∧ (B ⇒ C ).
(b) A ⇒ C se deduce de (A ⇒ B) y de (B ⇒ C ).
(c) De A ⇒ B y B ⇒ C , se deduce A ⇒ C .
(d) A ⇒ B, B ⇒ C |= A ⇒ C .
A ⇒B
(e) B ⇒ C
A ⇒C
5. Como
Ä ä
(A ⇒ C ) ∧ (B ⇒ D) ∧ (A ∨ B) ⇒ (C ∨ D)
es una tautologı́a, como se podrá verificar al realizar su tabla de verdada , podemos escribir:
Hemos visto en los ejemplos de esta sección y en algunos de la anterior, cómo se deducen
algunas proposiciones a partir de otras. Ahora ya le hemos dado un concepto preciso
de manera que ya poseemos la herramienta para deducir u obtener los teoremas de una
teorı́a matemática. Como se dijo al inicio de este curso, obtener proposiciones verdaderas
sobre los conceptos que estudia la teorı́a matemática es el propósito del desarrollo de
dicha teorı́a. Al procedimiento mediante el cual se reporta qué reglas de inferencia o qué
tautologı́as se han utilizado para la deducción de una proposición (a partir de los axiomas)
se denomina demostración de dicha proposición.
de la proposición
si ab = 0, entonces a = 0 o b = 0.
Esta deducción se obtiene con ayuda de las tautologı́as Contrapositiva, Doble negación y
Ley de De Morgan para la negación de la disyunción.
En efecto, en primer lugar, escribamos en forma simbólica estas proposiciones en la
teorı́a Números reales. La primera es
(a 6= 0 ∧ b 6= 0) ⇒ ab 6= 0 (1.25)
y la segunda,
ab = 0 ⇒ (a = 0 ∨ b = 0). (1.26)
¿Por qué? Porque las dos proposiciones tienen el mismo valor de verdad (por la
tautologı́a Contrapositiva, página 30).
iii. Por la tautologı́a Doble negación (página 34), la proposición ¬¬(ab = 0) tiene el
mismo valor de verdad que la proposición ab = 0. Por tanto, si reemplazamos la
primera por la segunda en la proposición (1.28), la proposición que resulta de tal
sustitución es
ab = 0 ⇒ ¬(¬(a = 0) ∧ ¬(b = 0)). (1.29)
y, además, tiene el mismo valor de verdad que la proposición original (es decir, la
(1.28)).
Luego, reemplazamos dicho consecuente por esta proposición, obtenemos esta otra
v. Una vez más, por la tautologı́a Doble negación, podemos reemplazar las dos propo-
siciones de la disyunción en el consecuente de (1.30) por las proposiciones a = 0 y
b = 0, respectivamente.
ab = 0 ⇒ (a = 0 ∨ b = 0), (1.31)
vi. En resumen, hemos probado que las proposiciones (1.25) y (1.26) tienen el mismo
valor de verdad; luego, si la segunda es verdadera, la primera también lo será.
(a 6= 0 ∧ b 6= 0) ⇒ ab 6= 0
es verdadera, se ha demostrado que esta tiene el mismo valor de verdad que la proposición
(1.26)
ab = 0 ⇒ (a = 0 ∨ b = 0).
Es claro, del axioma de la doble implicación que si dos proposiciones son equivalentes
lógicamente, tienen el mismo valor de verdad independientemente de los valores de verdad
de las proposiciones mediante las cuales se expresan.
Hay muchas equivalencias lógicas. Veamos algunas de ellas, las que se utilizarán con
mayor frecuencia. Las equivalencias lógicas suelen identificarse con los mismos nombres
que las tautologı́as correspondientes.
Esto es:
A ≡A
Doble negación.
Esto es:
¬¬A ≡ A
Contrapositiva.
Esto es:
A ⇒ B ≡ ¬B ⇒ ¬A
(A ⇒ B) ⇔ (¬B ⇒ ¬A )
es una tautologı́a.
Una vez más: ¡las proposiciones
A ⇒B y ¬B ⇒ ¬A
son distintas!
es una tautologı́a.
Observaciones
1. Tiene que estar claro que el signo A ≡ B no representa una proposición sino una
relación entre proposiciones: la doble implicación de A y B es una tautologı́a.
2. También hay que estar claro que el hecho de que A ≡ B no significa que A sea igual
a B; únicamente significa que tienen el mismo valor de verdad independientemente
de los valores de verdad de las proposiciones mediante las cuales se expresan.
(A ∨ B) ∨ C ≡ A ∨ (B ∨ C )
puesto que
((A ∨ B) ∨ C ) ⇔ (A ∨ (B ∨ C ))
(A ∧ B) ∧ C ≡ A ∧ (B ∧ C )
puesto que
((A ∧ B) ∧ C ) ⇔ (A ∧ (B ∧ C ))
A ⇒ B ≡ ¬B ⇒ ¬A ,
¡Atención!: Redundancia
El sı́mbolo
A ≡B
La equivalencia lógica tiene algunas propiedades que se utilizan con mucha frecuencia en
las deducciones. Son las siguientes:
A 𠪪A .
a = b ≡ a − b = 0.
a 6= b ≡ a − b 6= 0,
(c) Por tanto, por la Propiedad transitiva de la equivalencia lógica aplicada a (a) y (b),
se tiene que
(x − 1)2 = 0 ≡ x = 1.
A ⇒ B ≡ ¬A ∨ B y C ∨ D ≡ ¬C ⇒ D.
A ⇒ B ≡ ¬A ∨ B. (1.32)
C ∨ D ≡ ¬C ⇒ D. (1.33)
¬C ⇒ D ≡ ¬¬C ∨ D,
¬¬C ∨ D ≡ ¬C ⇒ D. (1.34)
iv. Por la propiedad transitiva de las equivalencias lógicas aplicada a [ii] y (1.34),
tenemos la validez de
C ∨ D ≡ ¬C ⇒ D,
¬A ∨ B ≡ ¬¬A ⇒ B.
¬¬A ⇒ B ≡ A ⇒ B.
vii. Por la propiedad transitiva de las equivalencias lógicas, de [v] y [vi], es válida
¬A ∨ B ≡ A ⇒ B.
A ⇒ B ≡ ¬A ∨ B,
64