BIENVENIDO AL CURSO

MATEMÁTICA
MATEMÁTICA

Logro de la semana

1. Discrimina un enunciado de una proposición a través

del análisis de los casos presentados.
2. Identifica y clasifica los tipos de proposiciones.
3. Simboliza las proposiciones compuestas aplicando
conectivos y las jerarquiza.
4. Determina el valor de verdad de proposiciones
compuestas usando tablas de verdad.

03
MATEMÁTICA

Introducción

Cuando la mayoría de la gente dice "lógica", la utiliza como

sinónimo de sentido común, buen sentido, razón o actitud
racional.
En términos sencillo, la lógica es el estudio de los métodos y
los principios indispensables para distinguir el
razonamiento correcto del razonamiento incorrecto.
La lógica proposicional trata con fórmulas que se
construyen a partir de proposiciones, que son oraciones
verdaderas o falsas.
Para los estudiantes relacionados con áreas de la
computación es vital ya que el uso de un razonamiento
ordenado puede ser de gran utilidad para comprender
aspectos de la vida académico, profesional y cotidiano que
generan datos que luego pueden ser estudiados,
clasificados y analizados.

03
Índice

Tema 1 Lógica proposicional

Tema 2 Conectivos lógicos

SEMANA

1
Tema 3 Tablas de verdad

02
MATEMÁTICA

LÓGICA PROPOSICIONAL

03
MATEMÁTICA

CONCEPTO DE ENUNCIADO

Se denomina enunciado a toda frase u oración. ENUNCIADO ABIERTO

Ejemplos:
Es todo enunciado que depende de algo o
¿Qué estudias en la Universidad? alguien (variable) para que el enunciado sea
! viva el Perú! verdadero o falso. Ejemplos:
Lima es la capital del Perú (verdadero)
2𝑥 + 1 = 8
• 2𝑥 + 1 = 8
Deténgase
• Ella es estudiante de la facultad de ingeniería.
Buenos días
Ella es estudiante de la facultad de ingeniería.
3 + 7 > 11 (falso)

03
MATEMÁTICA

CONCEPTO DE PROPOSICIÓN

Se llama proposición a toda expresión lingüística susceptible de ser calificada de verdadera o

falsa, pero nunca verdadera y falsa simultáneamente.
Generalmente se simboliza con las últimas letras del alfabeto en minúscula. Ejemplo:

𝑝: elestudiante
𝑝: Soy pentágono detiene seisde
ciencia lados.
datos.
𝑞: Un
𝑞: Un programa
programa de de computadora
computadora es un
es un conjunto
conjunto de de instrucciones
instrucciones dadas
dadas al ordenador.
al ordenador.
𝑟: Las
𝑟: Las instrucciones
instrucciones para
para ensamblar
ensamblar unauna bicicleta
bicicleta es un
es un algoritmo.
algoritmo.

Son enunciados Son proposiciones

• Los hechos de personajes literarios. • Las fórmulas y/o esquemas lógicos.

• Proverbios, modismos y refranes
• Interrogaciones, órdenes e interjecciones.
• Las creencias religiosas, supersticiones y
mitos.
• Los enunciados abiertos o indefinidos.
• Los deseos, dudas, saludos, exclamaciones
y las súplicas.
03
• Los enunciados cerrados o definidos.
• Las oraciones aseverativas
• Las leyes científicas.
• Las formulas matemáticas.
• Las Hipótesis científicas.
MATEMÁTICA

Actividad de aprendizaje

Determine cuáles de las siguientes oraciones son proposiciones o enunciados. Para las
proposiciones, determine su valor de verdad.

a) 2022 fue un año bisiesto. Es falso, es una proposición.

b) No veas la solución antes de proponer un algoritmo. Enunciado.
c) Se prohíbe ingresar alimentos y bebidas a los conciertos. Enunciado.
d) El ratón y el teclado son aparatos que permiten ingresar información al sistema informático. Es verdadero, proposición.
e) Ejecuta el programa. Enunciado.
f) 𝑥 + 4 es un numero entero. Enunciado abierto
g) Durante el año 2023, el valor de la Unidad Impositiva Tributaria (UIT) como índice de referencia en
normas tributarias será de Cuatro Mil Novecientos Cincuenta Soles (S/ 4 950). Es verdadero, proposición.
h) La igualdad 3𝑥 2 + 2 = −25, es cierta si 𝑥 = −3 Es falso, entonces es una proposición.
i) «Todo en todas partes al mismo tiempo» ganó el Óscar a la mejor película en 2023. Es verdadero, proposición.
j) Él es músico. Enunciado abierto
k) Hoy es jueves Falso, proposición.
l) Pedro es ingeniero Ambiental. proposición.

03
MATEMÁTICA

Enunciados vs Proposición

A continuación le mostramos ejemplos de enunciados y proposiciones:

Enunciado: Proposición

▪ ¿Por qué elegir la carrera de ciencia de ▪ 23 + 42 > 24.

datos?
▪ La Estadística se encarga de la recolección,
▪ No ejecute el programa. análisis, interpretación, presentación y
organización de datos.
▪ Formuló una pregunta difícil de responder.
▪ Python es un lenguaje de programación.
▪ Para mí, bello amigo, nunca podrás ser viejo .
▪ Los ingenieros de datos organizan y
▪ ¡La ciencia de datos es una habilidad laboral estructuran los datos en bruto.
del siglo XXI!
▪ El valor de un auto se deprecia 10% por año.

03
MATEMÁTICA

CONECTIVOS LÓGICOS

03
MATEMÁTICA

Los conectivos lógicos

Los conectivos lógicos son símbolos usados para combinar proposiciones, con lo que se producen otras,
llamadas composiciones compuestas. Los conectivos lógicos tambien reciben el nombre de operadores

Los conectivos usados son:

~ negación, ˄ 𝑐𝑜𝑛𝑗𝑢𝑛𝑐𝑖𝑜𝑛 , ˅ disyunción inclusiva, ∆ disyunción exclusiva, → condicional, ↔ bicondicional

03
MATEMÁTICA

Proposición simple o atómica: es aquella Proposición compuesta o molecular: es

proposición que no puede descomponerse en aquella proposición formada por una o varias
partes que sean a su vez proposiciones. proposiciones atómicas enlazadas por
conectores.

▪ Cusco es la capital histórica de Perú. ▪ La lógica y la matemática son ciencias

formales.
▪ Python es un lenguaje de programación.
▪ Un número es múltiplo de cinco si y sólo si
▪ Emprendimiento es uno de los cuatro pilares su última cifra es cero o cinco.
institucionales de USIL.

▪ R es un lenguaje de programación diseñado ▪ Si dos ángulos adyacentes suman 180°,

para el análisis estadístico. entonces son suplementarios.

03
MATEMÁTICA

Los conectivos lógicos

La Negación

Dada una proposición, podemos obtener su

negación o refutación con ayuda del adverbio de
negación “no”.

Su representación simbólica es ~𝒑 y se lee “no 𝒑”.

Por ejemplo.

𝑝: todo hombre es honesto

~𝑝 ∶ No todo hombre es honesto
~𝑝 ∶ No es cierto que todo hombre es honesto
~𝑝 ∶ Hay hombres que no son honestos
~𝑝 ∶ Existen hombres deshonestos

Ejemplos:
• Nunca he programado en R.
• Jamás he duplicado un algoritmo.
• Es imposible que con minería de datos busques un patrón.

03
 MATEMÁTICA

Los conectivos lógicos

La Conjunción
La conjunción es la proposición compuesta que resulta de
conectar dos proposiciones 𝑝 y 𝑞 mediante la conjunción (∧).

Se escribe 𝑝 ∧ 𝑞 se lee “p y q”.

Ejemplo:

𝑝 ∶ Hace calor
𝑞 ∶ Debo interpretar los patrones encontrados

La conjunción de ambas proposiciones es la proposición:

𝑝 ∧ 𝑞 ∶ Hace calor y debo interpretar los patrones encontrados.

Ejemplos:
• El número cinco es impar, pero el número ocho es par.
• El programa corre, sin embargo toma mucho tiempo.
• Tanto Python como R son lenguajes de programación.

03
MATEMÁTICA

Los conectivos lógicos

La Disyunción débil o inclusiva

La disyunción inclusiva es la proposición compuesta que
resulta de conectar dos proposiciones p y q mediante la
disyunción inclusiva (∨).

Se escribe 𝑝 ∨ 𝑞 se lee “p o q”.

Ejemplo:

𝑝 ∶ Juan estudió portugués en el instituto de idiomas.

𝑞 ∶ Juan vivió en Brasil.

La disyunción débil de ambas proposiciones es la proposición:

𝑝 ∨ 𝑞 ∶ Juan estudió portugués en el instituto de idiomas o Ejemplo:

vivió en Brasil • Bien la programación es uno de los pilares de la
ciencia de la computación bien la memoria
externa de una computadora es un periférico.

03
MATEMÁTICA

Los conectivos lógicos

La Disyunción fuerte o exclusiva

La disyunción exclusiva es la proposición compuesta que

resulta de conectar dos proposiciones 𝑝 y 𝑞 mediante la
disyuntiva exclusiva (△).

Se escribe 𝑝 △ 𝑞 se lee “o p o q”
Ejemplo:

𝑝 ∶ Una impresora es un dispositivo de salida de una

computadora.
𝑞 ∶ Una impresora es un dispositivo de entrada de una
computadora. Ejemplo:
• No es equivalente una palabra de 8 bits con
La disyunción fuerte de ambas proposiciones es la otra de 2 bytes.
proposición:
𝑝 △ 𝑞 ∶ O una impresora es un dispositivo de salida o de
entrada de una computadora.

03
MATEMÁTICA

Los conectivos lógicos

La Condicional
Resulta de la combinación de dos proposiciones
simples, a través del conectivo “Si …, entonces …”.
Su símbolo es ⇒ que se coloca entre las
proposiciones.

𝑝 ⇒ 𝑞 se lee “Si p entonces q”.

Ejemplo:
𝑝 ∶ 3+5=8
𝑞 ∶ La universidad es bonita.
La condicional de ambas proposiciones es la
proposición:
𝑝 ⇒ 𝑞: Si 3+5=8, entonces la universidad es
bonita.

03
MATEMÁTICA

Los conectivos lógicos

La Bicondicional Ejemplo:

La bicondicional es la proposición compuesta que • Un entidad del sector bancario reducirá costos
resulta de conectar dos proposiciones p y q mediante cuando y solo cuando se identifiquen clientes
la bicondicional (⇔). leales.

𝑝 ⇔ 𝑞 se lee “p si y solo si q”.

Ejemplo:
𝑝 ∶ José aprueba todos los cursos de la malla curricular.
𝑞 ∶ José se graduará.
La bicondicional de ambas proposiciones es la
proposición:
𝑝 ⇔ 𝑞: Si José aprueba todos los cursos de la malla
curricular, entonces y solo entonces se graduará.

03
MATEMÁTICA

Los conectivos lógicos

La Bicondicional
Establece una relación de doble dependencia entre las proposiciones por lo mismo ellas deben poder
conmutarse. Se vinculan mediante la conjunción compuesta "si y solo si”
Su símbolo es ⇔ que se coloca entre las proposiciones.
𝑝 ⇔ 𝑞 se lee “p si y solo si q”.
Ejemplo:
𝑝 ∶ José aprueba todos los cursos de la malla curricular.
𝑞 ∶ José se graduará.
La bicondicional de ambas proposiciones es la proposición:
𝑝 ⇔ 𝑞: Si José aprueba todos los cursos de la malla curricular, entonces y solo entonces se graduará.

Expresiones equivalentes: es necesario y suficiente para; cuando y solo cuando; entonces y sólo
entonces; es una condición necesaria y suficiente, etc.
Ejemplos:
• 1.024 bytes es necesario y suficiente para que se tenga 1 Kilobyte.
• Ocho bits es una condición necesaria y suficiente para codificar una letra u otro símbolo del teclado.
• Un entidad del sector bancario reducirá costos cuando y solo cuando se identifiquen clientes leales.

03
MATEMÁTICA

TABLAS DE VERDAD

03
MATEMÁTICA

TABLAS DE VERDAD

Una tabla de verdad es una representación tabular del valor de una fórmula en todas las posibles
interpretaciones.
Una tabla de verdad muestra el valor de verdad de una proposición compuesta.
Existe una tabla de verdad para cada uno de los conectivos lógicos, las cuales se presentan a continuación.

01 02 03

Negación (~) Disyunción débil Disyunción fuerte

𝒑 𝒒 𝒑∨𝒒 𝒑 𝒒 𝒑△𝒒
𝒑 ~𝒑
V V V V V F
V F
V F V V F V
F V
F V V F V V
F F F F F F

03
MATEMÁTICA

TABLAS DE VERDAD

04 05 06

Conjunción Condicional Bicondicional

𝒑 𝒒 𝒑∧𝒒 𝒑 𝒒 𝒑⇒𝒒 𝒑 𝒒 𝒑⇔𝒒

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

03
MATEMÁTICA

TABLAS DE VERDAD DE PROPOSICIONES COMPUESTAS

𝟐𝟑 = 𝟖 filas

𝟐𝟐 = 𝟒 filas 𝒑 𝒒 𝒓 …

Para calcular el número de 𝒑 𝒒 … V V V …

renglones o filas de la tabla es igual a V V F …
2𝑛 , donde 𝑛 es el número de V V …
proposiciones simples.
V F V
V F …
V F F
F V …
F V V …
F F …
F V F
F F V …

Así, por ejemplo: F F F

La tabla de verdad de la proposición 𝑝 ⇒ 𝑞 ⟺ ~𝑝 ∨ 𝑞 tendrá 22 = 4 filas.
La tabla de verdad de la proposición ~𝑞 ∨ 𝑟 ⇒ 𝑝 ∧ ~𝑟 ⇔ 𝑞 tendrá 23 = 8 filas.
La tabla de verdad de la proposición 𝑟 △ ~𝑡 ∧ 𝑞 ⇒ 𝑝 ∨ ~𝑝 ⇔ 𝑡 tendrá 24 = 16 filas.

03
MATEMÁTICA

REFERENCIAS

o Del Callejo-Canal, D.; Del Callejo-Canal, E. y Canal-Martínez, M.

(2016). Lógica: El pensamiento matemático. Universidad
Veracruzana.
https://www.uv.mx/personal/mcanal/files/2018/06/LIBROLOGICAFIN
ALcompleto2016.pdf

o Joyanes Aguilar, L. (2020). Fundamentos de programación:

Algoritmos, estructura de datos y objetos. McGraw-
Hill/interamericana de España, S. A. U.

o García Muñoz, M. (2017). Matemática discreta para la computación :

nociones teóricas y problemas resueltos. Universidad de Jaén.

o Sosa Escudero, W. (2019) Big data : breve manual para conocer la

ciencia de datos que ya invadió nuestras vidas. Siglo XXI Editores.
https://ebookcentral.usil.elogim.com/lib/bibliosil-ebooks

06
¡GRACIAS!