Está en la página 1de 44

PROGRAMA DE ESTUDIOS GENERALES

ÁREA DE CIENCIAS

Fundamentos de
Matemática

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

LÓGICA PROPOSICIONAL

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

LÓGICA PROPOSICIONAL
Contenido
➢ Enunciado. Proposición.
➢ Conectivos lógicos.
➢ Proposición simple y compuesta.
➢ Variable proposicional.
➢ Función proposicional.
➢ Fórmula lógica proposicional.
➢ Tabla de verdad.
➢ Fórmulas tautológicas, contradictorias y contingentes.
➢ Ejercicios.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Objetivo

✓ Comprender los conceptos fundamentales de la


lógica proposicional.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

El Ministerio de Economía y Finanzas (MEF) El retorno seguro a clases es un eje


confirma que el Perú negocia la compra de estratégico para la continuidad educativa y el
vacunas con diez laboratorios. logro de aprendizajes.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

ENUNCIADO
Es toda expresión alfabética o numérica usada en el lenguaje, que sirve para afirmar o negar
algo, formular preguntas, indicar dudas, prohibiciones, mandatos, recomendaciones, expresar
deseo, opinión, saludo, admiración o sorpresa, emitir un juicio de valor.
Ejemplos:
• Buenos días. (saludo)
• El Congreso de la República aprobó la ley que permite el retiro de fondos de las AFP en
abril del 2016 en el Perú. (afirmación)
• Es recomendable que las personas eviten fumar. (sugerencia)
• ¿Se puede utilizar teléfono celular en un avión? (pregunta)
• La selección peruana clasificará al próximo mundial. (afirmación)
• ¡Silencio! (mandato u orden)
• 𝑥 + 2 > 5 (afirmación)
• Él asiste a la universidad a lo más tres veces por semana. (afirmación)
• Deberías esforzarte para aprobar la asignatura. (recomendación)
FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

PROPOSICIÓN
Es todo enunciado que afirma o niega algo, y cuyo valor de verdad se califica como verdadero o
falso. No basta con que el enunciado sea aseverativo, sino además que el significado o la
interpretación de dicha expresión sea susceptible de ser calificado con el valor de verdadero o
falso y que dicha calificación esté libre de ambigüedad.
Ejemplos:
❑ El cuadrilátero es un polígono de cuatro lados.
❑ La Universidad de Lima fue fundada en 1962.
❑ María Delgado graduada en la Universidad de Lima ofreció una entrevista para G de
Gestión.
❑ Mario Vargas Llosa fue galardonado con el Premio Nobel de Literatura en 2010.
❑ Lima fue la capital del Virreinato del Perú.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

(Sondeo) ¿Cuántos de los siguientes enunciados son proposiciones?


a) El Presidente del Perú no es Pedro Castillo.
b) ¿Qué es la lógica?
c) Debemos honrar a nuestros héroes.
d) Sea en hora buena.
e) ¡Por Júpiter! ¡Casi me saco la lotería!
f) Quizá llueva mañana.
g) Juliana es buena.
h) 23 = 6
Marque la alternativa correcta.
A. 1
B. 2
C. 3
D. 4
Respuesta: B

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

EJERCICIOS
1) Dado los siguientes enunciados:
a) El Presidente del Perú no es Pedro Castillo. b) ¿Qué es la lógica?
c) Debemos honrar a nuestros héroes. d) Sea en hora buena.
e) ¡Por Júpiter! ¡Casi me saco la lotería! f) Quizá llueva mañana.
g) Juliana es buena. h) 23 = 6
Explique el porque cada enunciado es o no proposición.
Solución
a) Es proposición porque es un enunciado negativo verdadero.
b) No es proposición porque es una pregunta.
c) No es proposición porque es un mandato u orden.
d) Tampoco es proposición porque es un deseo.
e) No es proposición porque es una admiración.
f) No es proposición porque es una duda.
g) No es proposición porque constituye un juicio de valor.
h) Es proposición porque es un enunciado afirmativo falso.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

2) Extracto de un artículo publicado en el portal de la Universidad de Lima.

DESTACAN CONSTRUCCIÓN
DEL MODERNO EDIFICIO I1
EN EL CAMPUS ULIMA

El nuevo Edificio I1 de la Universidad de Lima es una de las últimas obras construidas por Cosapi y forma
parte del Plan Maestro de nuestra Casa de Estudios. La construcción, ejecutada en un área de más de 11
mil metros cuadrados, consta de modernas aulas, oficinas y laboratorios.
En la publicación del portal Rumbo Económico, se destaca la aplicación de la metodología Virtual Design
& Construction (VDC), con lo cual Cosapi redujo el plazo de la obra, de 14,5 meses a 10,5 meses.

Mencione al menos 4 proposiciones de dicho extracto.


FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

El nuevo Edificio I1 de la Universidad de Lima es una de las últimas obras construidas por Cosapi y
forma parte del Plan Maestro de nuestra Casa de Estudios. La construcción, ejecutada en un área de
más de 11 mil metros cuadrados, consta de modernas aulas, oficinas y laboratorios.
En la publicación del portal Rumbo Económico, se destaca la aplicación de la metodología Virtual
Design & Construction (VDC), con lo cual Cosapi redujo el plazo de la obra, de 14,5 meses a 10,5
meses.

Solución
1. El nuevo Edificio I1 de la Universidad de Lima es una de las últimas obras construidas por Cosapi.
2. El nuevo Edificio I1 de la Universidad de Lima forma parte del Plan Maestro de nuestra Casa de Estudios.
3. La construcción del nuevo Edificio I1 fue ejecutada en un área de más de 11 mil metros cuadrados.
4. El nuevo Edificio I1 de la Universidad de Lima consta de modernas aulas.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

CONECTIVOS LÓGICOS
Son palabras que permiten relacionar proposiciones y crear proposiciones más complejas. La
siguiente tabla, presenta algunos de los conectivos lógicos más usados:

Símbolo Significado Operación Lógica


No, no es el caso que, no es cierto que, …
∼ Negación
Juan no estudia.
… y, pero, aunque, sin embargo, además …
∧ Conjunción
Tatiana es cantante y actriz.
…o… Disyunción incluyente

2 es mayor o igual que 1.
Si…entonces, implica, en consecuencia …
→ Condicional
Si María tiene tiempo entonces irá al gimnasio.
… si y solo si; es equivalente a …
↔ Bicondicional
Rafael bajará de peso si y solo si hace dieta.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

CLASES DE PROPOSICIONES
1. Proposición simple
Es una proposición que no presenta conectivos lógicos. Las proposiciones simples se
simbolizan con una letra minúscula del alfabeto español llamada variable proposicional. Las
letras del alfabeto español más utilizadas son 𝑝,𝑞,𝑟,…,𝑧.
Ejemplos:
a) El curso de Fundamentos de Matemática en la Universidad de Lima tiene 5 créditos.
b) La raíz cuadrada de 121 es un número racional.
c) Luciana practica atletismo.
3 1
d) 0,25; ; ; 2−2 es un conjunto unitario.
12 16

e) La moneda oficial en el Reino Unido es el euro.


f) El hexaedro regular tiene 6 aristas.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

CLASES DE PROPOSICIONES
2. Proposición compuesta
Es una proposición que lleva al menos un conectivo lógico, y según el conectivo lógico que
presente se clasifica en proposición conjuntiva, disyuntiva, condicional, bicondicional y
negativa. El valor de verdad de una proposición compuesta se determina a partir del valor de
verdad de las proposiciones simples que conforman dicha proposición y del conector que los
enlaza.
Ejemplos
a) Fabiana no asistió a su primera clase en la Universidad de Lima.
b) La Liga 1 del fútbol peruano está conformado por 20 equipos de primera división y en
dicha Liga participan 6 clubes capitalinos.
3
c) 32 + 1 ≥ 64 − 2
d) Si Pedro viaja a Barcelona la última semana de octubre entonces asistirá al Camp Nou a
ver al FC Barcelona.
a) Lucero es alumna de humanidades si y sólo si estudia Fundamentos de Matemática.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

(Sondeo) ¿Cuántas de las siguientes proposiciones son simples?


a) Las vacunas provocan una respuesta inmune en el organismo y son utilizadas para combatir la COVID-19.
b) Sansón y Dalila son esposos.
c) 23 ≠ 6

Marque la alternativa correcta.


A. Ninguna
B. 1 (b)
C. 1 (c)
D. 2 (b y c)

Respuesta: B

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Observación
Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o sus expresiones equivalentes como
‘e’, ‘pero’, ‘aunque’, ‘aun cuando’, ‘tanto... como...’, ‘sino’, ‘ni... ni‘, ‘sin embargo’, ‘además’, etc. Ejemplos:
a) Renato es Ingeniero Industrial y soltero. b) El 2 es par, pero el 3 es impar.
c) Silvia es inteligente, sin embargo, es floja. d) Tanto el padre como el hijo son comunicadores.
e) Manuel e Ismael son universitarios. f) La materia ni se crea ni se destruye.
g) Ingresaré a la universidad aun cuando no apruebe el examen de admisión.
Los siguientes ejemplos no son proposiciones compuestas debido a que la ‘y’ de dichos ejemplos actúa
como término relacional y no como el conectivo conjunción.
a) Luis y Silvia son hermanos. b) María y Ducelia son vecinas.
c) Sansón y Dalila son esposos. d) Fernando y Víctor son contemporáneos.
e) Ana y Ricardo son parientes.
Dichos ejemplos son proposiciones simples con dos sujetos vinculados entre sí.
Luis y Silvia son hermanos. Equivale a: Luis es hermano de Silvia.
FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

VARIABLE PROPOSICIONAL
Es una letra minúscula del alfabeto español que representa a una proposición simple. Las
letras del alfabeto español más utilizadas son 𝑝,𝑞,𝑟,…𝑧.
Ejemplos:
𝑝: Las aplicaciones para teléfonos móviles son gratuitas.
𝑞: Universitario de Deportes es el equipo peruano con más campeonatos ganados en el fútbol
profesional peruano.
𝑟: El Centro Cultural de la Universidad de Lima se inauguró el 19 de agosto del 2016.
𝑠: El Ministerio de Transportes y Comunicaciones controla el tránsito de vehículos en las
carreteras principales.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Observaciones
𝑝: Juan es cantante. 𝑞: Rafaela es deportista. 𝑟: Renato ayuda a su mamá.

~𝑝: negación simple ~𝑝: Juan no es cantante. Aquí la coma sí


es obligatoria
~(𝑝 ∧ 𝑞): negación de un conectivo (conjunción)
~(𝑝 ∧ 𝑞): No es cierto que Juan es cantante y Rafaela es deportista.
Ambos son correctos
~(𝑝 ∧ 𝑞): No es cierto que, Juan es cantante y Rafaela es deportista.

~(𝑝 ∧ 𝑞) ↔ 𝑟: No es cierto que Juan es cantante y Rafaela es deportista, si y solo si Renato ayuda a su mamá.

𝑝 → 𝑞: Si Juan es cantante, entonces Rafaela es deportista


Ambos son correctos
𝑝 → 𝑞: Si Juan es cantante entonces Rafaela es deportista

𝑝 → 𝑞 ∨ ~𝑟 : Si Juan es cantante, entonces Rafaela es deportista o Renato no ayuda a su mamá.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

EJERCICIOS
1) Dado el siguiente párrafo:
El historiador y docente de la Universidad de Lima Juan Luis Orrego participó como asesor en la
elaboración del guion de la serie El último bastión. Esta producción es transmitida actualmente por
Netflix, y retrata la vida de personas de distintos grupos sociales durante la época de la Independencia.
Identifique y simbolice las proposiciones simples.
Solución
𝑝: Juan Luis Orrego es un historiador.
𝑞: Juan Luis Orrego es docente de la Universidad de Lima.
𝑟: Juan Luis Orrego participó como asesor en la elaboración del guion de la serie El último bastión.
𝑠: La serie El último bastión es transmitida actualmente por Netflix.
𝑡: La serie El último bastión retrata la vida de personas de distintos grupos sociales durante la época
de la Independencia.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

2) Dada la proposición compuesta


Eduardo Capetillo Jr. no cumplió las leyes de tránsito dadas por el gobierno mexicano y fue detenido
por la policía nacional.
a) Identifique y simbolice las proposiciones simples.
b) Use correctamente los conectivos lógicos y simbolice la proposición compuesta.

Solución

a) Proposiciones simples
𝑝: Eduardo Capetillo Jr. cumplió las leyes de tránsito dadas por el gobierno mexicano.
𝑞: Eduardo Capetillo Jr. fue detenido por la policía nacional.

b) ~𝑝 ∧ 𝑞

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

FUNCIÓN PROPOSICIONAL
Es una expresión afirmativa que contiene una o más variables, que se convierte en proposición cuando
las variables se reemplazan por valores constantes.
Se pueden representar mediante las notaciones 𝑝(𝑥), 𝑞 𝑥 , etc.
Por ejemplo:
𝑝 𝑥 : 2𝑥 + 5 > 9 𝑞 𝑥, 𝑦 : 𝑥 2 + 𝑦 2 = 100

𝑟: Él viaja mañana a Trujillo. (Él es la variable)

𝑠: Ella es influencer. (Ella es la variable)

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

(Sondeo) ¿Cuántos de los siguientes enunciados son funciones proposicionales?


a) Ellos van a la playa.
b) El ministro habló anoche.
c) 2𝑥 + 5 = 13.
Marque la alternativa correcta.

A. Todas
B. 2
C. 1
D. Ninguna.

Respuesta: A

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Ejemplos:
Determine si las siguientes expresiones corresponden o no a una proposición o a una función
proposicional. Justifique su respuesta.

a) La Selección Peruana de fútbol está ubicada actualmente en el puesto número 30 del ranking FIFA.
b) La Universidad de Lima pertenece al Consorcio de Universidades del Perú.
c) Constituye una falta grave cometer o permitir el plagio, o cualquier otro análogo, durante las
evaluaciones académicas o en la elaboración de trabajos. (1)
d) 3 + 1 = 6.

e) 𝑥 + 𝑦 ≤ 4.

𝑥−1
f) es un número entero.
𝑥+1
(1) Artículo 62 Inciso d. Reglamento General de Estudios de la Universidad de Lima.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Solución
a) La Selección Peruana de fútbol está ubicada actualmente en el puesto número 30 del ranking FIFA.
Proposición porque es un enunciado afirmativo que tiene valor de verdad.
b) La Universidad de Lima pertenece al Consorcio de Universidades del Perú.
Proposición porque es un enunciado afirmativo verdadero.
c) Constituye una falta grave cometer o permitir el plagio, o cualquier otro análogo, durante las
evaluaciones académicas o en la elaboración de trabajos. (1)
Proposición porque es un enunciado afirmativo verdadero.
d) 3 + 1 = 6 Proposición porque es un enunciado afirmativo falso.

e) 𝑥 + 𝑦 ≤ 4 Función proposicional porque tiene variables.


𝑥−1
f) es un número entero. Función proposicional porque tiene variable.
𝑥+1
(1) Artículo 62 Inciso d. Reglamento General de Estudios de la Universidad de Lima.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

FÓRMULA LÓGICA PROPOSICIONAL


Es una expresión que permite representar simbólicamente a las proposiciones y está
compuesta por variables proposicionales, conectivos lógicos o signos de agrupación.
Se forman de acuerdo a las siguientes reglas:
a) Una variable proposicional representa la mínima fórmula lógica posible.
b) Si 𝐴 es una fórmula lógica entonces ∼ 𝐴 también es una fórmula lógica.
c) Si 𝐴 y 𝐵 son fórmulas lógicas, entonces 𝐴 ∧ 𝐵 , 𝐴 ∨ 𝐵 , 𝐴 → 𝐵 y 𝐴 ↔ 𝐵 también son
fórmulas lógicas.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

EJEMPLOS DE FÓRMULAS LÓGICAS PROPOSICIONALES


a) Escriba en lenguaje proposicional la siguiente proposición compuesta:
La Municipalidad de Lima Metropolitana controla el tránsito de vehículos en la ciudad o el
Ministerio de Transportes y Comunicaciones no controla el tránsito de vehículos en las carreteras;
y si el número de heridos y fallecidos por accidentes vehiculares va en aumento, entonces el costo
del SOAT no se incrementará.
Solución:
Primero se identifican y simbolizan las proposiciones simples
𝑝 ∶ La Municipalidad de Lima Metropolitana controla el tránsito de vehículos en la ciudad.
𝑞 ∶ El Ministerio de Transportes y Comunicaciones controla el tránsito de vehículos en las
carreteras.
𝑟 ∶ El número de heridos por accidentes vehiculares va en aumento. Luego, se simboliza
𝑠 ∶ El número de fallecidos por accidentes vehiculares va en aumento. la proposición:
𝑡 ∶ El costo del SOAT se incrementará.
𝑝 ∨ ~𝑞 ∧ 𝑟 ∧ 𝑠 → ~𝑡
FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

b) Simbolice la siguiente proposisión compuesta.

Si el psicólogo de la Universidad de Lima no trabaja en instituciones vinculadas a la salud o realiza


consultoría en recursos humanos de una empresa, entonces es falso que, no actúa con empatía de
acuerdo a los principios éticos de su profesión o no realiza consultoría en recursos humanos de una
empresa.

Solución:
𝑝: El psicólogo de la Universidad de Lima trabaja en instituciones vinculadas a la salud.

𝑞: El psicólogo de la Universidad de Lima realiza consultoría en recursos humanos de una empresa.


𝑟: El psicólogo de la Universidad de Lima actúa con empatía de acuerdo a los principios éticos de su
profesión.

Fórmula lógica: (~ 𝒑 ∨ 𝒒 ) → ~ (~ 𝒓 ∨ ~ 𝒒)

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

c) Escriba en lenguaje español, la siguiente fórmula lógica: ~ 𝑝 → ~𝑞 ∧ 𝑟


donde:
𝑝: Los próximos Juegos Panamericanos se inician el 20 de octubre en Santiago.
𝑞: Se desarrollarán 57 disciplinas deportivas.
𝑟: Participarán 41 países afiliados a PANAM SPORTS.

Solución:
No es cierto que, si los próximos Juegos Panamericanos se inician el 20 de octubre en Santiago entonces
no se desarrollarán 57 disciplinas deportivas, además participarán 41 países afiliados a PANAM SPORTS.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

TABLAS DE VERDAD
Son tablas de doble entrada que se utilizan para mostrar el valor de verdad de una fórmula lógica.
El resultado se genera en la columna correspondiente al conector principal.
El número de filas de una tabla de verdad se calcula mediante la expresión 2𝑛 , siendo 𝑛 el número de
variables proposicionales diferentes contenidas en la fórmula lógica.

𝑝 𝑞 𝑟
V V V
Para 2 variables
V V F
Para una variable 𝒑 𝒒
V F V
𝒑
V V V F F
V
V F F V V
F
F V F V F
F F F F V
FUNDAMENTOS DE MATEMÁTICA F F F
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

TABLAS DE VERDAD
Las tablas de verdad de los conectivos lógicos usuales se presentan a continuación:

Para una variable Para 2 variables proposicionales: 𝒑 y 𝒒


proposicional: 𝒑
𝒑 𝒒 𝒑˄𝒒 𝒑˅𝒒 𝒑→𝒒 𝒑↔𝒒
𝒑 ~𝒑
V F V V V V V V
F V V F F V F F
F V F V V F
F F F F V V

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

CLASIFICACIÓN DE LAS FÓRMULAS LÓGICAS


Al desarrollar una tabla de verdad para una fórmula lógica se puede obtener uno de los
siguientes resultados en la columna principal:

• Tautología: solo contiene valores de verdad verdaderos. La fórmula lógica siempre es


verdadera.

• Contradicción o Falsedad: solo contiene valores de verdad falsos. La fórmula lógica


siempre es falsa.

• Contingencia: contiene valores de verdad verdaderos y falsos. Es una fórmula lógica que
no es Tautología ni Contradicción.

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Ejemplos aplicativos

𝑝 𝑞 𝑝𝑞 → 𝑝 𝑝 𝑞 𝑝𝑞  ~𝑞
V V V V V V V V F F
V F F V V V F F F V
F V F V F F V F F F
F F F V F F F F F V
Valores de verdad verdaderos: TAUTOLOGÍA Valores de verdad falsos: CONTRADICCIÓN

𝑝 𝑞 𝑝˅𝑞
V V V
Valores de verdad verdaderos y falsos:
V F V CONTINGENCIA
F V V
F F F
FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Ejemplos (página 10 del cuaderno de trabajo)


Determine si las siguientes fórmulas lógicas 𝑝 → 𝑞  𝑝 →𝑞 y ~ 𝑝 ˅ 𝑞 ↔ 𝑟 corresponden a
una tautología, contradicción o contingencia.

Solución de la 1ra fórmula

𝑝 𝑞 𝑝 → 𝑞  𝑝 → 𝑞 𝑝 𝑞 [ 𝑝 → 𝑞  𝑝] → 𝑞
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F

Tautología
FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Solución de la 2da fórmula: ~ 𝑝 ˅ 𝑞 ↔ 𝑟

~𝑝 𝑝 𝑞 𝑟 ~𝑝 ˅ 𝑞 ↔ 𝑟

F V V V V V V
F V V F V F F
F V F V F F V
F V F F F V F
V F V V V V V
V F V F V F F
V F F V V V V
V F F F V F F

Contingencia
FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

(Sondeo) Determine respectivamente el valor de verdad de las proposiciones compuestas simbolizadas


por 𝑝 ↔ ~𝑝 , ~(𝑝 ∨ ~𝑝) y (~𝑝 → ~𝑝).

Marque la alternativa correcta.

A. FFV
B. FVF
C. VFV
D. FFF

Respuesta: A

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Ejercicios (páginas 13, 14 y 15 del cuaderno de trabajo)

3. Determine la tabla de verdad que le corresponda a cada fórmula lógica, calificándola de tautología,
contradicción o contingencia, según sea el caso.
a) (𝑝 ↔ ~𝑝) → ~ ~(𝑝 ∨ ~𝑝) ∧ (~𝑝 → ~𝑝) b) (~𝑚 ↔ ~𝑛) → (𝑚 ∨ ~𝑛)
c) (𝑝 → ~𝑞) ↔ (~𝑞 ∨ ~𝑝) → 𝑟
Solución a) Solución b)

𝑚 𝑛 ~𝑚 ↔ ~𝑛 → (𝑚 ∨ ~𝑛)
𝑝 𝑝 ↔ ~𝑝 → ~ ~(𝑝 ∨ ~𝑝) ∧ (~𝑝 → ~𝑝)
V V V V V
V
V F F V V
F
F V F V F
F F V V V

FUNDAMENTOS DE MATEMÁTICA
Tautología
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

c) (𝑝 → ~𝑞) ↔ (~𝑞 ∨ ~𝑝) → 𝑟

Solución c)
𝑝 𝑞 𝑟 𝑝 → ~𝑞 ↔ ~𝑞 ∨ ~𝑝 → 𝑟

V V V F F F V V
V V F F F F V F
V F V V V V V V
V F F V F V F F
F V V V V V V V
F V F V F V F F
F F V V V V V V
F F F V F V F F

Contingencia
FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

(Sondeo) La proposición compuesta representada por la fórmula lógica 𝒑 → ~𝒒 → ~𝒓 es falsa.


Determine respectivamente los valores de verdad de las variables proposicionales 𝑝, 𝑞 y 𝑟.

Marque la alternativa correcta.

A. FFV
B. FVF
C. VFV
D. FFF

Respuesta: C

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

4. A las proposiciones compuestas representadas por las fórmulas lógicas 𝒑 → ~𝒒 → ~𝒓 y por


𝒓 ↔ ~𝒔 se les asignan los valores de verdad Falso y Verdadero respectivamente. Determine el valor
de verdad que le corresponde a cada una de las proposiciones compuestas representadas por las
fórmulas:
a) ~𝑝 ∨ ~𝑞 → 𝑠 → ~(𝑝 ∧ 𝑞) b) ~(𝑝 ∨ 𝑠) ∨ ~𝑞 ∧ 𝑠 ↔ 𝑟
Solución
F V
𝑝 → ~𝑞 → ~𝑟 𝒓 ↔ ~𝒔

𝑝: V, ~𝑞 → ~𝑟 : F Como 𝑟: V

Luego, 𝑞: F y 𝑟: V Entonces 𝑠: F

Reemplazando 𝑝: V, 𝑞: F, 𝑟: V y 𝑠: F en cada fórmula, se determina que:

a) ~𝑝 ∨ ~𝑞 → 𝑠 → ~ 𝑝 ∧ 𝑞 : 𝐕 b) ~ 𝑝 ∨ 𝑠 ∨ ~𝑞 ∧ 𝑠 ↔ 𝑟 : 𝐅

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

5. En la siguiente tabla, determine los valores de verdad correspondientes a las proposiciones simples
representadas por variables proposicionales. Luego, escriba en los recuadros en blanco V o F según
corresponda:

V V V

Solución V V
𝑚: V
𝑚 ∧ ~𝑛 ↔ V…(1) De (1): 𝑚 ∧ ~𝑛 ቊ
La tabla muestra 3 relaciones o datos (V, V y F) 𝑛: F
Sin tener en cuenta dichas relaciones, se deduce que: V V
𝑚 ↔ 𝑞 ↔ V…(2) En (2) 𝑚 ↔ 𝑞 ⟹ 𝑞: V
~ 𝑟 ∨ ~𝑟 : F ~ 𝑝 ∧ ~𝑝 : V
F F
~𝑚 → ~𝑚: V 𝑟 → 𝑟: V ~𝑝 ↔ 𝑞 ↔ V…(3) En (3) ~𝑝 ↔ 𝑞 ⟹ 𝑝: V
FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

V V V
F
V
F
V

V V V Finalmente completamos la tabla


V V V
F F F F
F V V V V
F F F F F
Reemplazamos: 𝑚: V, 𝑛: F, 𝑞: V y 𝑝: V V V V V

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

EJERCICIOS PROPUESTOS

1. Las siguientes fórmulas lógicas (𝑚 → 𝑞) ∧ (𝑟 ∧ ~𝑞) y [ ~𝑝 ↔ 𝑠 → 𝑛 ∨ ~𝑠 ] representan


proposiciones compuestas cuyos valores de verdad son verdadero y falso respectivamente.

a) Determine los valores de verdad que les corresponden a cada una de las proposiciones
simples representadas por las variables proposicionales, 𝑚, 𝑛, 𝑝, 𝑞, 𝑟 y 𝑠.
b) Halle el valor de verdad que les corresponde a las proposiciones compuestas representadas
por las fórmulas:
𝑖. 𝑚 → ~𝑟 ↔ [𝑝 ∧ 𝑞 ∨ ~𝑛 ]
𝑖𝑖. (𝑝 ∨ 𝑠) → (𝑞 ↔ ~𝑚)

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

2. Se tienen las siguientes fórmulas lógicas:


𝐴: ~𝑞 ∧ 𝑟 → 𝑝 ∨ 𝑟 , 𝐵: ~𝑝 ↔ 𝑟 → 𝑞 y 𝐶: (𝑝 → ~𝑞) ∧ 𝑟
Utilice la tabla de verdad, y determine si las fórmulas dadas son una tautología, una
contradicción o una contingencia.

Respuestas

1a) 𝑟: V, 𝑞: F, 𝑚: F, 𝑛: F, 𝑠: V, 𝑝: F. 2) 𝐴: Tautología (VVVVVVVV)

1b) 𝑚 → ~𝑟 ↔ [𝑝 ∧ 𝑞 ∨ ~𝑛 ] ∶ V ↔ F ≡ F 𝐵: Contingencia (FFVFVVFV)

(𝑝 ∨ 𝑠) → (𝑞 ↔ ~𝑚) : V→F≡F 𝐶: Contingencia (FFVFVFVF)

FUNDAMENTOS DE MATEMÁTICA
PROGRAMA DE ESTUDIOS GENERALES
ÁREA DE CIENCIAS

Muchas gracias

FUNDAMENTOS DE MATEMÁTICA

También podría gustarte