LOGICA MATEMATICA Bachillerato general Unificado

LOGICA MATEMATICA

1. Introducción

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_2021 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

simple matemática 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)

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”

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”

GALB_2021 2
 LOGICA MATEMATICA Bachillerato general Unificado

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_2021 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 de verdad.
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_2021 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 de verdad
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) Voy al cine cuando hay una buena película y tengo dinero
2) log 0 = 1 y ln 𝑒 = 1
3) 5 es un número par y es un entero positivo.
4) √81 no es menor que 10 y 7 es un número primo.
5) Tulcán es la capital de Imbabura y Latacunga es la capital de Pichincha.

En cada proposición compuesta:

a) Identifique las proposiciones simples y represente en lenguaje proposicional con su
correspondiente valor de verdad.
b) Exprese la proposición compuesta en lenguaje proposicional con su correspondiente valor
de verdad.

Sugerencia: Analice todas las opciones de la conjunción y escriba en lenguaje proposicional con su
correspondiente valor de verdad

GALB_2021 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
inclusiva. mediante 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) O Leo ó escucho
2) Vamos al cine ó vamos a cenar
3) Mañana hay sesión con los padres de familia y/o representantes legales.
4) 7 es un número impar ó un número primo.
5) O como o almuerzo.
En cada proposición compuesta.
a) Identifique las proposiciones simples y represente en lenguaje proposicional con su
correspondiente valor de verdad.
b) Exprese la proposición compuesta en lenguaje proposicional con su correspondiente valor
de verdad

Sugerencia: Analice todas las opciones de la disyunción inclusiva y escriba en lenguaje proposicional
con su correspondiente valor de verdad

GALB_2021 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) Usted o sabe o no sabe
2) O estoy en clase o estoy en el receso
3) Juan es político o tiene escrúpulos.
4) 2+3 ≤ 5
5) 3≤5

En cada proposición compuesta.

c) Identifique las proposiciones simples y represente en lenguaje proposicional con su
correspondiente valor de verdad.
d) Exprese la proposición compuesta en lenguaje proposicional con su correspondiente valor
de verdad

Sugerencia: Analice todas las opciones de la disyunción exclusiva y escriba en lenguaje proposicional
con su correspondiente valor de verdad

GALB_2021 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.

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

ACTIVIDAD_RESUELTA:
Sea la proposición: p: Si hago deporte entonces se me acelera el pulso.
a) Identifique las proposiciones simples y represéntelas en lenguaje proposicional con su
correspondiente valor de verdad
b) Encuentre la negación de las proposiciones simples y represéntelas en lenguaje proposicional
con su correspondiente valor.
c) Analice todas las opciones del condicional y escriba en lenguaje proposicional con su
correspondiente valor de verdad.
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_2021 8
 LOGICA MATEMATICA Bachillerato general Unificado

ACTIVIDADES: Condicional.

En cada proposición, analice todas las opciones del condicional y expresar en lenguaje
proposicional con su correspondiente valor de verdad.
1) Si como mucho, entonces engordo
2) Si gano las elecciones, entonces no bajare los impuestos.
3) Si no estudio mucho, entonces me canso.
4) Si tú eres programador, entonces yo soy dueño de Microsoft
5) Juan es riobambeño, entonces es ecuatoriano
6) Si mi promedio es mayor o igual a 7, entonces paso el año
7) si ahorro, me podré comprar una casa en tres años
1
8) 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_2021 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 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

GALB_2021 10
 LOGICA MATEMATICA Bachillerato general Unificado

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 .
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.

GALB_2021 11
 LOGICA MATEMATICA Bachillerato general Unificado

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_2021 12
 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 o

polinomio proposiciones (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_2021 13
 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_2021 14
 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_2021 15