Semana 1

ESTUDIOS GENERALES- AREA DE CIENCIAS- FACULTAD DE CIENCIAS MATEMATICAS
ESTUDIOS GENERALES
ÁREA DE CIENCIAS BÁSICAS
FACULTAD DE CIENCIAS MATEMATICAS
MATEMÁTICA BÁSICA
SEMANA 01: LÓGICA PROPOSICIONAL
2023-2
Contenido:
Proposiciones lógicas
Conectivos lógicos
Equivalencias lógicas
Reglas de inferencia
Funciones proposicionales
Cuantificadores
Métodos de demostración
Criterios/capacidades
Construye y establece la verdad de las
proposiciones a partir de las leyes de
equivalencia y las reglas de inferencia.
Muestra interés en conocer conceptos y
manejarlos con propiedad.
Trabaja en equipo en la construcción de
diversas proposiciones.
Problema
Germán, Joel, Juan y Michael son acusados de cometer un delito, por lo
cual son sometidos a un interrogatorio y en el acta policial se consigna las
siguientes manifestaciones.
Germán: “Fue Michael”

Joel: “Michael miente”
Juan: “Yo no fui, soy inocente”.
Michael: “El delito lo cometió Joel”.
Si se conoce que solo uno de los acusados miente.

¿Quién cometió el delito?
Enunciado
Un enunciado es una expresión verbal o escrita, frase u oración, alfabética y/o
numérica, 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:
a) La selección peruana clasificará al próximo mundial. (Afirma algo)
b) No es cierto que 2 + 4 ≠ 7. (Niega algo)
c) ¿Se puede utilizar teléfono celular en un avión? (Formula pregunta)
d) Es probable que esté en la casa de su novia. (Indica duda)
e) ¡Silencio! (Prohibición, mandato o recomendación)
f) ¡Qué te vaya bien en el examen! (Expresa deseo)
g) Deberías esforzarte para aprobar la asignatura. (Expresa opinión)
h) Buenos días profesor. (Saludo)
i) ¡Qué sucedió! (Admiración o sorpresa)
j) La mejor guerra de todas es la que nunca se tiene. (Emite juicio de valor)
Proposición (lógica)
Una proposición es un enunciado con significado o interpretación susceptible de ser
calificado como verdadero (V) o falso (F), denominado valor de verdad, está
calificación debe estar libre de ambigüedad.
Ejemplo:
a) Dos más dos es cuatro. (V)
b) El cuadrilátero es un polígono de cuatro lados. (V)
c) Lima es la capital de Argentina. (F)
d) Las vocales son cinco. (V)
e) La Universidad Nacional Mayor de San Marcos fue fundada en 1551. (V)
Las proposiciones lógicas son denotadas por las letras minúsculas 𝑝, 𝑞, 𝑟, etc.; y
conociendo el valor de verdad 𝑝 de se denota como 𝑝 ≡ 𝑉 o 𝑝 ≡ 𝐹 según sea el
caso.
Ejemplo:
𝑝: Lima es la capital del Perú, 𝑞: 2 es un número entero
Que tienen valor de verdad:
𝑝: 𝑉 y 𝑞: 𝐹.
Conectivos o conectores lógicos

Los conectivos lógicos son palabras que permiten juntar o afectar proposiciones,
con el fin de crear proposiciones con mayor grado de complejidad.
Tipos de conectivos lógicos
Nombre Conectivos lógicos
Y, “,”, no obstante, además, pero, sin embargo, aunque, a la vez, también,

Conjunción
incluso, tanto … como, ni, tal como, a pesar, aun cuando, ni … ni, sino, …
Disyunción O, o también, o incluso, bien, ya, entre, sea que, ya sea, …
Si, si … entonces, entonces, es obvio que, implica, por lo tanto, luego, ya
Condicional que … entonces, en consecuencia, puesto que, puesto que … entonces,
porque, solo así, cuando, siempre que, dado que, solo si, …
Bicondiciona
Si y solo si, siempre y cuando, es equivalente, es lo mismo que, …
l
No, es falso que, no es cierto que, es absurdo que, es mentira que, no es
Negación
verdad que, tampoco, …
Clasificación: Proposiciones simples

Una proposición es simple cuando no presenta conectivo lógico. Esto es,
no es posible dividir o extraer una proposición diferente.
Ejemplos:
1. Hoy es lunes.
2. El curso de matemática básica tiene 5 créditos.
3. El conjunto −1,0,1 es unitario.
4. 𝑥 > −1
5. El icosaedro tiene 20 lados.
6. Menos cinco es menor que siete
7. 𝑥 ∈ ⟨3, ∞⟩
Clasificación: Proposiciones compuestas

Una proposición es compuesta cuando está constituido por una o más
proposición simples que están unidos o afectados conectivos lógicos.
Ejemplos:
1. Lima es la capital del Perú y París es la capital de Alemania.
2. Si estudio entonces aprobaré el curso.
3. El conjunto −1,0,1 no es unitario.
4. −1 ≠ 4.
5. 𝑥 ∉ 𝐴.
6. 𝑦 ≤ 6.
7. 𝑥 ∈ 5,6 .
Ejercicio:
¿Cuáles enunciados son proposiciones simples o compuestas?
En caso sea proposición compuesta, ¿qué conectivos lógicos usa?
a) El 2 es par, pero el 3 es impar. Comp., conjunción
b) Luis y Silvia son hermanos. No proposición
c) Daniel y Antonio son contemporáneos. Simple
d) Ana y José obsequiaron un regalo a su hija. Comp., conjunción
e) 210 ≥ 102 Comp., disyunción
f) Valentín no es bueno. No proposición
g) Aprobaré debido que estudié. Comp., condicional
h) No dejes para mañana lo que puedes hacer hoy. No proposición
Operadores lógicos
Un operador lógico es un símbolo que se utiliza para afectar a una
proposición 𝑝 o conectar dos proposiciones 𝑝 y 𝑞 , con el fin de
representar simbólicamente una proposición compuesta por dos
proposiciones. Usaremos cinco operadores lógicos asociados a cada tipo
de conectivo lógico.
Escriba simbólicamente la proposición siguiente:

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
fallecidos y heridos por accidentes vehiculares va en aumento, entonces
el costo del SOAT 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 fallecidos por accidentes vehiculares va en aumento.
𝑠∶ El número de heridos por accidentes vehiculares va en aumento.
𝑡∶ El costo del SOAT se incrementará.
Luego, la proposición se simboliza como: 𝑝 ∨∼ 𝑞 ∧ 𝑟 ∧ 𝑠 → 𝑡
Tablas de verdad
Es una tabla de doble entrada que muestra el valor de verdad de una proposición
compuesta para cada combinación de verdad que se puede asignar a las
proposiciones que componen dicha proposición compuesta.
La tabla de verdad de los conectivos usuales se presentan a continuación:
Hallar la tabla de verdad de 𝒑 ∧∼ 𝒒 → ∼ 𝒑 ↔ ∼ 𝒓
𝑝 𝑞 𝑟 𝑝 ∧ ∼𝑞 → ∼𝑝 ↔ ∼𝑟
𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝑉 𝐹 𝐹 𝐹
𝑉 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉
𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝑉 𝐹
𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉
𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹
𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹
𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉
Proposiciones según su tabla de verdad

Una proposición compuesta se clasifica como:
a) Tautología: Cuando el resultado de su tabla de verdad es verdadera para todos los posibles casos.
b) Contradicción: Cuando el resultado de su tabla de verdad es falsa para todos los posibles casos.
c) Contingencia: Cuando el resultado de su tabla de verdad es verdadera y falsa para ciertos casos.
Ejemplos:
Tautología Contradicción Contingencia
Equivalencia lógica
Decimos que dos proposiciones 𝑝 y 𝑞 son equivalentes cuando la tabla de verdad de
𝑝 ↔ 𝑞 es una tautología. Se denota como 𝑝 ≡ 𝑞.
Ejemplo: Probar que 𝒑 ∧ 𝒒 ∧ 𝒓 ≡ 𝒑 ∧ (𝒒 ∧ 𝒓)
La tabla de verdad
es una tautología
Equivalencia lógicas notables o leyes lógicas

Leyes de identidad Leyes de asociación
𝑝∧𝑉 ≡𝑝 𝑝 ∧ 𝑞 ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)
𝑝∨𝐹 ≡𝑝 𝑝∨𝑞 ∨𝑟 ≡𝑝∨ 𝑞∨𝑟
Leyes de dominación
Leyes de distribución
𝑝∧𝐹 ≡𝐹
𝑝∧ 𝑞∨𝑟 ≡ 𝑝∧𝑞 ∨ 𝑝∧𝑟
𝑝∨𝑉 ≡𝑉
𝑝∨ 𝑞∧𝑟 ≡ 𝑝∨𝑞 ∧ 𝑝∨𝑟
Leyes de idempotencia
𝑝∧𝑝 ≡𝑝 Leyes conmutativas
Absorción
𝑝∨𝑝 ≡𝑝 p∧ 𝑞 ∨ 𝑝 ≡ 𝑝 𝑝∧𝑞 ≡𝑞∧𝑝
p∧ 𝑞 ∨∼ 𝑝 ≡ 𝑝∨𝑞 ≡𝑞∨𝑝
Doble negación p ∧q
𝑝↔𝑞≡𝑞↔𝑝
∼ ∼𝑝 ≡𝑝
Leyes de De Morgan
∼ 𝑝 ∧ 𝑞 ≡∼ 𝑝 ∨∼ 𝑞 Tercio excluido
∼ 𝑝 ∨ 𝑞 ≡∼ 𝑝 ∧∼ 𝑞 𝑝 ∨∼ 𝑝 ≡ 𝑉
Contradicción
Ley de la condicional 𝑝 ∧∼ 𝑝 ≡ 𝐹
𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞
Ley de la bicondicional
Ley del contrarrecíproco
𝑝↔𝑞≡ 𝑝→𝑞 ∧ 𝑞→𝑝 𝑝→𝑞≡ ∼𝑞 → ∼𝑝
Negación de la bicondicional Reducción al absurdo
∼ 𝑝↔𝑞 ≡ ∼𝑝 ↔𝑞 𝑝 → 𝑞 ≡ 𝑝 ∧∼ 𝑞 → 𝐹
∼ 𝑝↔𝑞 ≡𝑝↔ ∼𝑞
Pruebe la siguiente equivalencia lógica

𝒑 → 𝒒 ∨ 𝒓 ≡ 𝒑 ∧∼ 𝒒 → 𝒒
Solución:
Por tanto, la equivalencia queda probada.

Enunciado abierto
Un enunciado es llamado abierto si presenta una o más variables de tipo
lingüístico o matemático.
Son enunciados abiertos:
a) La raíz cuadrada de 𝑥 es un número entero.
b) Él estudia ingeniera electrónica.
c) 𝑥 2 /7 = 9.
d) 2𝑛 es un número par.
Los enunciados abiertos no son proposiciones lógicas. Sin embargo, si en a)
se considera 𝑥 = 10 el enunciado es 𝐹.
Función proposicional
Una función proposicional es un enunciado abierto de una o más variables, que se
convierte en proposición para cada especificación de dichas variables. Denotaremos:
𝑝(𝑥): Función proposicional de una variable
𝑝(𝑥, 𝑦): Función proposicional de dos variables
Así sucesivamente.
Ejemplo:
a) Para la función 𝑝 𝑥 : 𝑥 2 + 𝑥 > 10 tenemos
𝑝 1 : 2 > 10 ≡ 𝐹 y 𝑝 3 : 12 > 10 ≡ 𝑉
b) Para la función 𝑞 𝑥, 𝑦 : 𝑥 2 < 𝑦 2 − 2 tenemos
𝑞 −1,1 : 1 < −1 ≡ 𝐹 y 𝑞 1,2 : 1 < 2 ≡ 𝑉
A partir de funciones proposicionales es posible obtener proposiciones mediante un
proceso llamado cuantificación.
Cuantificador universal
El cuantificador universal es usado para afirmar que todo elemento de algún conjunto
satisface cierta propiedad. El cuantificador universal es denotado por “∀” y se lee
“para todo”.
Se denota ∀𝑥 ∈ 𝑈: 𝑝(𝑥) y se lee “Todo elemento 𝑥 del conjunto 𝑈 satisface 𝑝(𝑥)”.
Ejemplo:
Determine el valor de verdad de ∀𝑥 ∈ −1,0,1 : 𝑥 3 = 𝑥.
Solución
Por tanto, ∀𝑥 ∈ −1,0,1 : 𝑥 3 = 𝑥 ≡ 𝑉.

Cuantificador existencial
El cuantificador universal es usado para afirmar que existe algún elemento de algún
conjunto que satisface cierta propiedad. El cuantificador existencial es denotado por
“∃” y se lee “existe”.
Se denota ∃𝑥 ∈ 𝑈: 𝑝(𝑥) y se lee “existe un elemento 𝑥 de 𝑈 que satisface 𝑝(𝑥)”.
Ejemplo:
Determine el valor de verdad de ∃𝑥 ∈ 0,1,2 : 𝑥 2 + 𝑥 = 2.
Por tanto, ∃𝑥 ∈ 0,1,2 : 𝑥 2 + 𝑥 = 2 ≡ 𝑉.

Se cumple que: ∼ ∀𝑥 ∈ 𝑈: 𝑝 𝑥 ≡ ∃𝑥 ∈ 𝑈: ∼ 𝑝(𝑥)
Inferencia lógica
Una inferencia lógica es una condicional de la forma
𝑝1 ∧ 𝑝2 ∧ ⋯ ∧ 𝑝𝑛 → 𝑞
en donde 𝑝1 , 𝑝2 , … , 𝑝𝑛 son llamadas premisas, hipótesis o condiciones
suficientes y 𝑞 es llamada conclusión, tesis o condición necesaria.
La inferencia lógica también puede escribirse como:
𝑝1
𝑝2
⋮
𝑝𝑛
𝑞
Una inferencia es denominada válida si 𝑝1 ∧ 𝑝2 ∧ ⋯ ∧ 𝑝𝑛 → 𝑞 es una
tautología, esto es si la veracidad de las premisas es consecuencia de las
premisas implican la veracidad de la conclusión.
Reglas de inferencia
Son válidas las siguientes inferencias:
Modus ponens: 𝑝 →𝑞 ∧𝑝 →𝑞
Modus tollens: 𝑝 → 𝑞 ∧∼ q →∼ 𝑝
Simplificación: (𝑝 ∧ 𝑞) → 𝑝
Adición: 𝑝 → (𝑝 ∨ 𝑞)
Silogismo hipotético: 𝑝→𝑞 ∧ 𝑞→𝑟 → 𝑝→𝑟
Silogismo disyuntivo: 𝑝 ∨ 𝑞 ∧∼ 𝑝 → 𝑞
Silogismo constructivo: 𝑝→𝑞 ∧ 𝑟 →𝑠 ∧ 𝑝∨𝑟 → 𝑞∨𝑠
Silogismo destructivo: 𝑝 → 𝑞 ∧ 𝑟 → 𝑠 ∧ ∼ 𝑞 ∨∼ 𝑠 → ∼ 𝑝 ∨∼ 𝑟
Exportación: 𝑝∧𝑟 →𝑞 → 𝑝→ 𝑟 →𝑞
Reducción al absurdo: 𝑝 → 𝐹 →∼ 𝑝
𝑝 → 𝑞 ∧∼ 𝑞 ⟶ ~𝑝
Demostración
Una demostración es el razonamiento que estable el valor de verdad de
un proposición, es una redacción consistente de la veracidad o la
falsedad de tal proposición.
Los métodos de demostración prueban proposiciones condicionales o
bicondicionales, o equivalentemente una o más inferencias lógicas.
Los métodos más utilizados para redactar demostración son:
1. El método directo.
2. El método indirecto o reducción al absurdo.
Demostración directa
Este método consiste en demostrar una proposición 𝑝 → 𝑞 suponiendo que el
valor de verdad de 𝑝 es 𝑉 hay que establece que el valor de verdad de 𝑞 es 𝑉.
Ejemplo:
Concluya 𝑞 ∨ 𝑟 → 𝑝 ∧ ∼ 𝑝 ∧ 𝑠 → 𝑞 ∨ 𝑟 ∧ ∼ 𝑠 →∼ 𝑡 →∼ 𝑡
Solución: Primera forma.
Las premisas son verdad:
(1) 𝑞 ∨ 𝑟 → 𝑝, (2) ∼ 𝑝, (3) 𝑠 → (𝑞 ∨ 𝑟) y (4) ∼ 𝑠 →∼ 𝑡
De (1) y (2): 𝑞 ∨ 𝑟 → 𝑝 ∧ ∼ 𝑝 → ∼ 𝑞 ∨ 𝑟 (5) (Modus tollens)
De (3) y (5): 𝑠 → 𝑞 ∨ 𝑟 ∧∼ 𝑞 ∨ 𝑟 →∼ 𝑠 (6) (Modus tollens)
De (4) y (6): ∼ 𝑠 →∼ 𝑡 ∧ ∼ 𝑠 → ∼ 𝑡 (Modus ponens)
Por tanto, se concluye la veracidad de ∼ 𝑡.
𝑞∨𝑟 →𝑝 ∧ ∼𝑝 →∼ 𝑞∨𝑟
Modus tollens: 𝑝 → 𝑞 ∧∼ q →∼ 𝑞 ≡
∼ 𝑝 ∨ q ∧∼ q →∼ 𝑞 ≡ ∼ 𝑝 ∧∼ q →∼ 𝑞 ≡
𝑝 ∨ 𝑞 ∨∼ 𝑞 ≡ 𝑝 ∨ 𝑉 ≡ 𝑉
𝑞∨𝑟 →𝑝 ∧ ∼𝑝 →∼ 𝑞∨𝑟 ≡ ∼ 𝑞∨𝑟 ∨𝑝 ∧ ∼𝑝 →∼ 𝑞∨𝑟 ≡

∼ q ∧∼ 𝑟 ∨ 𝑝 ∧ ∼ 𝑝 → ∼ 𝑞 ∨ 𝑟 ≡ ∼ q ∧∼ 𝑟 ∧ ∼ 𝑝 → ∼ 𝑞 ∨ 𝑟 ≡
∼ ∼ q ∧∼ 𝑟 ∧ ∼ 𝑝 ∨ ∼ 𝑞 ∨ 𝑟 ≡ 𝑞 ∨ 𝑟 ∨ 𝑝 ∨ ∼ 𝑞 ∨ 𝑟 ≡
𝑞∨𝑟 ∨𝑝∨∼ 𝑞∨𝑟 ≡𝑉∨𝑝≡𝑉
Segunda forma.
Las premisas son verdad:
(1) 𝑞 ∨ 𝑟 → 𝑝, (2) ∼ 𝑝, (3) 𝑠 → (𝑞 ∨ 𝑟) y (4) ∼ 𝑠 →∼ 𝑡
De (2): Se tiene que 𝑝 ≡ 𝐹
De (1): Como 𝑝: 𝐹 se tiene que 𝑞 ∨ 𝑟 ≡ 𝐹
De (3): Como 𝑞 ∨ 𝑟 ≡ 𝐹 se tiene que 𝑠 ≡ 𝐹, de donde ∼ 𝑠 ≡ 𝑉
De (4): Como ∼ 𝑠 ≡ 𝑉 se tiene que ∼ 𝑡 ≡ 𝑉.
Tercera forma.
Tabla de verdad (“fácil”)
Cuarta forma.
Por silogismo categórico, se concluye la veracidad de ∼ 𝑡

Demostración indirecta o reducción al absurdo
Este método consiste en demostrar una proposición 𝑝 → 𝑞 suponiendo

que el valor de verdad de 𝑝 es 𝑉 y el valor de verdad de 𝑞 es 𝐹 y llegar a
ideas que se contradigan. Este método se fundamenta en la ley lógica
𝑝 → 𝑞 ≡ 𝑝 ∧∼ 𝑞 → 𝐹
Esto es, la demostración por contrarrecíproco de 𝑝 → 𝑞 es la
demostración directa de 𝑝 ∧∼ 𝑞 → 𝐹.
Ejemplo:
Concluya ( 𝑝 → 𝑞 ) ∧ ( ∼ 𝑝 → 𝑟 ) → ∼ 𝑞 → 𝑟 .
Solución:
Supongamos que:
(1) 𝑝 → 𝑞: 𝑉, (2) ∼ 𝑝 → 𝑟: 𝑉 y (3) ∼ 𝑞 → 𝑟: 𝐹
De (3): 𝑞 ≡ 𝐹 y 𝑟 ≡ 𝐹.
Reemplazando 𝑞 ≡ 𝐹 en (1) tenemos 𝑝 ≡ 𝐹 (debido que 𝑉 → 𝐹 ≡ 𝐹).
Reemplazando 𝑟 ≡ 𝐹 en (2) tenemos ∼ 𝑝 ≡ 𝐹, esto es, 𝑝 ≡ 𝑉
De esta manera hemos obtenidos dos ideas contrarias: 𝑝 ≡ 𝑉 y 𝑝 ≡ 𝐹.
Contradicción.
Por tanto, se concluye la veracidad de la inferencia.

Semana 1

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Semana 1

Cargado por

Copyright:

Formatos disponibles

ESTUDIOS GENERALES- AREA DE CIENCIAS- FACULTAD DE CIENCIAS MATEMATICAS

Germán: “Fue Michael”

Si se conoce que solo uno de los acusados miente.

Conectivos o conectores lógicos

Y, “,”, no obstante, además, pero, sin embargo, aunque, a la vez, también,

Clasificación: Proposiciones simples

Clasificación: Proposiciones compuestas

Escriba simbólicamente la proposición siguiente:

Hallar la tabla de verdad de 𝒑 ∧∼ 𝒒 → ∼ 𝒑 ↔ ∼ 𝒓

Proposiciones según su tabla de verdad

Equivalencia lógicas notables o leyes lógicas

Pruebe la siguiente equivalencia lógica

Por tanto, la equivalencia queda probada.

Por tanto, ∀𝑥 ∈ −1,0,1 : 𝑥 3 = 𝑥 ≡ 𝑉.

Por tanto, ∃𝑥 ∈ 0,1,2 : 𝑥 2 + 𝑥 = 2 ≡ 𝑉.

𝑞∨𝑟 →𝑝 ∧ ∼𝑝 →∼ 𝑞∨𝑟 ≡ ∼ 𝑞∨𝑟 ∨𝑝 ∧ ∼𝑝 →∼ 𝑞∨𝑟 ≡

Por silogismo categórico, se concluye la veracidad de ∼ 𝑡

Demostración indirecta o reducción al absurdo

Este método consiste en demostrar una proposición 𝑝 → 𝑞 suponiendo

También podría gustarte