“AÑO DEL BICENTENARIO, DE LA CONSOLIDACIÓN DE NUSTRA

INDEPENDENCIA, Y DE LA CONMEMORACIÓN DE LAS HEROICAS

BATALLAS DE JUNÍN Y AYACUCHO”

PORTADA

I.E.S.T.P. GABRIELA PORTO DE

POWER

INFORME
CUANTIFICADORES UNIVERSALES Y EXISTENCIALES

DATOS
FORMADOR
Jhian Lleferson Bardales Huaymacari
ESTUDIANTE
SANDY SALAS MANIHUARI

ÁREA : Lógica y funciones

CICLO :I

REQUENA – LORETO – PERÚ

20245
1. INTRODUCCIÓN

La lógica matemática se erige como una de las ramas más fundamentales del
conocimiento humano, pues constituye la base del razonamiento formal y de la
estructura que permite diferenciar lo verdadero de lo falso. Desde tiempos
antiguos, filósofos como Aristóteles ya habían planteado los cimientos de la lógica
como disciplina encargada de estudiar las reglas del pensamiento correcto. Sin
embargo, fue con el desarrollo de la lógica simbólica y la lógica de predicados en
los siglos XIX y XX que se logró una precisión sin precedentes en el análisis de
proposiciones y argumentos.

Dentro de este vasto campo, los cuantificadores universales y existenciales

cumplen un rol central. Estos elementos del lenguaje formal permiten expresar con
exactitud proposiciones que involucran a todos los elementos de un conjunto o, en
contraposición, la existencia de al menos un elemento que cumple con cierta
propiedad. Gracias a ellos, el ser humano ha podido formalizar teoremas, definir
conceptos matemáticos rigurosos, construir lenguajes de programación y analizar
con profundidad problemas filosóficos de gran envergadura.

El cuantificador universal (∀) se utiliza para señalar que una afirmación es válida
para la totalidad de los elementos de un dominio. Por ejemplo, cuando afirmamos
que “todos los números pares son divisibles entre dos”, estamos empleando este
cuantificador. Por otro lado, el cuantificador existencial (∃) se aplica para indicar
que existe al menos un elemento en el dominio de discurso que satisface una
condición. Un ejemplo de ello sería afirmar que “existe un número primo mayor
que 100”.

El estudio de estos cuantificadores no es un simple ejercicio académico. Su

importancia trasciende lo teórico y se refleja en múltiples áreas del conocimiento y
de la vida práctica. En matemáticas, son indispensables para formular y demostrar
teoremas; en informática, constituyen la base de estructuras de datos, algoritmos y
lenguajes de programación; en filosofía, ayudan a analizar conceptos de
existencia, universalidad y necesidad. Incluso en la vida cotidiana los usamos,
aunque de manera implícita, al emitir juicios generales o afirmar la existencia de
casos particulares.

Este informe tiene como objetivo desarrollar un análisis exhaustivo de los

cuantificadores universales y existenciales, comprender su definición formal,
estudiar sus reglas de uso, explorar sus aplicaciones y ejercitar su práctica
mediante ejemplos resueltos. A través de un recorrido teórico y práctico, se busca
que el lector no solo entienda la mecánica de estos cuantificadores, sino que
también reconozca su valor en la construcción del pensamiento lógico, crítico y
creativo.

En un mundo cada vez más complejo, donde la información circula de manera

abundante y las decisiones deben ser tomadas con base en argumentos sólidos,
la lógica se convierte en una herramienta indispensable. Comprender cómo
funcionan los cuantificadores equivale a dotarse de una capacidad superior para
analizar discursos, resolver problemas y construir conocimiento riguroso. Por ello,
el presente trabajo no solo pretende ser un repaso teórico, sino también un aporte
al desarrollo de competencias intelectuales que son necesarias en cualquier
ámbito académico y profesional.

En conclusión, la introducción de este informe subraya que los cuantificadores son

mucho más que símbolos: son instrumentos del pensamiento humano que
permiten expresar de manera formal y precisa ideas sobre la totalidad o la
existencia de objetos dentro de un dominio. Su estudio, por tanto, es un paso
fundamental hacia la comprensión profunda de la lógica matemática y de las
aplicaciones prácticas que se derivan de ella.

2. MARCO TEÓRICO
2.1. Lógica de predicados

La lógica de predicados es una extensión de la lógica proposicional que permite

analizar enunciados más complejos, en los cuales intervienen variables y
funciones. Mientras que la lógica proposicional trabaja con proposiciones simples
que solo pueden ser verdaderas o falsas, la lógica de predicados se ocupa de
expresiones que dependen de variables y que requieren especificar sobre qué
conjunto o dominio se está hablando.

Por ejemplo, en la lógica proposicional podemos afirmar:

 “Lima es la capital de Perú.” → proposición simple, verdadera.

 “5 es mayor que 3.” → proposición simple, verdadera.

En cambio, la lógica de predicados nos permite expresar afirmaciones generales

como:

 “Todo número mayor que 2 es mayor que 1.”

 “Existe un número natural que es primo y par.”

Estas proposiciones no pueden analizarse solo como bloques indivisibles;

requieren un lenguaje más sofisticado que haga uso de predicados y
cuantificadores.

Un predicado es una función lógica que asocia a cada objeto de un dominio un

valor de verdad (verdadero o falso). Por ejemplo, el predicado Primo(x) devuelve
“verdadero” si el número x es primo, y “falso” en caso contrario.

La lógica de predicados constituye la base de la matemática formal moderna, pues

permite definir conceptos, axiomas y teoremas con precisión absoluta.

2.2. Proposiciones simples y proposiciones cuantificadas

Las proposiciones simples son aquellas que expresan un enunciado completo

sin necesidad de cuantificadores. Ejemplo:

 “7 es impar.”
 “El triángulo tiene tres lados.”
En cambio, las proposiciones cuantificadas son aquellas que utilizan
cuantificadores para extender su validez sobre un dominio. Ejemplo:

 “Todos los números naturales mayores que 1 son mayores que 0.”
(proposición universal).
 “Existe un número real cuyo cuadrado es igual a 9.” (proposición
existencial).

Diferenciar entre proposiciones simples y cuantificadas es esencial porque la

segunda categoría nos permite generalizar o particularizar afirmaciones, lo cual
resulta indispensable para el razonamiento científico.

2.3. El cuantificador universal (∀)

El cuantificador universal (∀) se utiliza para afirmar que una proposición es

verdadera para todos los elementos de un conjunto o dominio.

Definición formal:
Sea P(x) una proposición dependiente de una variable x. La expresión

∀x P(x)∀x \, P(x)∀xP(x)

se lee como “para todo x, P(x) es verdadero”.

Ejemplos en lenguaje natural:

 “Todos los estudiantes de la clase aprobaron el examen.”

 “En todo país, la suma de los ángulos internos de un triángulo es 180°.”

Ejemplos en matemáticas:

 ∀x ∈ ℕ, x + 0 = x
 ∀x ∈ ℝ, x² ≥ 0
El cuantificador universal es esencial en la formulación de definiciones y
teoremas. Por ejemplo, la definición de número primo involucra implícitamente un
cuantificador universal:
“Un número natural p es primo si, para todo divisor d, se cumple que d es igual a 1
o a p.”

El uso de este cuantificador refleja la idea de validez absoluta, pues no basta con
que algo sea verdadero para algunos casos, sino que debe cumplirse en todos los
elementos del dominio considerado.

2.4. El cuantificador existencial (∃)

El cuantificador existencial (∃) se emplea para señalar que existe al menos un

elemento en el dominio que cumple con una condición.

Definición formal:
Sea P(x) una proposición dependiente de la variable x. La expresión

∃x P(x)∃x \, P(x)∃xP(x)

se lee como “existe al menos un x tal que P(x) es verdadero”.

Ejemplos en lenguaje natural:

 “Existe un estudiante que obtuvo la nota máxima.”

 “En alguna ciudad del mundo, la temperatura es mayor a 50°C.”

Ejemplos en matemáticas:

 ∃x ∈ ℕ, x² = 25
 ∃p ∈ ℕ, p es primo y par (solución: p = 2)

El cuantificador existencial es fundamental en el análisis de hipótesis y en la

demostración de la existencia de soluciones a problemas matemáticos. Por
ejemplo, en ecuaciones diferenciales o en teoría de números, se busca demostrar
que “existe un número que satisface tal propiedad”, aunque no siempre sea
necesario encontrarlo explícitamente.

2.5. Negación de proposiciones cuantificadas

Un aspecto clave en la lógica es la negación de proposiciones con

cuantificadores. Para esto se aplican las leyes de De Morgan adaptadas a los
cuantificadores:

1. La negación de una proposición universal equivale a una proposición

existencial:

¬(∀x P(x))≡∃x ¬P(x)¬(∀x \, P(x)) \equiv ∃x \, ¬P(x)¬(∀xP(x))≡∃x¬P(x)

Ejemplo:

o Proposición: “Todos los perros son mansos.” (∀x, Perro(x) →

Manso(x))
o Negación: “Existe al menos un perro que no es manso.”
2. La negación de una proposición existencial equivale a una proposición
universal:

¬(∃x P(x))≡∀x ¬P(x)¬(∃x \, P(x)) \equiv ∀x \, ¬P(x)¬(∃xP(x))≡∀x¬P(x)

Ejemplo:

o Proposición: “Existe un estudiante que no estudió para el examen.”

o Negación: “Todos los estudiantes estudiaron para el examen.”

Este principio es crucial en la construcción de demostraciones matemáticas,

especialmente en las pruebas por contradicción, donde se niega una proposición
para derivar una contradicción lógica.
3. APLICACIONES

El estudio de los cuantificadores universales y existenciales no se limita al plano

teórico, sino que encuentra múltiples aplicaciones en diversas áreas del
conocimiento. Estos símbolos permiten formalizar y simplificar razonamientos,
construir definiciones precisas y resolver problemas de distinta naturaleza. A
continuación, se detallan algunas de las aplicaciones más relevantes en
matemáticas, informática, filosofía y vida cotidiana.

3.1. Aplicaciones en matemáticas

En las matemáticas, los cuantificadores se utilizan de manera constante. No hay

rama de esta ciencia en la que no aparezcan, ya sea de forma explícita o implícita.

1. Definiciones matemáticas
o Definición de número primo:

Primo(p) ⟺ (p>1)∧(∀d∈N,(d∣p)→(d=1∨d=p))Primo(p) \iff (p > 1) ∧

(∀d ∈ ℕ, (d \mid p) → (d = 1 ∨ d = p))Primo(p)⟺(p>1)∧(∀d∈N,
(d∣p)→(d=1∨d=p))

Es decir, un número p es primo si, para todo divisor d, se cumple que

dicho divisor es igual a 1 o a p.

o Definición de número par:

∀x∈Z,Par(x) ⟺ ∃k∈Z,x=2k∀x ∈ ℤ, Par(x) \iff ∃k ∈ ℤ, x =

2k∀x∈Z,Par(x)⟺∃k∈Z,x=2k

Un número es par si existe un entero k tal que el número es igual a 2

multiplicado por k.

2. Teoremas matemáticos
 o Teorema: “Todo número real al cuadrado es mayor o igual que cero.”
Formalización:

∀x∈R,x2≥0∀x ∈ ℝ, x^2 ≥ 0∀x∈R,x2≥0

o Teorema de Pitágoras: “En todo triángulo rectángulo, el cuadrado de

la hipotenusa es igual a la suma de los cuadrados de los catetos.”
Formalización:

∀a,b,c∈R+, (TriaˊnguloRectaˊngulo(a,b,c))→(c2=a2+b2)∀a, b, c ∈
ℝ^+, \; (TriánguloRectángulo(a, b, c)) → (c^2 = a^2 +
b^2)∀a,b,c∈R+,(TriaˊnguloRectaˊngulo(a,b,c))→(c2=a2+b2)

3. Análisis matemático
o Definición de límite:

lim⁡x→af(x)=L ⟺ ∀ε>0,∃δ>0:(0<∣x−a∣<δ→∣f(x)−L∣<ε)\lim_{x \to a} f(x)

= L \iff ∀\varepsilon > 0, ∃\delta > 0 : (0 < |x - a| < \delta → |f(x) - L|
< \varepsilon)x→alimf(x)=L⟺∀ε>0,∃δ>0:(0<∣x−a∣<δ→∣f(x)−L∣<ε)

En esta definición aparecen tanto el cuantificador universal como el

existencial, trabajando de manera conjunta.

Como se aprecia, en matemáticas los cuantificadores son indispensables para

expresar propiedades, axiomas, definiciones y teoremas con un rigor formal que
no deja lugar a ambigüedades.

3.2. Aplicaciones en informática

La informática y las ciencias de la computación utilizan la lógica formal como una

de sus bases. Los cuantificadores son particularmente relevantes en:
 1. Lenguajes de programación
En estructuras de control y algoritmos, muchas veces se formulan
condiciones universales o existenciales. Por ejemplo, en pseudocódigo:
o Condición universal: “Si todos los elementos de un arreglo son
positivos, entonces…”.
o Condición existencial: “Si existe al menos un elemento mayor que
100, entonces…”.
2. Bases de datos
En SQL y otros lenguajes de consulta, las instrucciones que buscan datos
específicos utilizan cuantificadores implícitos:
o “SELECT * FROM alumnos WHERE nota > 15” equivale a afirmar:
“Existe al menos un alumno cuya nota es mayor a 15.”
o “NOT EXISTS” en SQL implementa directamente la negación de un
cuantificador existencial.
3. Verificación de software
En la ingeniería de software, los cuantificadores permiten establecer
condiciones que deben cumplirse en los programas:
o Ejemplo: “Todo usuario registrado debe tener un nombre de usuario
único.”
o Ejemplo: “Debe existir al menos un administrador en el sistema.”
4. Inteligencia artificial y lógica computacional
En sistemas expertos y en razonamiento automático, los cuantificadores
permiten representar reglas y conocimientos en lenguajes formales como
Prolog.

3.3. Aplicaciones en filosofía y vida cotidiana

La filosofía, desde sus orígenes, ha estado profundamente vinculada con la lógica.

Los cuantificadores permiten analizar conceptos de existencia, universalidad y
necesidad.
 1. Filosofía
o Ejemplo: “Todos los hombres son mortales” → ∀x (Hombre(x) →
Mortal(x)).
o Ejemplo: “Existe un ser supremo” → ∃x (SerSupremo(x)).

La filosofía del lenguaje y la metafísica han hecho un uso extensivo de los

cuantificadores para formalizar debates sobre el ser, la verdad y la
existencia.

2. Vida cotidiana
Aunque no siempre de manera consciente, las personas utilizan
cuantificadores en sus razonamientos diarios:
o “Todos los autos están atascados en el tráfico.” (∀x, Auto(x) →
Atascado(x))
o “Existe una tienda abierta a esta hora.” (∃x, Tienda(x) ∧ Abierta(x))
o “No todos los estudiantes entregaron la tarea.” (¬∀x, Estudiante(x)
→ EntregóTarea(x))

Este uso cotidiano refleja cómo el pensamiento humano tiende naturalmente a

generalizar o a particularizar, lo cual se expresa de manera precisa en el lenguaje
formal a través de los cuantificadores.

4. EJERCICIOS PROPUESTOS Y RESUELTOS

Los ejercicios sobre cuantificadores permiten pasar de la teoría a la práctica y

comprobar cómo estas herramientas lógicas se aplican a diferentes contextos. A
continuación, se presentan actividades con su respectiva resolución, organizadas
en tres niveles de dificultad: básico, intermedio y avanzado.

4.1. Ejercicios básicos

Ejercicio 1
Traducir al lenguaje formal la proposición:
“Todos los números pares son divisibles entre 2.”

Solución:
Sea Par(x) = “x es un número par”.
Sea Divisible(x, 2) = “x es divisible entre 2”.

∀x(Par(x)→Divisible(x,2))∀x (Par(x) → Divisible(x, 2))∀x(Par(x)→Divisible(x,2))

Ejercicio 2
Traducir al lenguaje formal:
“Existe un número natural que es primo y par.”

Solución:
Sea Primo(x) = “x es primo”.
Sea Par(x) = “x es par”.

∃x∈N(Primo(x)∧Par(x))∃x ∈ ℕ (Primo(x) ∧ Par(x))∃x∈N(Primo(x)∧Par(x))

La proposición es verdadera, ya que el número 2 cumple la condición.

Ejercicio 3
Negar la proposición: “Todos los estudiantes aprobaron el examen.”

Solución:
Proposición original:

∀x(Estudiante(x)→Aproboˊ(x))∀x (Estudiante(x) →
Aprobó(x))∀x(Estudiante(x)→Aproboˊ(x))

Negación:

∃x(Estudiante(x)∧¬Aproboˊ(x))∃x (Estudiante(x) ∧
¬Aprobó(x))∃x(Estudiante(x)∧¬Aproboˊ(x))
Interpretación: “Existe al menos un estudiante que no aprobó el examen.”

4.2. Ejercicios intermedios

Ejercicio 4
Traducir y negar: “Existe un número real cuyo cuadrado es negativo.”

Solución:
Proposición:

∃x∈R(x2<0)∃x ∈ ℝ (x^2 < 0)∃x∈R(x2<0)

Sabemos que ningún número real cumple la condición, por lo que es falsa.

Negación:

∀x∈R(x2≥0)∀x ∈ ℝ (x^2 ≥ 0)∀x∈R(x2≥0)

Interpretación: “Todo número real al cuadrado es mayor o igual que cero.”

Ejercicio 5
Expresar formalmente: “Todo número natural mayor que 1 tiene un divisor primo.”

Solución:

∀x∈N (x>1→∃p∈N(Primo(p)∧p∣x))∀x ∈ ℕ \, (x > 1 → ∃p ∈ ℕ (Primo(p) ∧ p \mid

x))∀x∈N(x>1→∃p∈N(Primo(p)∧p∣x))

Interpretación: “Para todo número natural mayor que 1, existe al menos un número
primo que lo divide.”

Ejercicio 6
Formalizar y negar: “Todos los autos son eléctricos.”

Solución:
Proposición:
∀x(Auto(x)→Eleˊctrico(x))∀x (Auto(x) → Eléctrico(x))∀x(Auto(x)→Eleˊctrico(x))

Negación:

∃x(Auto(x)∧¬Eleˊctrico(x))∃x (Auto(x) ∧ ¬Eléctrico(x))∃x(Auto(x)∧¬Eleˊctrico(x))

Interpretación: “Existe al menos un auto que no es eléctrico.”

4.3. Ejercicios avanzados

Ejercicio 7
Definir el concepto de número primo utilizando cuantificadores.

Solución:

Primo(p) ⟺ (p>1)∧(∀d∈N,(d∣p→(d=1∨d=p)))Primo(p) \iff (p > 1) ∧ (∀d ∈ ℕ, (d \

mid p → (d = 1 ∨ d = p)))Primo(p)⟺(p>1)∧(∀d∈N,(d∣p→(d=1∨d=p)))

Interpretación: “Un número natural p es primo si es mayor que 1 y, para todo

divisor d, dicho divisor es igual a 1 o a p.”

Ejercicio 8
Expresar el enunciado: “No existe un número entero cuya raíz cuadrada sea
impar.”

Solución:

¬∃x∈Z(x∈Z∧Impar(x))¬∃x ∈ ℤ (\sqrt{x} ∈ ℤ ∧ Impar(\sqrt{x}))¬∃x∈Z(x

∈Z∧Impar(x))

Equivalente a:

∀x∈Z(¬(x∈Z∧Impar(x)))∀x ∈ ℤ (¬(\sqrt{x} ∈ ℤ ∧ Impar(\sqrt{x})))∀x∈Z(¬(x

∈Z∧Impar(x)))
Interpretación: “Para todo número entero, no se cumple que su raíz cuadrada sea
un número impar entero.”

Ejercicio 9
Formalizar el enunciado del teorema de Pitágoras: “En todo triángulo rectángulo,
el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos.”

Solución:

∀a,b,c∈R+(TriaˊnguloRectaˊngulo(a,b,c)→(c2=a2+b2))∀a, b, c ∈ ℝ^+
(TriánguloRectángulo(a, b, c) → (c^2 = a^2 + b^2))∀a,b,c∈R+
(TriaˊnguloRectaˊngulo(a,b,c)→(c2=a2+b2))

Ejercicio 10
Aplicar cuantificadores en la definición de límite:
“f(x) tiende a L cuando x tiende a a.”

Solución:

lim⁡x→af(x)=L ⟺ ∀ε>0,∃δ>0:(0<∣x−a∣<δ→∣f(x)−L∣<ε)\lim_{x \to a} f(x) = L \iff ∀\

varepsilon > 0, ∃\delta > 0 : (0 < |x - a| < \delta → |f(x) - L| < \varepsilon)x→alim
f(x)=L⟺∀ε>0,∃δ>0:(0<∣x−a∣<δ→∣f(x)−L∣<ε)

Esta definición es un claro ejemplo de cómo se combinan el cuantificador universal

(∀) y el existencial (∃) en un enunciado matemático complejo.

5. CONCLUSIONES

El estudio de los cuantificadores universales (∀) y existenciales (∃) revela la

importancia que tiene la lógica formal en la organización del pensamiento humano.
No se trata únicamente de símbolos abstractos, sino de herramientas
conceptuales que permiten expresar con precisión ideas generales y particulares,
evitando ambigüedades y otorgando claridad al razonamiento.
A lo largo del informe hemos podido constatar que los cuantificadores son
esenciales en múltiples niveles: en las definiciones matemáticas, en la formulación
de teoremas, en la construcción de algoritmos, en la verificación de programas
informáticos y en el análisis filosófico de conceptos como la verdad, la existencia o
la universalidad. Sin ellos, gran parte de la ciencia moderna carecería de la
rigurosidad que hoy la caracteriza.

En primer lugar, los cuantificadores permiten establecer generalizaciones

universales y afirmaciones de existencia, lo que se traduce en la posibilidad de
construir teorías y modelos que trascienden lo particular. Así, el cuantificador
universal posibilita expresar que algo es cierto para todos los elementos de un
conjunto, mientras que el cuantificador existencial garantiza la existencia de al
menos un caso que satisface cierta condición. Esta dualidad es fundamental en la
matemática y en cualquier disciplina que requiera precisión.

En segundo lugar, se observa que la negación de proposiciones cuantificadas

constituye un recurso clave en las demostraciones. El uso de las leyes de De
Morgan aplicadas a los cuantificadores permite transformar afirmaciones
universales en existenciales y viceversa, lo que enriquece las estrategias de
prueba. Esto es particularmente relevante en las demostraciones por
contradicción, donde negar una proposición conduce a la obtención de una
conclusión inconsistente, validando así el enunciado original.

En tercer lugar, las aplicaciones interdisciplinarias muestran que los

cuantificadores no se limitan al campo de la matemática. En informática, los
encontramos en la lógica de programación, en los lenguajes de consulta de bases
de datos y en la verificación de software. En filosofía, sirven para formalizar
discusiones sobre el ser, la verdad y la existencia, debates que han acompañado
al pensamiento humano desde la Antigüedad. En la vida cotidiana, aun sin
saberlo, utilizamos cuantificadores al emitir juicios como “todos los estudiantes
entregaron la tarea” o “existe una solución al problema”.
Además, el análisis de ejercicios prácticos demuestra que el dominio de los
cuantificadores exige un doble esfuerzo: comprender el lenguaje formal y ser
capaz de traducir enunciados del lenguaje natural al simbólico, y viceversa. Este
proceso fomenta el desarrollo de competencias cognitivas superiores, como la
abstracción, el razonamiento crítico y la argumentación rigurosa.

Finalmente, cabe señalar que el estudio de los cuantificadores constituye una

herramienta pedagógica poderosa en la formación académica. En niveles
escolares, puede contribuir a mejorar la comprensión lectora y matemática, ya que
enseña a diferenciar entre lo que es válido en todos los casos y lo que es válido en
al menos un caso. En niveles universitarios, es imprescindible para enfrentar
cursos de matemáticas superiores, lógica, filosofía, informática y ciencias exactas.

En conclusión, los cuantificadores universales y existenciales no solo representan

un componente técnico de la lógica, sino también un recurso fundamental para
estructurar el pensamiento. Dominar su uso equivale a potenciar las habilidades
intelectuales necesarias para enfrentar los retos del conocimiento científico,
tecnológico y humanístico. Por tanto, su aprendizaje no debe concebirse como un
requisito académico aislado, sino como un pilar indispensable en la formación
integral de cualquier estudiante universitario.

6. BIBLIOGRAFÍA

 Copi, I. M., & Cohen, C. (2007). Introducción a la lógica. Editorial Limusa.

 Enderton, H. (2001). A Mathematical Introduction to Logic. Academic Press.
 Mendelson, E. (2010). Introducción a la lógica matemática. McGraw-Hill.
 Hamilton, A. G. (1982). Logic for Mathematicians. Cambridge University
Press.
 Boolos, G., Burgess, J., & Jeffrey, R. (2007). Computability and Logic.
Cambridge University Press.
 Russell, B., & Whitehead, A. N. (1910). Principia Mathematica. Cambridge
University Press.
 Artículos académicos y recursos de lógica matemática disponibles en línea.