PENSAMIENTO MATEMÁTICO

Conceptos Básicos de Lógica

Ignacio Osuna Vergara

NOTAS DE CLASE
Universidad Nacional de Colombia

8 de septiembre de 2021

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 1 / 64

Tabla de contenido

1 Introducción

2 Proposiciones

3 Conectivos lógicos

4 Tautologı́as, Contradicciones y Contingencias

5 Implicación y equivalencia lógica

6 Reglas de Inferencia

7 Predicados y cuantificadores

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 2 / 64

 Introducción

Tabla de Contenido

1 Introducción

2 Proposiciones

3 Conectivos lógicos

4 Tautologı́as, Contradicciones y Contingencias

5 Implicación y equivalencia lógica

6 Reglas de Inferencia

7 Predicados y cuantificadores

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 3 / 64

 Introducción

Introducción

Pensamiento Matemático
El desarrollo de las habilidades para pensar autónomamente debe ser
la prioridad. Además, es esencial que los jóvenes adquieran una com-
prensión y un sentimiento vivo de los valores, de lo contrario, con su
conocimiento especializado, se parecerán más a un perro amaestrado
que a una persona armónicamente desarrollada. Albert Einstein

Según (Canals, 1992), El Razonamiento lógico-matemático incluye las

capacidades de identificar, relacionar y operar, y aporta las bases ne-
cesarias para poder adquirir conocimientos matemáticos.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 4 / 64

 Introducción

Introducción

Pensamiento Matemático
El conocimiento opera mediante la selección de datos significativos y
rechazo de datos no significativos: separa, une, jerarquiza y centraliza.
Estas operaciones que utilizan la lógica, son de hecho comandadas por
principios de organización del pensamiento que gobiernan la visión de
las cosas y del mundo sin que se tenga conciencia de ello a pesar del
desarrollo humano.
Tomado de: Desarrollo del pensamiento lógico matemático

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 5 / 64

 Proposiciones

Tabla de Contenido

1 Introducción

2 Proposiciones

3 Conectivos lógicos

4 Tautologı́as, Contradicciones y Contingencias

5 Implicación y equivalencia lógica

6 Reglas de Inferencia

7 Predicados y cuantificadores

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 6 / 64

 Proposiciones

Proposiciones

En lógica y matemática, las proposiciones son sentencias o afirmaciones

a las que puede dárseles un valor verdadero o falso, según sea el caso,
y que expresan una relación lógica de algún tipo entre un sujeto (S)
y un predicado (P). Las proposiciones se relacionan entre sı́ mediante
los juicios, y son la base del sistema deductivo e inductivo de la lógica
formal.
Observación
Toda proposición es verdadera o falsa y no hay una proposición que
sea verdadera y falsa al mismo tiempo. Esta suposición le llamamos
ley del medio excluido.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 7 / 64

 Proposiciones

Ejemplos

p: Un cubo tiene cinco caras.

q: 8 + 3 = 11.
r: Valledupar es la capital del César.
s: El área de un triángulo es A = base×Altura
2
2
v: x + 2x + 1 es una ecuación lı́neal.
Observe que podemos tener afirmaciones que no necesariamente son
proposiciones. Consideremos los siguientes ejemplos:
o: Mirar televisión
t: Viajar en la noche.
u: Conducir un vehı́culo.
w: Muy buenos dı́as.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 8 / 64

 Proposiciones

Proposiciones simples y compuestas

Proposiciones simples
Una proposición simple es toda aquella en la que no hay operadores
lógicos. O sea, aquellas cuya formulación es, justamente, simple,
lineal, sin nexos ni negaciones, sino que expresa un contenido de
manera sencilla.
Fuente:https://concepto.de/proposiciones-simples-y-compuestas/

Ejemplos
El cielo es azul
3×2=6
Un triángulos tiene tres lados
El perro ladra

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 9 / 64

 Proposiciones

Proposiciones simples y compuestas

Proposiciones compuestas
Las proposiciones compuestas son aquellas que contienen algún tipo
de operadores lógicos, como negaciones, conjunciones, disyunciones,
condicionales, etc. Generalmente poseen más de un término, o sea,
están formadas por dos proposiciones simples entre las cuales hay
algún tipo de vı́nculo lógico condicionante.
Fuente:https://concepto.de/proposiciones-simples-y-compuestas/

Ejemplos
Hoy no llueve (∼ p)
Andrea es linda y sabe de estadı́sticas (p ∧ q)
Llegué tarde porque habı́a mucho trafico (p ⇒ q)
Vamos a cine ó a bailar (p ∨ q)
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 10 / 64
 Conectivos lógicos

Tabla de Contenido

1 Introducción

2 Proposiciones

3 Conectivos lógicos

4 Tautologı́as, Contradicciones y Contingencias

5 Implicación y equivalencia lógica

6 Reglas de Inferencia

7 Predicados y cuantificadores

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 11 / 64

 Conectivos lógicos

Conectivos lógicos

Los conetivos lógicos surgen de unir dos proposiciones simples. En

total existen cinco conectivos lógicos. Estos conectivos lógicos son:
“y” (Conjunción ∧) , “o” (Disyunción ∨) , “no” (Negación ¬) (o “no
es cierto que”), “entonces” (⇒) y “si y sólo sı́”(⇔).

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 12 / 64

 Conectivos lógicos

Conjunción de proposiciones p ∧ q
Si p y q son proposiciones, la conjunción de p y q, la cual es denotada
por p∧q es verdadera sólo cuando ambas proposiciones son verdaderas,
en cualquier otro caso la conjunción p ∧ q será falsa.

p q p∧q
Verdadera Verdadera Verdadera
Verdadera Falsa Falsa
Falsa Verdadera Falsa
Falsa Falsa Falsa

Observación. En el lenguaje común la palabra “y” podria tener otros

significados, sin embargo para nosotros el significado es el que nos da
la tabla de verdad.
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 13 / 64
 Conectivos lógicos

Ejemplos
Si definimos las siguientes proposiciones simples:
p: Un cubo tiene cinco caras.
q: 8 + 3 = 11.
r: El área de un triángulo es A = base×Altura
2
s: x2 + 2x + 1 es una ecuación lı́neal.
Entonces el resultado lógico de las siguientes proposiciones formadas
utilizando el conectivo lógico de la conjunción es:
p∧q
q∧r
p∧r
s∧p

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 14 / 64

 Conectivos lógicos

Disyunción de proposiciones p ∨ q

Si p y q son proposiciones, la disyunción de p o q, denotada por p∨q es

verdadera cuando alguna de las dos proposiciones (o ambas a la vez)
es verdadera, en cualquier otro caso la disyunción p ∨ q será falsa.

p q p∨q
Verdadera Verdadera Verdadera
Verdadera Falsa Verdadera
Falsa Verdadera Verdadera
Falsa Falsa Falsa

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 15 / 64

 Conectivos lógicos

Ejemplos
Si definimos las siguientes proposiciones simples:
p: Un cubo tiene cinco caras.
q: 8 + 3 = 11.
r: El área de un triángulo es A = base×Altura
2
s: x2 + 2x + 1 es una ecuación lı́neal.
Entonces el resultado lógico de las siguientes proposiciones formadas
utilizando el conectivo lógico de la disyunción es:
p∨q
q∨r
p∨r
s∨p

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 16 / 64

 Conectivos lógicos

Negación de una proposición ¬p

Si p es una proposición, su negación no p, denotada por ¬p es verdadera

sólo si la proposición p es falsa. En caso contrario ¬p es falsa.

p Negación (¬p)
Verdadera Falsa
Falsa Veradadera

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 17 / 64

 Conectivos lógicos

Ejemplos
Si definimos las siguientes proposiciones simples:
p: Un cubo tiene cinco caras.
q: 8 + 3 = 11.
r: El área de un triángulo es A = base×Altura
2
s: El número es mayor que 10.
Entonces el resultado lógico de las siguientes proposiciones formadas
utilizando el conectivo lógico de la negación es:
¬p
¬q
¬r
¬s

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 18 / 64

 Conectivos lógicos

Proposición condicional p → q

La afirmación p → q se lee: Si p, entonces q. Intuitivamente es verda-

dera si nunca ocurre que p sea verdadera y que q sea falso al mismo
tiempo. La definición precisa es:

p q p→q
Verdadera Verdadera Verdadera
Verdadera Falsa Falsa
Falsa Verdadera Verdadera
Falsa Falsa Verdadera

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 19 / 64

 Conectivos lógicos

Ejemplos
Si definimos las siguientes proposiciones simples:
p: Un cubo tiene cinco caras.
q: 8 + 3 = 11.
r: El área de un triángulo es A = base×Altura
2
2
s: x + 2x + 1 es una ecuación lı́neal.
Entonces el resultado lógico de las siguientes proposiciones formadas
utilizando el conectivo lógico de la proposición condicional es:
p→q
q→r
p→r
s→p
p→s
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 20 / 64
 Conectivos lógicos

Proposición bicondicional p ⇔ q

La afirmación p ⇔ q intuitivamente nos dice que es verdadera siempre

que p y q sean ambas verdaderas o ambas falsas, pero que es falsa en
caso contrario. Más precisamente:

p q p⇔q
Verdadera Verdadera Verdadera
Verdadera Falso Falsa
Falso Verdadero Falsa
Falso Falso Verdadera

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 21 / 64

 Conectivos lógicos

Ejemplos
Si definimos las siguientes proposiciones simples:
p: Un cubo tiene cinco caras.
q: 8 + 3 = 11.
r: El área de un triángulo es A = base×Altura
2
2
s: x + 2x + 1 es una ecuación lı́neal.
Entonces el resultado lógico de las siguientes proposiciones formadas
utilizando el conectivo lógico de la proposición bicondicional es:
p⇔q
q⇔r
p⇔r
s⇔p
p⇔s
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 22 / 64
 Conectivos lógicos

Ejercicios

1. Sean p, q, r y s proposiciones, encontrar el valor de verdad de

las siguientes afirmaciones:

a. (p ∨ q) ∧ p
b. (p ∨ q) ⇒ p
c. (¬q) ∧ (p ∨ q)
d. (¬q) ∧ (p ∧ ¬r)
e. (¬p ∨ ¬ (p ∨ r)) ∧ s
f. (¬q) ⇔ (p ∧ ¬r)

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 23 / 64

 Conectivos lógicos

Ejercicios
2. Escribir en el lenguaje matemático las siguientes proposiciones
descritas en el lenguaje común:

a. En los polos el frı́o es intenso únicamente si los planetas giran

en torno al sol.
b. Si es cierto que Aristóteles nació en Estagira y que fue tutor de
Alejandro Magno y, además, que si nació en Estagira era
macedonio por su nacimiento, entonces era efectivamente
macedonio.
c. Si el tiempo está agradable y el cielo despejado, saldremos a
navegar y nos daremos un baño.
d. Un sólo proveedor no puede afectar los precios si el mercado es
libre.
e. Si a es un número par y b es un número impar, entonces c es
igual a a.
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 24 / 64
 Tautologı́as, Contradicciones y Contingencias

Tabla de Contenido

1 Introducción

2 Proposiciones

3 Conectivos lógicos

4 Tautologı́as, Contradicciones y Contingencias

5 Implicación y equivalencia lógica

6 Reglas de Inferencia

7 Predicados y cuantificadores

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 25 / 64

 Tautologı́as, Contradicciones y Contingencias

Tautologı́a
Una proposición compuesta es una tautologı́a si es verdadera para
todas las asignaciones de valores de verdad para sus proposiciones
componentes. Dicho de otra forma, su valor de Verdad no depende de
los valores de verdad de las proposiciones que la forman, sino de la
forma en que están establecidas las relaciones sintácticas de unas con
otras.
Ejemplo
La propocición (p ∨ ¬p) es una tautologı́a.

p ¬p p ∨ ¬p
V F V
F V V

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 26 / 64

 Tautologı́as, Contradicciones y Contingencias

Contradicción

Se entiende por proposición contradictoria, o contradicción, aquella

proposición que en todos los casos posibles de su tabla de verdad su
valor siempre es F. Dicho de otra forma, su valor F no depende de los
valores de verdad de las proposiciones que la forman, sino de la forma
en que están establecidas las relaciones sintácticas de unas con otras.
Ejemplo
La propocición (q ∧ ¬q) es una contradicción.

q ¬q q ∧ ¬q
V F F
F V F

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 27 / 64

 Tautologı́as, Contradicciones y Contingencias

Contingencia
Una contingencia es aquella proposición que puede ser verdadera o
falsa, (combinación entre tautologı́a y contradicción) según los valores
de las proposiciones que la integran.
Ejemplo: La propocición p ∧ (q ∨ s) es una contingencia.
p q s q∨s p ∧ (q ∨ s)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 28 / 64
 Implicación y equivalencia lógica

Tabla de Contenido

1 Introducción

2 Proposiciones

3 Conectivos lógicos

4 Tautologı́as, Contradicciones y Contingencias

5 Implicación y equivalencia lógica

6 Reglas de Inferencia

7 Predicados y cuantificadores

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 29 / 64

 Implicación y equivalencia lógica

Implicación Lógica

Se llama implicación lógica o simplemente implicación a toda condi-

cional p → q que sea tautologı́a.
Ejemplo
La condicional [(p → q) ∧ ¬q] → ¬p es una implicación lógica.

p q [(p → q) ∧ ¬q] → ¬p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 30 / 64

 Implicación y equivalencia lógica

Implicaciones importantes
Las siguientes implicaciones son ciertas y serán muy usadas en la cons-
trucción de argumentos válidos. Sean p, q, r y s proposiciones.
1. [(p → q) ∧ p] ⇒ Q (Modus Ponens).
2. [((p → q) ∧ q] ⇒ p (ModusTollens).
3. (p ∧ q) ⇒ p (Simplificación).
4. (p ∧ q) ⇒ q (Simplificación).
5. q ⇒ (p ∨ q) (Adición).
6. p ⇒ (p ∨ q) (Adición).
7. [(p ∨ q) ∧ p] ⇒ q (Modus Tollendo Ponens).
8. [(p ∨ q) ∧ q] ⇒ q (Modus Tollendo Ponens).
9. [(p ↔ q) ⇒ (p → q) (Bicondicional-Condicional).

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 31 / 64

 Implicación y equivalencia lógica

Implicaciones importantes

10. [(p ↔ q) ⇒ (q → p) (Bicondicional-Condicional).

11. [(p → q) ∧ (q → p)] ⇒ (p ↔ q) (Condicional-Bicondicional).
12. [(p → q) ∧ (q → r)] ⇒ (p ↔ r) (Silogismo Hipotético).
13. [(p → q) ∧ (r → s) ∧ (p ∨ r)] ⇒ (q ∨ s) (Dilema Constructivo).

Observación
Observamos que en el lenguaje común una afirmación de Modus
Tollendo Ponens es muy lógica. Por ejemplo Juan tiene ojos verdes o
Rosa el cabello rojo, pero Juan no tiene ojos verdes, luego Rosa tiene
el cabello rojo.

Ejercicio. Mostrar que las implicaciones importantes 1-13 son tauto-

logı́a.
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 32 / 64
 Implicación y equivalencia lógica

Equivalencia Lógica
Se llama equivalencia lógica o simplemente equivalencia a toda bicon-
dicional p ⇔ q que sea tautologı́a.
Ejemplo [p ∧ (p ∨ q)] ⇔ p
p q [p ∧ (p ∨ q)] ⇔ p
V V V V V V V
V F V V V V V
F V F F V V F
F F F F F V F

Como se verifica que el resultado de la bicondicional, es tautologı́a,

afirmamos que es una equivalencia lógica. Entonces, podemos afirmar
que: [p ∧ (p ∨ q)] ⇔ p≡ p

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 33 / 64

 Implicación y equivalencia lógica

Equivalencias importantes

Las siguientes equivalencias son ciertas y serán muy usadas en la cons-

trucción de argumentos válidos.
Hechos: Sean p, q, r y s proposiciones.
1. ¬(¬p) ⇔ p (Doble negación).
2. (p ∧ q) ⇔ (q ∧ p) (Ley Conmutativa).
3. (p ∨ q) ⇔ (q ∨ p) Ley Conmutativa).
4. (p ∨ q) ∨ r ⇔ (p ∨ q) ∨ r (Ley Asociativa).
5. (p ∧ q) ∧ r ⇔ (p ∧ q) ∧ r (Ley Asociativa).
6. p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) (Ley Distributiva).
7. p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) (Ley Distributiva).

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 34 / 64

 Implicación y equivalencia lógica

Equivalencias importantes

8. (p → q) ⇔ (¬p ∨ q) (Condicional - Negación y Disyunción).

9. [(p → q) ⇔ (¬q → ¬p) ) (Contrapositivo o Contrarrecı́proco)
10. [(p ↔ q) ⇔ (q ↔ p) (Simetrı́a).
11. [(p ↔ q) ⇔ (p → p) ∧ (q → p) (Bicondicional-Condicional).
12. [¬(p ∨ q) ⇔ (¬p ∧ ¬q) ( (Ley de De Morgan).
13. [¬(p ∧ q) ⇔ (¬p ∨ ¬q) ( (Ley de De Morgan).

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 35 / 64

 Reglas de Inferencia

Tabla de Contenido

1 Introducción

2 Proposiciones

3 Conectivos lógicos

4 Tautologı́as, Contradicciones y Contingencias

5 Implicación y equivalencia lógica

6 Reglas de Inferencia

7 Predicados y cuantificadores

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 36 / 64

 Reglas de Inferencia

Reglas de Inferencia
Una regla de inferencia, o regla de transformación es una forma lógica
que consiste en una función que toma premisas, analiza su sintaxis, y
devuelve una conclusión.
Modus Ponendo Ponens (MPP)
p→q p → ¬q ¬p → q
p p ¬p
∴q ∴ ¬q ∴q

Ejemplo
1. Si no nos despedimos ahora, entonces no cumpliremos nuestro
plan. No nos despedimos ahora.
2. Si esta planta no crece, entonces o necesita más agua o necesita
mejor abono. Esta planta no crece.
3. Son las cinco. Si son las cinco, entonces la oficina está cerrada.
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 37 / 64
 Reglas de Inferencia

Reglas de Inferencia
Modus Tollendo Tollens (MTT)
p→q ¬p → ¬q
¬q q
∴ ¬p ∴p

Ejemplo
1. Si llovió la pasada noche, entonces las pistas se han limpiado.
Las pistas no se han limpiado.
2. José no es mi hermano. Si Susana es mi hermana, entonces José
es mi hermano.
3. Si un ángulo de un triángulo es mayor de 90 grados, entonces la
suma de los otros dos ángulos es menor de 90 grados. La suma
de los otros dos ángulos no es menor de 90 grados.
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 38 / 64
 Reglas de Inferencia

Reglas de Inferencia
Silogismo Hipotético (SH)
p→q
q→r
∴p→r

Ejemplo
1. Si mi hermana está en casa, entonces no puede buscar trabajo.
Si no busca trabajo, entonces nadie la va a contratar. Luego, si
mi hermana está en casa, nadie la va a contratar.
2. Si los hombres son amables, entonces caen bien a todos. Si caen
bien a todos, entonces tendrán muchos amigos. Luego, si los
hombres son amables, entonces tendrán muchos amigos.
3. Si no me despierto, no puedo ir a la fiesta. Si no voy a la fiesta,
no me divertiré. Entonces,
Ignacio Osuna Vergara
si no me despierto no me divertiré. 39 / 64
PENSAMIENTO MATEMÁTICO
 Reglas de Inferencia

Reglas de Inferencia

Tollendo Ponens (TP)

p∨q p∨q
¬q o ¬p
∴p ∴q

Ejemplo
1. Este hombre o es un abogado o es un polı́tico. No es un
abogado.
2. Juan o ha terminado el libro o no ha ido a devolverlo hoy a la
biblioteca. Juan no ha terminado el libro.
3. O hace frı́o y llueve o el festival se celebrará al aire libre. Ni hace
frı́o ni llueve.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 40 / 64

 Reglas de Inferencia

Reglas de Inferencia

Doble negación (DN)

¬ (¬p)
∴p

Ejemplo
1. Todos los mamı́feros son animales de sangre caliente.
2. No ocurre que el núcleo de un átomo no está cargado
positivamente.
3. No ocurre que un quinto no es el veinte por ciento.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 41 / 64

 Reglas de Inferencia

Reglas de Inferencia

Adjunción y simplificación
Adjunción (A) Simplif icación (S)
p (premisa)
q (premisa) p∧q o p∧q
∴p∧q ∴p ∴q

Ejemplo
1. A Tomás le gusta esquiar y ha nevado en la montaña.
2. Esta inferencia es válida. Aquella no es válida.
3. Una sociedad es una colección de individuos que buscan una
forma de vida y la cultura es su forma de vida.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 42 / 64

 Reglas de Inferencia

Reglas de Inferencia
Ley de la adición (LA)
p
∴p∧q

Ejemplo
Dar cinco proposiciones que resulten de la premisa siguiente:
Algunos juegos son fáciles de aprender
1.
2.
3.
4.
5.
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 43 / 64
 Reglas de Inferencia

Reglas de Inferencia
Silogismo Disyuntivo (DS)
p∨q
p→r
q→s
∴r∨s

Ejemplo
1. Esta roca o es piedra caliza o es granito. Si es piedra caliza es
sedimentaria. Si es granito, es ı́gnea.
2. O la planta es una planta verde o es una planta no verde. Si es
una planta verde, entonces fabrica su propio elemento. Si es una
planta no verde, entonces depende de las materias de otras
plantas para su alimento.
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 44 / 64
 Reglas de Inferencia

Reglas de Inferencia
Simplificación disyuntiva (SD)
p∨q
p→r
q→r
∴r

Ejemplo
1. Si Juan es elegido, entonces José será nombrado presidente del
comité. Si Tomás es elegido, entonces José será nombrado
presidente del comité. O será elegido Juan o será elegido Tomás.
Por tanto, José será nombrado presidente del comité.
2. Si esta figura tiene tres lados, entonces es un triángulo. Si esta
figura tiene tres ángulos, entonces es un triángulo. Esta figura
cerrada o tiene tres lados o tiene tres ángulos.
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 45 / 64
 Reglas de Inferencia

Deducciones con Reglas de Inferencia

concluir ¬t de las siguientes premisas:

1 (q ∨ r) → p (P)
2 ¬p (P)
3 s → (q ∨ r) (P)
4 ¬s → ¬t (P)
5 De (1) y (2): ((q ∨ r) → p) ∧ ¬p ⇒ ¬ (q ∨ r) MTT
6 De (3) y (5): (s → (q ∨ r)) ∧ ¬ (q ∨ r) ⇒ ¬s MTT
7 De (4) y (6): (¬s → ¬t) ∧ ¬s⇒ ¬t MPP
8 ¬t

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 46 / 64

 Reglas de Inferencia

Deducciones con Reglas de Inferencia

concluya no relampaguea del enunciado: si no llueve de dı́a en-

tonces ni voy a misa ni voy a cine. Si tengo dinero entonces
voy a misa o a cine. No llueve de dı́a. Si relampaguea entonces
tengo dinero Las premisas son:
p: “llover de dı́a”
q:”ir a misa”
r: “ir a cine”
s: “tener dinero”
t: “relampaguear”

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 47 / 64

 Reglas de Inferencia

Deducciones con Reglas de Inferencia

Deducciones con Reglas de Inferencia

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 48 / 64

 Predicados y cuantificadores

Tabla de Contenido

1 Introducción

2 Proposiciones

3 Conectivos lógicos

4 Tautologı́as, Contradicciones y Contingencias

5 Implicación y equivalencia lógica

6 Reglas de Inferencia

7 Predicados y cuantificadores

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 49 / 64

 Predicados y cuantificadores

Nombres y predicados

Un enunciado está formado por dos partes fundamentales: el nombre

del individuo que simplemente se denomina nombre y la caracterı́stica
o relación del individuo que llama predicado.

El nombre se denotará con las primeras letras del alfabeto (a, b, c, d,

etc.) y el predicado por una letra mayúscula que abrevie toda la expre-
sión que designa toda la propiedad o relación del nombre y se escribe
delante del nombre. El texto del predicado se pone entre comillas y su
enunciado se escribe con el verbo en infinitivo

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 50 / 64

 Predicados y cuantificadores

Nombres y predicados

Ejemplo
Aristóteles es el fundador de la lógica

El nombre es Aristóteles y lo denotaremos con la letra “ a” y el

predicado se abreviará con “F”y corresponderá a:
F: ”ser el fundador de la lógica”

Por consiguiente el enunciado quedará abreviado como “Fa” y leerá

“F de a” o “F se dice a”.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 51 / 64

 Predicados y cuantificadores

Concepto de cuantificador

Los enunciados en los cuales se presentan expresiones tales como algu-

nos (o existe o hay), todo (o siempre o cada) se denominan cuantifica-
dor existencial (o particular) y cuantificador universal (o referencial),
respectivamente.

Ejemplo
Hay árboles, todos son árboles, algunos números, siempre son
números, algunos árboles son maderables, todos los árboles son
maderables, hay árboles maderables que tiene flores, los árboles
maderables tienen flores.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 52 / 64

 Predicados y cuantificadores

Cuantificador Universal: ∀

Los enunciados de la forma: para todo, siempre o cualquiera se denomi-

nan enunciados universales o referenciales. Para trascribirlos se utiliza
el denominado cuantificador universal y se simboliza con ∀

Sea P el predicado y x el elemento indefinido que cumple el predicado.

(∀x) (P x) Para todo x, x cumple P o siempre x cumple P o cualquier
x cumple P
Ejemplo
1. Todos son vegetales
2. Cualquier flor
3. Siempre son animales

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 53 / 64

 Predicados y cuantificadores

Ejemplo

Para simbolizarlos lógicamente se determinan los predicados ası́:

V: “ser vegetal”
F: “ser flor”
A: “ser animal”
Simbólicamente los enunciados quedan como sigue:
Ejemplo
1. (∀x) (P x): Para todo x, x es un vegetal o x es un vegetal o
siempre x, x es un vegetal
2.
3.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 54 / 64

 Predicados y cuantificadores

Cuantificador existencial: ∃

Los enunciados que utilizan las palabras: algunos, hay o existen se

denominan enunciados existenciales o particulares. Para transcribirlos
se unitiliza el denominado cuantificador existencial o particular y se
simboliza con ∃.

(∃x) (P x) Existe x tal que x cumple P o algun x cumple P o hay un

x que x cumple P
Ejemplo
1. Algunos son vegetales
2. Hay flores
3. Existen animales

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 55 / 64

 Predicados y cuantificadores

Ejemplo

Para simbolizarlos lógicamente se determinan los predicados ası́:

V: “ser vegetal”
F: “ser flor”
A: “ser animal”
Simbólicamente los enunciados quedan como sigue:
Ejemplo
1. (∃x) (V x): hay un x tal que x es un vegetal o algún x es vegetal
o existe un x que x es vegetal
2.
3.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 56 / 64

 Predicados y cuantificadores

Cuantificadores con predicado compuesto

Se llama enunciado compuesto a aquellos enunciados que tienen dos o

más predicados

Ejemplo
1. (∀x) (P x → Qx) : Cualquier x que cumple P también cumple Q
2. (∃x) (P x ∧ Qx) : Algún x que cumple P cumple Q

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 57 / 64

 Predicados y cuantificadores

Ejemplo

trascriba al lenguaje simbólico los enunciados

1. Hay flores rojas
2. Para toda flor roja
3. Algún hombre sin empleo es un delincuente en potencia.
Los enunciados 1 y 2 tienen los siguientes predicados:
F:”ser flor”
R:”ser roja”

Ejemplo
1. El numeral 1 se simboliza lógicamente ası́: (∃x) (F x ∧ Rx)
2. El numeral 2 se simboliza lógicamente ası́: (∀x) (F x → Rx)

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 58 / 64

 Predicados y cuantificadores

Ejemplo

El enunciado del numeral 3 lleva los siguientes predicados:

H:”ser hombre”
T:”tener empleo”
D:”ser un delincuente en potencia”

Ejemplo
3. El numeral 3 se simboliza lógicamente ası́:
(∃x) ((Hx ∧ ¬T x) ∧ Dx)

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 59 / 64

 Predicados y cuantificadores

Negación de cuantificadores

Para negar un enunciado cuantificado, basta con cambiar el cuantifi-

cador y negar la afirmación o predicado de la siguiente manera:
Negación de cuantificadores
1. ¬ (∀x) (P x) ⇔ (∃x) (¬P x) :algunos x no cumplen P
2. ¬ (∃x) (P x) ⇔ (∀x) (¬P x): ningún x cumple P
3. ¬ (∃x) (P x ∧ Qx) ⇔ (∀x) (P x → ¬Qx) : ningún x que cumple
P cumple Q
4. ¬ (∀x) (P x → Qx) ⇔ (∃x) (P x ∧ ¬Qx) :algun x que cumple P
no cumple Q

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 60 / 64

 Predicados y cuantificadores

Ejemplo

La negación de los enunciados del ejemplo anterior y su resultado en

lenguaje corriente es:

Ejemplo
1. ¬ (∃x) (F x ∧ Rx) ⇔ (∀x) (F x → ¬Rx) :
2. ¬ (∀x) (F x → Rx) ⇔ (∃x) (F x ∧ ¬Rx) :
3. ¬ (∃x) ((Hx ∧ ¬T x) ∧ Dx) ⇔ (∀x) ((Hx ∧ ¬T x) ∧ ¬Dx) :

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 61 / 64

 Predicados y cuantificadores

Combinación de cuantificadores

Algunos enunciados cuantificados llevan combinación de cuantificado-

res que se diferencian por el orden en que se disponen, con el fin de
conformar una expresión. Con el propósito de aclarar el significado me-
diante el simbolismo lógico de cada expresión, se recomienda poner
paréntesis.
Combinación de cuantificadores
1. (∀x) (∀y)(Afirmación)
2. (∀x) (∃x)(Afirmación)
3. (∃x) (∀x)(Afirmación)
4. (∃x) (∃x)(Afirmación)

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 62 / 64

 Predicados y cuantificadores

Ejemplo

Use cuantificadores para denotar las siguientes proposicones y deter-

mine si los enunciados son equivalentes:

Ejemplo
1. Para todo número racional diferente de cero hay otro racional tal
que el producto entre ellos es 1
2. Hay un número racional diferente de cero que al multiplicarlo
por otro racional el resultado es 1

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 63 / 64

 Predicados y cuantificadores

Propiedades de los Cuantificadores

1. (∀x) (P x ∧ Qx) ⇔ (∀x) (P x) ∧ (∀x) (Qx) El ∀ distribuible por

la conjunción de predicados
2. (∀x) (P x → Qx) ⇒ (∀x) (P x) → (∀x) (Qx) El ∀ es distribuible
por la condicional de predicados
3. (∀x) (P x ⇔ Qx) ⇒ (∀x) (P x) ⇔ (∀x) (Qx) El ∀ es distribuible
en el bicondicional de predicados
4. (∀x) (P x) ∨ (∀x) (Qx) ⇒ (∀x) (P x) ⇔ (∀x) (Qx) Ley de
distribución de ∀ por la disyunción de predicados
5. (∃x) (P x ∧ Qx) ⇒ (∃x) (P x) ∧ (∃x) (Qx) Ley de distribución
de ∃ por la conjunción de predicados
6. (∃x) (P x ∨ Qx) ⇔ (∃x) (P x) ∨ (∃x) (Qx) Ley de distribución ∃
por la disyunción de predicados

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 64 / 64