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
