LOGICA MATEMATICA Bachillerato general Unificado

LOGICA MATEMATICA

1. Introducción7

El término lógica matemática fue acuñado en los años 500 A.C. por el pensador LAO-TSÉ, al llegar a
una evidente conclusión: “EL TOTAL ES MAYOR QUE SUS PARTES” al referirse a la relación
existente entre las partes y el conjunto coordinado de esas partes. Los aportes del matemático alemán
GOTTFRIED LEIBNIZ quien fue el primero en formular la estrecha conexión entre la lógica y la
matemática, además, introdujo los símbolos matemáticos para hacer representaciones de proposiciones.

En el siglo XIX, los avances de esta ciencia se deben a los aportes de los matemáticos GEORGE BOOLE
y AUGUSTUS MORGAN. A Boole se le debe la introducción de los operadores lógicos equivalentes a
la unión, intersección y la negación con los operadores aritméticos de la adición, multiplicación y
sustracción. En trabajo colaborativo con Morgan formulan los principios del razonamiento simbólico.

De otro lado, a Boole se atribuyen dos hechos de importancia para el desarrollo de la lógica: El primero,
la invención de las tablas de verdad para comprobar la validez de las proposiciones compuestas. El
segundo, la introducción del sistema binario de la lógica, falso o verdadero, hecho que dio origen a la
llamada Algebra de Boole, que consiste en la aplicación de los símbolos y operaciones lógicas mediante
la manipulación de dichos símbolos con procedimientos similares a los del Algebra.

Años más tarde, el matemático alemán GEORG CANTOR establece la teoría de conjuntos y sus
operaciones y hace la conexión con los operadores lógicos para la unión, la intersección, diferencia y
complemento. En 1910, aparece la monumental obra “Principio matemático” de BERTNARD
RUSSELL y ALFRED WHITEHEAD, en donde redefinen los conceptos básicos de la aritmética en
términos y conceptos de la lógica, estableciendo los fundamentos de las matemáticas puras (lógica
formal) moderna y sus poderosos instrumentos para el avance de las matemáticas y las demás ciencias.

2. Conceptos importantes

2.1. Lógica.
La Lógica es la disciplina que estudia el razonamiento, deducciones e inferencias; en específico se refiere
al razonamiento correcto. Por razonamiento se entiende el proceso donde se concluye una afirmación a
partir de un conjunto de afirmaciones. La Lógica se centra en la relación entre las afirmaciones y no en
el contenido de una afirmación en particular. La lógica ofrece métodos para elaborar proposiciones,
evaluar el valor de verdad de las proposiciones y determinar si las conclusiones se han deducido
correctamente.

2.2. Lógica formal.

La lógica formal es una ciencia formal que estudia el conocimiento (razonamiento formalmente valido)
que genera un conocimiento. La principal aportación que la lógica formal hacia las ciencias está en la
ordenación, estructuración y análisis de las verdades conocidas.

1.1.1. Lógica matemática.

La lógica matemática es una parte de la lógica y las matemáticas que consiste en el estudio matemático
de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática
tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.

GALB_2022-2023 1
 LOGICA MATEMATICA Bachillerato general Unificado

La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental la

Lógica proporciona, reglas y técnicas para determinar si es o no válido un argumento dado. El
razonamiento lógico se emplea en Matemáticas para demostrar teoremas, sin embargo, se usa en forma
constante para realizar cualquier actividad en la vida. La lógica matemática para su mejor estudio ha sido
dividida en:
• Lógica proposicional.
• Lógica de conjuntos.

3. Lógica proposicional.

3.1. Proposición o enunciado.

Proposición Una proposición o enunciado es una afirmación u oración declarativa que tiene un
significado matemático preciso dado por su valor de verdad asociado.

Proposición Una proposición simple es el elemento esencial o unidad mínima de la lógica matemática
simple que tiene un valor de verdad, o bien verdadero o bien falso (pero no ambos).

Notación: Las proposiciones se las denota mediante las letras: p, q, r, s, t, u, v, w, …, Las cuales reciben
el nombre de variables proposicionales.

Ejemplos de proposiciones
p: La luna es un satélite natural de la tierra. (v)
q: El dos es un número primo. (v)
r: 32 + 42 = 52 (F)
s: New York es llamada la capital del mundo. (v)
t: 5 es el inverso aditivo (opuesto) de -5 (v)
u: Cualquier cuadrado es un rectángulo (v)
v: Cualquier rectángulo también es un cuadrado (F)
w: si usted no hace la tarea, le informare a su representante (F)

Ejemplos de enunciados que no son proposiciones

p: ¿Qué hora es?
q: ¡Olmedo será el próximo campeón!
r: Mañana lloverá
t: ojalá que pase el examen de matemáticas
w: x+7 = 18

Proposición Una proposición compuesta está formada por proposiciones simples unidas mediante
compuesta conectores lógicos u operadores lógicos.

Ejemplo:
r: El carro es de color rojo o blanco
La proposición compuesta está formada por las siguientes proposiciones simples:
p: El carro es de color rojo
q: El carro es de color blanco.
Conector: “o”

GALB_2022-2023 2
 LOGICA MATEMATICA Bachillerato general Unificado

r: 5 < 8 y 13 < 27
La proposición compuesta está formada por las siguientes proposiciones simples:
p: 5 < 8
q: 13 < 27
Conector: “y”
r: Si llueve, entonces no voy al cine
La proposición compuesta está formada por las siguientes proposiciones simples:
p: Llueve
q: No voy al cine
Conector: “entonces”
w: "si 2 en menor que 5 y 5 es menor que 10 entonces 2 es menor que 10”
La proposición compuesta está formada por las siguientes proposiciones simples.
p: 2 es menor que 5.
q: 5 es menor que 10.
r: 2 es menor que 10.
Conectores: “y”, “entonces”

ACTIVIDADES: Proposiciones

1. Indique si los siguientes enunciados de la tabla son proposiciones o no, y escriba su valor de
verdad en aquellos enunciados que lo sean.
Es o no Valor de
Enunciados
proposición verdad
a) Con luz podemos ver.
b) Aprenderás en el bachillerato si y sólo si eres disciplinado en el estudio.
c) Los gatos vuelan. Si es f
d) Mañana lloverá.
e) Gabriel García Márquez fue un gran escritor y bailarín
f) √16 = 4 y √16 + 2 = 6
g) ¿Qué hora es?
h) La Revolución Francesa fue en 1789
i) Ojalá llueva
j) El puma es un felino
k) No todos los números primos son impares.
l) ¡¡Camina! No es
m) Juan Montalvo fue un gran escritor
n) √4 = 2 𝑜 3√27 ≤ 3
o) La educación particular es muy exigente
p) (2 + 4) > −3
q) 𝑠𝑖 4 > 3 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 6 ≤ −3
r) Es más fácil el estudio de la música que el estudio de las matemáticas.
s) El internet es vital si y solo si contribuye a la educación del hombre.
t) Las puertas se abrirán a las 14; solo a partir de entonces se permitirá el
ingreso de los invitados especiales y del público en general

2. Identifique proposiciones compuestas en tabla anterior y escriba las proposiciones simples

que lo forman junto con su conector (s).

GALB_2022-2023 3
 LOGICA MATEMATICA Bachillerato general Unificado

4. Conectores u operadores lógicos.

Conectores Los conectores lógicos son partes gramaticales (y, o, no, si, …) que permiten enlazar
lógicos proposiciones simples y formar proposiciones compuestas.

Operaciones lógicas Conectivo/operador lógico se lee

Negación ¬ (no), (no es cierto que), (es falso que)
Conjunción ⋀ y
Disyunción inclusiva ∨ ó, (y/o)
Disyunción exclusiva ∨ o
Condicional o Implicación → si… entonces …
Bicondicional ↔ … si y solo si …
Conjunción negativa ↓ Ni …ni ….

4.1. La Negación.
Negación La negación es un operador lógico que cambia el valor de verdad de una proposición.

Si “p” es una proposición simple su negación es la proposición compuesta "¬𝒑" se lee “no P”. si el
valor de verdad de una proposición es verdadero su negación será falsa y viceversa

Tabla metalógica o tabla de verdad de la negación

p ¬𝒑
v f
f v
En teoría de conjuntos, la operación que le corresponde a la negación, es el complementario

ACTIVIDADES: Negación
I. Considere las siguientes proposiciones.
a) Escriba el valor de verdad de cada proposición.
b) Represente en lenguaje proposicional la negación de cada proposición y escriba su
correspondiente valor verdad.
1) P: El 7 es un número primo
2) q: Todos los hombres son mortales
3) r; Todas las plantas son medicinales
4) s: 2 + 2 = 5
5) u: x 2 − 4x + 4 = (x − 2)2
6) v: i2 = −1
II. Escriba las negaciones de estas proposiciones sin utilizar la palabra no
7) t: Todos los hombres son mortales
8) w: Un triángulo rectángulo tiene tres ángulos iguales.
9) x: Hoy hace calor
10) y: Está lloviendo

GALB_2022-2023 4
 LOGICA MATEMATICA Bachillerato general Unificado

4.2. Conjunción

Conjunción La conjunción relaciona dos o más proposiciones simples y forma una proposición
compuesta mediante el conector lógico "⋀"

Sean p, q dos proposiciones simples la conjunción de ambas es la proposición compuesta "𝒑 ∧ 𝒒", se lee
“𝑝 𝑦 𝑞". Es verdadera únicamente cuando ambas proposiciones simples sean verdaderas.

Tabla metalógica o tabla de verdad de la conjunción

p 𝒒 𝒑∧𝒒
v v v
v f f
f v f
f f f

La conjunción se corresponde con la INTERSECCIÓN en teoría de conjuntos

ACTIVIDADES: Conjunción

Considere las siguientes proposiciones.

1) Si te gradúas te compare una bicicleta y te llevare de paseo
2) Voy al cine cuando hay una buena película y tengo dinero
3) i = √-1 y i2 = 1
4) 5 es un número par y es un numero entero positivo.
5) √81 no es menor que 10 y 7 es un número primo.
6) Tulcán es la capital de Imbabura y Latacunga es la capital de Pichincha.

En cada proposición compuesta:

a) Identifique las proposiciones simples junto con sus negaciones y su correspondiente valor de
verdad.
b) Exprese las opciones de la conjunción entre las proposiciones simples y sus negaciones, luego
exprese en lenguaje proposicional con su correspondiente valor de verdad.
c) Identifique que opción es verdadera.

GALB_2022-2023 5
 LOGICA MATEMATICA Bachillerato general Unificado

4.3. Disyunción.

Disyunción Relaciona dos o más proposiciones simples y forma una proposición compuesta mediante
inclusiva. el conector lógico " ∨ ". Proviene de la palabra vel del latín que significa ó inclusiva y
algunas veces en español se interpreta como, “y/o”

Si p, q son dos proposiciones simples la disyunción inclusiva de ambas es la proposición compuesta

"𝒑 ⋁ 𝒒", se lee "𝑝 ó 𝑞". Es verdadera si al menos una de las proposiciones simples es verdadera ó ambas
inclusive y es falsa si las dos son falsas. (“p ó q” ó ambas)

Tabla de verdad
p 𝒒 𝒑∨𝒒
v v v
v f v
f v v
f f f

La disyunción se corresponde con la UNIÓN en teoría de conjuntos, donde si x es elemento de 𝑝 ∪ 𝑞,

entonces x puede ubicarse en el conjunto p o en el conjunto q, o en la intersección de pyq.

ACTIVIDADES: Disyunción Inclusiva

Considere las siguientes proposiciones.

1) Si te gradúas te comprare una bicicleta o te llevare de paseo
2) Estoy Leyendo o estoy escuchando
3) Vamos al cine o vamos a cenar
4) Mañana hay sesión con los padres de familia y/o representantes legales.
5) 7 es un número impar o un número primo.
6) Estoy estudiando francés o estoy estudiando chino

En cada proposición compuesta:

a) Identifique las proposiciones simples junto con sus negaciones y su correspondiente valor de
verdad.
b) Exprese las opciones de la disyunción inclusiva entre las proposiciones simples y sus
negaciones, luego exprese en lenguaje proposicional con su correspondiente valor de verdad.
c) Identifique la opción (es) verdadera (s)

GALB_2022-2023 6
 LOGICA MATEMATICA Bachillerato general Unificado

Disyunción Relaciona dos proposiciones simples y forma una proposición compuesta mediante el
exclusiva conector " ∨ ".

Si p, q son dos proposiciones simples la disyunción exclusiva de ambas es la proposición compuesta

"𝒑 ∨ 𝒒", se lee "𝑝 𝑜 𝑞". Es verdadera si al menos una de las proposiciones simples es verdadera pero
no ambas, y es falsa si las dos son falsas. (“p o q”, pero no ambas)

Tabla de verdad.
p 𝒒 𝒑 ∨𝒒
v v f
v f v
f v v
f f f

El equivalente en la teoría de conjuntos del “o “exclusivo es la DIFERENCIA SIMETRICA

ACTIVIDADES: Disyunción Exclusiva

Considere las siguientes proposiciones compuestas.

1) El agua esta fría o el agua esta tibia.
2) Estoy en clase o estoy en el receso
3) Juan es político o tiene escrúpulos.
4) 2+3 ≤ 5
5) 10 ≤ 2

En cada proposición compuesta:

a) Identifique las proposiciones simples junto con sus negaciones y su correspondiente valor de
verdad.
b) Exprese las opciones de la disyunción exclusiva entre las proposiciones simples y sus
negaciones, luego exprese en lenguaje proposicional con su correspondiente valor de verdad.
c) Identifique la opción (es) verdadera (s).

GALB_2022-2023 7
 LOGICA MATEMATICA Bachillerato general Unificado

4.4. Condicional (Implicación).

Condicional Relaciona dos proposiciones simples y forma una proposición compuesta mediante el
conector lógico " → ". La mayoría de proposiciones en Matemática tienen esta estructura.

Si p, q son dos proposiciones simples la implicación de ambas es la proposición compuesta "𝒑 → 𝒒",
se lee " 𝑠𝑖 𝒑 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝒒" o " 𝑠𝑖 𝒑 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝒒". La implicación será falsa únicamente si la hipótesis es
verdadera y su conclusión falsa.

𝒑 → 𝒒
Antecedente P entonces q Consecuente
Premisa P implica q Conclusión
Condición suficiente. P es condición suficiente para q Condición necesaria.
q es condición necesaria para p
Hipótesis P solo si q Tesis.

Condiciones necesaria y suficiente.

Si la enunciación hipotética p ⇒ q es verdadera, se dice que p es una condición suficiente para q.
Si la enunciación hipotética q ⇒ p es verdadera, se dice que q es una condición necesaria para p

Tabla de verdad.

p 𝒒 𝑝 →𝑞 𝒑 Entonces Q 𝒑→𝒒
v v v 1. Hipótesis verdadera Razonamiento correcto Conclusión Verdadera
v f f 2. Hipótesis verdadera Razonamiento erróneo Conclusión Falsa
f v v 3. Hipótesis falsa Razonamiento correcto Conclusión Verdadera
f f v 4. Hipótesis falsa Razonamiento erróneo Conclusión Verdadera

ACTIVIDAD_RESUELTA:

Sea la proposición: p: Si hago deporte entonces se me acelera el pulso.

a) Identifique las proposiciones simples junto con sus negaciones y su correspondiente valor de
verdad.
b) Exprese las opciones de la implicación entre las proposiciones simples y sus negaciones, luego
exprese en lenguaje proposicional con su correspondiente valor de verdad.
c) Identifique que opción es verdadera

r: Hago deporte (v) ¬𝑟: no hago deporte (f)

s: Se me acelera el pulso. (v) ¬𝑠: no se me acelera el pulso (f)

Conectivo
P simple P. simple p. Compuesta Observaciones
(→)
Si hago deporte se me acelera el pulso
(v) entonces (v) 𝒓 →𝒔 (v)
𝒓 𝒔
Si hago deporte no se me acelera el pulso
(v) entonces (f) 𝒓 → ¬𝒔 (f)
𝒓 ¬𝒔
Si no hago deporte se me acelera el pulso Porque: el pulso se puede
(f) entonces (v) ¬𝒓 → 𝒔 (v)
¬𝒓 𝒔 acelerar por otra causa.
Si no hago deporte no se me celera el pulso Porque: otra forma de
(f) entonces (f) ¬r → ¬𝒔 (v)
¬𝒓 ¬𝒔 decir la opción 1.

GALB_2022-2023 8
 LOGICA MATEMATICA Bachillerato general Unificado

ACTIVIDADES: Condicional.

En cada proposición, analice todas las opciones del condicional y exprese en lenguaje proposicional
con su correspondiente valor de verdad.
1) Juan es riobambeño, entonces Juan es ecuatoriano
2) Si como mucho, entonces engordo
3) Si gano las elecciones, entonces no bajare los impuestos.
4) Si no estudio mucho, entonces me canso.
5) Si mi promedio es mayor o igual a 7, entonces paso el año
6) si ahorro, me podré comprar una casa en tres años
1
7) Si 23 = 8, entonces 4−3 = 64
A partir de la condicional o implicación se pueden obtener también dos condicionales: la recíproca y la
contra recíproca, condicionales fundamentales cuando se trabaja con teoremas.

La recíproca. Dada la proposición condicional p → q, su reciproca es la proposición también

condicional q → p.
La contrarecíproca. Dada la proposición condicional p → q, su contrarecíproca es la proposición
también condicional ¬q → ¬p.

ACTIVIDADES: Reciproca y Contrarecíproca.

Hallar la recíproca, contrarecíproca y determine el valor de verdad

1) Si 3 es un número impar, entonces 32 es impar.
2) Si María estudia mucho, entonces es buena estudiante.
3) Si tienes 100 dólares, entonces puedes comparar un helado.
4) Si llueve, no voy
5) No puedo completar la respuesta, si tú no me ayudas
6) Si está lloviendo, entonces hay nubes en el cielo.

Ejemplo 1: Las siguientes proposiciones son verdaderas:

“Si n es divisible para 18, n es divisible para 3”
“Si n es divisible para 9, n es divisible para 3”
“Si n es divisible para 18, n es divisible para 9”

n es divisible para 18 condiciones suficientes para que n sea divisible

n es divisible para 9 para 3

n es divisible para 3 condiciones necesarias para que n sea divisible

n es divisible para 9 para 18

Ejemplo 2: La forma proposicional p ⇒ q siendo:

p: Richard Carapaz es un gran ciclista.
q: Richard Carapaz triunfa en Europa.
Se lee:
• Es condición suficiente que Richard Carapaz sea un gran ciclista, para que triunfe en Europa.
• Si Richard Carapaz triunfa en Europa, es un gran ciclista.

GALB_2022-2023 9
 LOGICA MATEMATICA Bachillerato general Unificado

4.5. Bicondicional / doble implicación

Bicondicional Relaciona dos proposiciones simples y forma una proposición compuesta mediante el
conector " ↔ ".

Si p, q son dos proposiciones simples el Bicondicional de ambas es la proposición compuesta "𝒑 ↔ 𝒒",
se lee "𝒑 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝒒". La doble implicación es verdadera si las dos proposiciones tienen el mismo
valor de verdad.

La proposición 𝑝 ↔ 𝑞 puede leerse de la siguiente forma.

𝒑↔𝒒
P si y solo si q
P es condición necesaria y suficiente para q
P es equivalente a q
P siempre y cuando q

Tabla de verdad.

p 𝒒 𝒑↔𝑞
v v v
v f f
f v f
f f v

La Bicondicional puede definirse también como la conjunción de una implicación y su recíproca, es

decir: 𝒑 ↔ 𝒒 = (𝒑 → 𝒒) ∧ (𝒒 → 𝒑)

Si la proposición (𝑝 → 𝑞) ∧ (𝑞 → 𝑝) es verdadera se dice que p y q son equivalente, se expresa como

(𝑝 ↔ 𝑞), se lee "p si y solo si q" y su interpretación es:
"p solo si q" significa 𝒑 → 𝒒 si p entonces q “p es condición suficiente para q”
"p si q" significa 𝒒 → 𝒑 si q entonces p “q es condición necesaria para p”

ACTIVIDADES 1: Bicondicional
En cada proposición, analice todas las opciones del Bicondicional y exprese en lenguaje
proposicional con su correspondiente valor de verdad.
1) Es buen estudiante Maldonadino si y solo si tiene un promedio de 10
2) Simón Bolívar vive si y solo si Montalvo está muerto
3) Iré al parque si y solo si hago los deberes.
4) La proposición es simple si y solo si no tiene conectivos lógicos.
5) Una persona puede votar sí y solo si está en el padrón electoral

ACTIVIDADES 2: Bicondicional.
Exprese en lenguaje proposicional, cada proposición realice lo siguiente:
a) Determine las proposiciones simples.
b) Exprese en lenguaje proposicional el enunciado.
c) Explique como condición necesaria y condición suficiente del enunciado.

1) Sean a, b y c las longitudes de los lados de un triángulo T siendo c la longitud mayor.

El enunciado: T es rectángulo si y solo si 𝑎2 + 𝑏 2 = 𝑐 2 .

GALB_2022-2023 10
 LOGICA MATEMATICA Bachillerato general Unificado

2) Dos vectores son perpendiculares si y solo si el producto escalar entre los vectores es igual
a cero.
3) 1+1=3 si y solo si Marte es un agujero negro.

4.6. Conjunción negativa.

Conjunción Relaciona dos proposiciones simples y forma una proposición compuesta mediante el
negativa conectivo " ↓ ".

Si p, q son dos proposiciones simples la conjunción negativa de ambas es la proposición compuesta "𝒑 ↓
𝒒", se lee” ni p, ni q” o "𝑛𝑜 𝒑 𝑦 𝑛𝑜 𝒒". La conjunción es verdadera cuando únicamente las dos
proposiciones simples son falsas.

Tabla de verdad.

p 𝒒 𝒑↓𝑞
v v f
v f f
f v f
f f v

La conjunción negativa es equivalente a: p ↓ q ↔ ¬𝒑⋀¬𝒒

ACTIVIDADES: Conjunción Negativa

En cada proposición, analice todas las opciones de la conjunción negativa y exprese en lenguaje
proposicional con su correspondiente valor de verdad
1) Ni Juan es estudiante de la Espoch. ni es estudiante de la Unach.
2) Ella no tiene ni diamantes ni perlas.
3) Ni tengo caramelos ni tengo helados
4) El 8 ni es un número impar ni un número primo

GALB_2022-2023 11
 LOGICA MATEMATICA Bachillerato general Unificado

5. Polinomios Booleanos y tablas de verdad.

Definición de Un polinomio booleano (proposición compuesta) está formado por variables

polinomio proposicionales (p, q, r, …) las mismas que están unidas por operadores lógicos (
booleano ¬, ⋀ ,∨, ∨ , →, ↔, ↓), a los polinomios se les representa con letras mayúsculas P, Q, R.
algunas veces se indica las variables de las que está formado el polinomio P (p, q), R(p,
q, r)

Tabla de Es la forma simple y concisa de indicar el valor de verdad de los polinomios

verdad

Construcción de Tablas de verdad

Para construir tablas de verdad de proposiciones compuestas se debe tener en cuenta lo siguientes.
• Determinar el número posible de combinaciones, si hay “n” proposiciones el número total de combinaciones
será 𝟐𝒏 .
• Respetar el orden de los valores de verdad dentro de la tabla, así si hay tres proposiciones el
número de combinaciones será 23 = 8, por Tanto para la primera proposición serán 4 verdadera y
4 falsas; para la segunda proposición serán 2 verdaderas y 2 falsas y para la tercera proposición
será una verdadera y una falsa.

ACTIVIDADES: Tablas de verdad de polinomios Booleanos

Encuentre el valor de verdad de los siguientes polinomios (proposiciones compuestas)
1. 𝑝 ∨ ¬𝑝
2. 𝑝 ∧ ¬𝑝
3. 𝑝∨𝑝
4. (𝑝 ∧ 𝑞) → 𝑟
5. ¬𝑝 ↔ (𝑞 ∨ 𝑟)
6. (𝑝 ∨ 𝑞)↓¬𝑞
7. ¬(𝑝 ∨ ¬𝑞) ∧ 𝑟
8. 𝑟 → (𝑝 ∨ ¬𝑞)

GALB_2022-2023 12
 LOGICA MATEMATICA Bachillerato general Unificado

6. Tautologías, contradicciones y contingencias

Dependiendo del valor de verdad de la última columna, una proposición puede ser una tautología,
contradicción o contingencia.

Tautología Una proposición compuesta se dice que es una tautología, si la proposición es

verdadera para todos los valores de verdad, es decir, en la última columna debe salir solo
verdadera.

Contradicción Una proposición compuesta se dice que es una contradicción, si la proposición es falsa
para todos los valores de verdad, es decir, en la última columna debe salir solo falsa

Contradicción Una proposición compuesta se dice que es una contingencia, si la proposición es falsa o
verdadera dependiendo de los valores de verdad

ACTIVIDADES: Tautologías, contradicciones y contingencias

Encuentre el valor de verdad de los siguientes polinomios (proposiciones compuestas) y

determine si es una tautología, contradicción o contingencia

1. (𝑝 → 𝑟) → 𝑞
2. ¬[𝑝 ↔ (𝑞 ∨ 𝑟)]
3. (𝑝 ∧ 𝑞) ∨ ¬(𝑝 → 𝑞)
4. [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟)
5. [¬(𝑝 ↔ 𝑞) → ¬𝑞] ∨ 𝑞
6. [(𝑝 → 𝑞) ∧ 𝑝] ∧ ¬𝑞
7. [(𝑝 → 𝑞) ∧ (𝑟 → ¬𝑞)] → ¬(𝑝 ∧ 𝑟)
8. (𝑝 ∧ 𝑞) ∧ ¬(𝑝 ∨ 𝑞)

GALB_2022-2023 13
 LOGICA MATEMATICA Bachillerato general Unificado

7. Razonamiento valido.

ACTIVIDADES: Razonamiento valido

Exprese los siguientes razonamientos en lenguaje proposicional y compruebe con su correspondiente

tabla de verdad.

1. Si Juana no grita, sus hijos no le obedecen. Si los hijos de Juana no le obedecen, entonces, Juana
se enoja. Juana no está gritando. Por lo tanto, Juana está enojada”.

2. Si no pago la luz, entonces me cortarán la corriente eléctrica. Y Si pago la luz, entonces me quedaré
sin dinero o pediré prestado. Y Si me quedo sin dinero y pido prestado, entonces no podré pagar
la deuda, si solo si soy desorganizado

3. Si Dios quisiera evitar el mal y no pudiera evitarlo, Dios sería incapaz. Si Dios pudiera evitar el
mal y no quisiera evitarlo, Dios sería maligno. Si Dios quisiera evitar el mal y Dios pudiera
evitarlo, el mal no existiría. El mal existe. Si Dios existe, no es incapaz ni maligno. Por lo tanto,
Dios existe.

4. El Colegio Pedro Vicente Maldonado es un prestigioso plantel, entonces, prepara excelentes

estudiantes. Los profesores del Colegio Pedro Vicente Maldonado no son gordos, pero están bien
preparados. Si los profesores del Colegio Pedro Vicente Maldonado están bien preparados, este es
un prestigioso plantel. Luego, el Colegio Pedro Vicente Maldonado prepara excelentes
estudiantes.

5. Si Henry cumplió el contrato, la mercadería fue suministrada en la fecha convenida. Henry

cumplió el contrato o su registro de envío estaba equivocado. Si su registro de envío no estaba
equivocado, él no ordenó el envío de la mercadería. Por consiguiente, la mercadería no fue
suministrada en la fecha convenida.

6. Si me prestas 10 dólares, iré al cine con Susana. Me prestas 10 dólares o no eres mi amigo. Si no
eres mi amigo, no te ayudaré en tu deber de matemática. Te ayudaré en tu deber de matemática.
Por consiguiente, iré al cine con Susana.

GALB_2022-2023 14