CEPRE – USAT 2023

MATEMÁTICA II
UNIDAD I:
TEMA: LÓGICA PROPOSICIONAL

NOCIÓN DE LOGICA
La lógica como conocimiento aparece de manera orgánica y sistemática, en los
escritos de Aristóteles, de ahí que se le considera como el padre de la lógica.

El objetivo principal de la lógica es el análisis formal de los razonamientos que

consiste en determinar la validez o invalidez de las inferencias, mediante el empleo
de métodos o procedimientos que consisten en la aplicación de definiciones y leyes
o reglas lógicas.

La lógica es una ciencia formal que estudia la validez de los razonamientos o

inferencias lógicas.

INFERENCIA
La inferencia es un proceso que consiste en obtener una conclusión a partir de un
conjunto de premisas.

Ejemplos:
a. Todos los hombres son mortales.
José es hombre.
Luego José es mortal.

b. Si la suma de cifras de un número es un múltiplo de 9 entonces es divisible

por 9.
4752 es un número cuya suma de cifras es un múltiplo de 9.
Por lo tanto, 4752 es divisible por 9.

Las expresiones que componen el conjunto de premisas y la conclusión se

llaman proposiciones, entonces podemos decir que la inferencia es una
estructura de proposiciones que consiste en pasar de un conjunto de
proposiciones llamadas premisas a otra proposición que es la conclusión.

IMPORTANCIA DE LA LÓGICA

- Permite en base al conocimiento ya obtenido y validado, deducir nuevos

conocimientos.

- En base a razonamientos inductivos (de lo particular a lo general), podemos

plantear hipótesis o predicciones científicas; sin experimentación.

- Permite la formalización del lenguaje científico para la posterior demostración

de validez, tornándose preciso, exacto, convencional y universal.

- Es la base y hasta el momento la fundamentación de las matemáticas.

ECUACIONES
 CEPRE – USAT 2023

LÓGICA PROPOSICIONAL

La lógica proposicional a través de una representación primitiva del lenguaje; permite

representar y manipular aserciones sobre el mundo que nos rodea.
La lógica proposicional evalúa enunciados simples y luego enunciados complejos,
formados mediante el uso de conectivos proposicionales.

ENUNCIADO. - Es toda frase, oración o expresión algebraica utilizada en el lenguaje

común, es decir, es la expresión de una o varias ideas.

ENUNCIADO CERRADO O PROPOSICION

Las proposiciones son expresiones del lenguaje de las que tiene sentido decir que
son verdaderas o falsas.

Ejemplos
1. J. M. Arguedas escribió la novela El Sexto.
2. La distancia más corta entre dos puntos es la línea recta.
3. La tierra gira alrededor del sol.
4. La vigésima cifra decima de pi es 4
5. Todo número par es múltiplo de 2.

ENUNCIADO ABIERTO O FUNCIÓN PROPOSICIONAL.-

Se les llama también cuasi proposiciones. Son aquellos enunciados que tienen
una o más variables y son expresados en símbolos matemáticos o palabras,
de modo que, al asignarle un valor(o nombre) a dicha variable, este enunciado
se convierte en proposición lógica.

Enunciados que no son proposiciones:

Exclamativas (Sentimientos, interjecciones)

Ejm.: ¡Viva el Perú! ¡Bravo!

Imperativas (Órdenes)
Ejm.: ¡Silencio! ¡No detenerse!
¡Peligro!

Desiderativas (Deseos, súplicas)

Ejm.: Quiero viajar al Cuzco
Ojalá llueva mañana
Espero te encuentres bien de salud

Interrogativas (Preguntas)
Ejm.: ¿Qué hora es? ¿Cómo estás?
¿hoy es martes? ¿Está lloviendo por tu casa?

ECUACIONES
 CEPRE – USAT 2023

EJERCICIOS
1. De las siguientes expresiones:
(1) Todos los hombres son mortales
(2) ¡Viva el Perú!
(3) Hay mujeres en la tierra
(4) Los alumnos de historia hicieron la tarea
(5) Entrégame mi libro de lógica.
No son proposiciones:
a) 2, 3 y 5 b) 2 y 5 c) 2, 4 y 5 d) 1 Y 3 e) T.A.

2. De las siguientes expresiones:

(1) Solo sé que nada sé
(2) El calor dilata los cuerpos
(3) 𝑥 + 𝑦 = 𝑦 + 𝑥
(4) Vargas Llosa es el mejor escritor del Perú
(5) Café es una palabra aguda.
No son proposiciones:
a) 1, 3 y 4 b) 1, 3 y 5 c) 3, 4 y 5 d) 1 y 3 e) 1, 4

3. De las siguientes expresiones:

(1) Los cuerpos caen por acción de la gravedad.
(2) La materia es energía concentrada
(3) 2𝑥 + 10 = 25
(4) H2O es la fórmula del agua
(5) The sun is the center of our planetary system
Son proposiciones:
a) 1, 2, 4 y 5 b) 1, 2 , 3 y 4 c) 1,2 y 5 d) 1,2 y 3

ECUACIONES
 CEPRE – USAT 2023

OPERADORES O CONECTIVOS LÓGICOS

Las proposiciones simples, carecen de conjunciones gramaticales o conectivos

como y . o, si ...entonces, si y solo si o negación, se pueden denotar por medio de
letras minúsculas, generalmente, a partir de: p, r, s....
p: Luis es médico
q: Arturo es ingeniero civil
r: La luna es un satélite de la tierra
s: Mañana es jueves

también pueden ser proposiciones simples relacionales como:

p: Juana es más alta que Mario
q: José y Ana van juntos a la Universidad
r: La provincia de Chiclayo es más grande que Lambayeque
s: Narciso y Beto son hermanos

Las proposiciones compuestas son proposiciones que tienen conjunciones

gramaticales o conectivos como y . o, si ...entonces, si y solo si o negación, y se usan
las letras mayúsculas, generalmente, a partir de: A, B, C, para representarlas.
A: José y Ana estudian en la Universidad
p: José estudia en la Universidad
q: Ana estudia en la Universidad

B: Si x > 2 entonces 𝑥 2 > 4

p: x > 2
q: 𝑥 2 > 4

Operadores o Conectivos Lógicos:

y: pyq o: poq Si p entonces q p si y solo si q Opoq no p

∧: 𝒑 ∧ 𝒒 ∨: 𝒑 ∨ 𝒒 𝒑→𝒒 𝒑↔𝒒 𝒑△𝒒 ~𝒑
Conjunción Disyunción Condicional bicondicional Disyunción Negación
débil fuerte
“p pero q” “p a menos que “con tal de que p “p se define como “p no equivale “no p”, “nunca p”,
“p aunque q” q” es obvio que q” q” a q” “es absurdo que p”
“p sin embargo “p salvo que q” “siempre que p “p es lo mismo ya sea p ya sea “es falso que p”
q” “p excepto que por consiguiente que q” q” “es inconcebible
“p incluso q” q” q” “p es idéntico a o bien p ó bien que p
“p así como q” “p ó en tal “dado p por eso q” q” q” “es imposible que
“p al igual que sentido q” “de p deviene q” “p es condición “p excluye a p”
q” “p no necesaria y q” “no es verdad que
obstante q” suficiente para q” p es diferente p”
a q” “es mentira que p”

ECUACIONES
 CEPRE – USAT 2023

Asimismo, la fórmula, en lenguaje lógico, p —> q no sólo sirve para expresar

proposiciones de la forma ”'Si p, entonces q”, sino también proposiciones frecuentes
en español de las formas:
ANTECEDENTE CONSECUENTE
p solamente si q : p —> q

q si p : p —> q

q porque p : p —> q

q siempre que p : p —> q

Simbolización de proposiciones:
1. Estudia Ingeniería Civil o Arquitectura, pero no ambas a la vez.

p: Estudia Ingeniería Civil

q: Estudia Arquitectura

Simbolización: (p  q)  ~ (p  q)

2. O bien los animales son vertebrados o bien invertebrados, pero no es el caso

que sean invertebrados a la vez vertebrados.

p: los animales son vertebrados

p: los animales son invertebrados
Simbolización: (p  p)   (p  p)

3. Un enunciado abierto no es una proposición a menos que se le asignen valores

a la variable

Simbolización:

4. Si llueve entonces no voy al cine, sin embargo, voy al cine.

Por tanto, no llovió.

Simbolización

ECUACIONES
 CEPRE – USAT 2023

Formalizar o simbolizar las siguientes proposiciones:

1. No es cierto que, 19 sea divisible por 9 ó por 19.

2. Einstein dice la verdad pues la teoría de la relatividad no es exacta ni las leyes

de la mecánica son absolutas.

3. En primavera soplan vientos fuertes o hace mucho frío, pero no garúa,

sin embargo, es una bonita estación.

4. Las leyes de la mecánica son exactas, si Newton dice la verdad, si y sólo sí, el
movimiento no es relativo.

5. 24 es un número par, o múltiplo de 6 y de 2, pero no es divisible entre 10 ni entre

14.

6. Carlos es profesional sí y sólo sí, es graduado universitario. Ocurre que Carlos es

matemático. Por lo tanto, si Carlos es matemático entonces es graduado
universitario.

ECUACIONES
 CEPRE – USAT 2023

TABLAS DE VERDAD

ECUACIONES