PENSAMIENTO MATEMÁTICO

Conceptos Básicos de Lógica

Ignacio Osuna Vergara

NOTAS DE CLASE
Universidad Nacional de Colombia

1 de septiembre de 2021

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 1 / 30

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

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 2 / 30

 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

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 3 / 30

 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 / 30

 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 / 30

 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

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 6 / 30

 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.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 7 / 30

 Proposiciones

Ejemplos

o: Mirar televisión
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
t: Viajar en la noche.
u: Conducir un vehı́culo.
v: x2 + 2x + 1 es una ecuación lı́neal.
w: Muy buenos dı́as.

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 8 / 30

 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:[Link]

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

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 9 / 30

 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:[Link]

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 / 30
 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

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 11 / 30

 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 / 30

 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

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 13 / 30

 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 / 30

 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 / 30

 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 / 30

 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 / 30

 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 / 30

 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 / 30

 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 entonces es:
p→q
q→r
p→r
s→p
p→s
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 20 / 30
 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 / 30

 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 entonces es:
p⇔q
q⇔r
p⇔r
s⇔p
p⇔s
Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 22 / 30
 Conectivos lógicos

Ejercicios

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

siguientes afirmaciones:

(p ∨ q) ∧ p
(p ∨ q) ⇒ p
(¬q) ∧ (p ∨ q)
(¬q) ∧ (p ∧ ¬r)
(¬p ∨ ¬ (p ∨ r)) ∧ s
(¬q) ⇔ (p ∧ ¬r)

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 23 / 30

 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

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 24 / 30

 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 25 / 30

 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 26 / 30

 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 27 / 30
 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

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 28 / 30

 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 V
F V V F F V F
F F V V V V V

Ignacio Osuna Vergara PENSAMIENTO MATEMÁTICO 29 / 30

 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)] ⇔ q
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 30 / 30