Matemática y Lógica
LÓGICA Proposicional”, que tiene la propiedad de convertirse
Termino que deriva del griego “Logike-Logikos (Logos) ”
que significa razón. Aristóteles fue el que fundó la lógica
como medio de conocimiento.
 Definición.- La Lógica es una ciencia formal y una rama
de la filosofía que estudia las formas de pensamiento
prescindiendo de todo contenido. Es el estudio de la
inferencia (Leyes), que consiste en extraer una
conclusión a partir de premisas que pueden ser
afirmaciones o negaciones previas.
 Se dice además que es la ciencia que se ocupa del
estudio de los métodos y principios para distinguir el
buen razonamiento del malo
 A partir del siglo XIX la lógica formal comenzó a ser
estudiada en el campo de las matemáticas y
posteriormente por las ciencias computacionales,
naciendo así la lógica simbólica, que esquematiza los
pensamientos claramente usando un lenguaje de signos
propios y distintos al verbal.
Gran parte del trabajo matemático se realiza con
proposiciones (Lógica Proposicional), por tal motivo es
indispensable tener claro el concepto de proposición y
efectuar las operaciones correspondientes.
1. Enunciado: Es toda frase u oración que se emite. Los
enunciados pueden ser afirmaciones, negaciones,
mandatos, interrogaciones, emotivos, etc.
Ejemplo:
- Buenos días
- ¿Cómo te sientes?
- ¡Estudiaras en el Tecnológico!
- Prohibido hacer bulla
- La clorofila es verde
- El cuadrado de 4 es 16
- Estudia y serás un profesional
- 5+1 < 25
- X + y = 10
- Un cuadrado tiene dos diagonales
2. Enunciado Abierto.- es un enunciado que posee
variables sin especificar un valor determinado, estos
no pueden ser falsos ni verdaderos.
Ejemplo:
- X2 + 3 = 12
- Ella es estudiante
- X + 3 > 2X – 4
- A es capital de Londres
- Él tiene 35 años
- X–5=y+2
Los enunciados que usan la palabra “el”, “ella” son
enunciados abiertos.
A los enunciados abiertos que contienen variables
algebraicas se les denomina “Función
Lic. Gilmer D. Ordóñez Aguilar
en proposiciones al asignarle un valor a las variables.
Ejemplo:
- Sea: X + 3 = 21
Si X = 18, entonces:
18 + 3 = 21, es una proposición, y su valor
es Verdadero.
Si X = 10, entonces:
10 + 3 = 21, es una proposición y su valor
de verdad es Falso
3. PROPOSICIÓN.- es todo enunciado o afirmación
(oración aseverativa) al que se le puede asignar un
valor de verdad verdadero o el valor de verdad, falso
pero no ambos a la vez
También reciben el nombre de sentencias.
Ejemplo:
- Huaraz es nombre de una ciudad andina.
- El número 20 es múltiplo de 4 y 5
- Los hipopótamos son peces
- Ollanta Humala es candidato presidencial.
- 2+5 = 16
- El precio del dólar es igual al valor del sol
- El cuadrado de todo número par también es par.
- La Temperatura de la tierra ha disminuido
- El cuadrado del número 10 es igual a 100
Nota.- no son proposiciones aquellas expresiones
interrogativas, imperativas, exclamativas, dubitativas,
desiderativas, enunciados abiertos, o indefinidos,
pseudoproposiciones, proverbios, refranes, filosofemas
o enunciados filosóficos, hechos, personajes,
supersticiones y mitos.
Ejemplo:
- ¿Qué es la lógica? (oración interrogativa)
- Debemos honrar a nuestros héroes. (oración
imperativa)
- ¡Me saque la lotería! (oración exclamativa)
- Quizás llueva mañana. (oración dubitativa)
- Jaime es mentiroso. (Juicio de valor)
- Eduardo es un número racional
(pseudoproposición)
- X + 9 = 21 (enunciado abierto)
- El actual presidente del Perú (descripción
definida).
- La realidad es duración (Filosofemas)
- La materia se mueve en un ciclo eterno (enunciado
filosófico).
4. CLASES DE PROPOSICIONES.- Las
proposiciones se pueden dividir en dos clases:
a) PROPOSICIÓN SIMPLE O ATÓMICA O
ELEMENTAL.- es todo enunciado que presenta
sólo sujeto y predicado, no se puede descomponer
en otras y puede ser verdadera o falsa. Carece de
conectores lógicos
Página 1
Matemática y Lógica
Notación.- Se pueden denotar o representar Ejemplo:
(simbolizar) por letras minúsculas como p, q, r, s, - La lógica y la matemática son ciencias
t , ….. formales.
- Si dos ángulos adyacentes forman un par
Ejemplo:
lineal entonces son suplementarios
- p: Pizarro descubrió el continente Americano.
- Si juan estudia, entonces será un buen
- q: El 10% de 60 es 6
profesional.
- r: 18 – 3 > 5 + 9
- Doris estudia enfermería técnica y Luis
- s: La lógica es distinta a la matemática
estudia agropecuaria
- t: Dolly fue la primera oveja clonada
- 20 es número compuesto, si y solo si es
- v: El átomo es una molécula
divisible por 4.
- w: 7 es un numero primo
- Si no hay inflación entonces subirán los
Las proposiciones simples, pueden ser:
precios.
 Proposiciones Predicativas.- aquellas que - si el doble de 35 es igual a 70, entonces 70
atribuyen o afirman una característica respecto entre 2 es igual a 35
a un objeto y constan de sujeto y predicado
Tablas de verdad.- son tablas que permiten
Ejemplo: -
determinar los valores de verdad de una o más
- El sol es una estrella
proposición compuesta.
- 25 es un número compuesto.
En el caso de dos proposiciones se construye así
- La sangre es una sustancia.
- El número 2 es par P q
- El espacio es relativo V V
- La pizarra es blanca V F
F V
 Proposiciones relacionadas.- aquellas que
F F
establecen una relación entre dos o más objetos
Las proposiciones compuestas
que tiene una misma categoría gramatical.
pueden ser:
Ejemplo:
i) Proposiciones Conjuntivas o Conjunción.-
- Lima es la capital del Perú
su conectivo es “y” (^), el cual desempeña la
- La tierra rota alrededor de la luna
función de compatibilizar dos proposiciones.
p del mismo modo que q Siempre ambos p con q 𝒑∧𝒒
p sin embargo q p es compatible con q Ejemplo:
p es igual que q p incluso q “Cuatro es número par y divisor de 32”
p así como q p también q Simbólicamente:
p no obstante q P aunque q p: cuatro es número par
p de la misma manera q p pero q q: cuatro es divisor de 32
tanto p como, cuando q p incluso q
Algunas traducciones verbales
No solo p también q P tal como q son
- 23 – 8 = 10
- Irma estudia en la Universidad Nacional de
Ingeniería.
- 5 es mayor que 3
VALORES DE VERDAD.- Los valores de
verdad o valores veritativos de una proposición
simple son: VERDAD (V) o FALSO (F)
p Otros Ejemplos:
V - El número dos es par, pero el tres es impar.
- Silvia es inteligente sin embargo es floja.
F - Tanto el padre como el hijo son
melómanos.
b) PROPOSICIÓN COMPUESTA O - Iré a verte aunque llueva
MOLECULAR O COLIGATIVA.- Son - Viajare a Chimbote aun cuando este
aquellas que se obtienen de combinar dos o más lloviendo.
proposiciones simples, unidos mediante
conectivos lógicos (símbolos). Tabla de Verdad
p q p∧q
Lic. Gilmer D. Ordóñez Aguilar Página 2
Matemática y Lógica q p∆q
V V F
V F V Algunas traducciones verbales son:
F V V Tabla de Verdad
F F F Bien p o bien q
V V V Opoq
V F F Ya bien p ya bien q
F V F P o solamente q
F F F P o solo q
Nota.- Solo es verdadera cuando ambas
proposiciones son verdaderas Nota.- Solo es falsa cuando ambas
proposiciones son verdaderas o ambas son
falsas
ii) Proposición Disyuntiva Incluyente o débil.- Ejemplos:
llamada también Disyunción Débil, utiliza el - El examen se aprueba o se suspende.
conector “o” (v), el cual admite la posibilidad - Sonia es cristiana o solamente musulmana.
que se den dos alternativas a la vez. - Bien hoy día llueve o bien no llueve.

pvq iv) Proposición Implicativa o Condicional.-

llamada también Implicativa material,
Ejemplo: presenta el conectivo “si, …entonces” (p → q)
“La lógica o la matemática son ciencias el cual enlaza una proposición que es el
formales”. antecedente o hipótesis con otra que el
p: la lógica es una ciencia formal consecuente o tesis
q: la matemática es una ciencia formal
p⟶q
Algunas traducciones verbales son
Tabla de Verdad Ejemplo: “Si hay inflación entonces subirán
los precios”
poq p: hay inflación
ya p ya q q: subirán los p q p∨q
p salvo que q precios V V V
p menos que q V F V
p excepto que q Algunas F V V
p a menos que q traducciones F F F
p o también q verbales son:

Nota.- Solo es falsa cuando ambas Si p entonces q Ya que p bien se ve

proposiciones son falsas Cuando p así pues q que q
Con tal que p es Siempre que p por
Ejemplos: obvio que q consiguiente q
- Bailas o cantas En tal caso de que p Toda vez p en
- Pedro es tío o es sobrino en tal sentido q consecuencia q
- Hoy es martes o hay clases de matemáticas En virtud que p es En la medida que p
- Boto las cosas viejas o las que no me evidente q de allí q
sirven. Dado p por eso q En el caso de p en
- Jaime habla inglés o francés En cuanto p por este caso q
iii) Proposición Disyuntiva Exclusiva o tanto q De p derivamos q
Fuerte.- Llamada también Diferencia De p deviene q P implica q
Simétrica, presenta el conectivo “o,.. o” (∆) y P es condición p a no ser que q
excluye la posibilidad de ambas proposiciones suficiente para q p solamente si q
a la vez. De p deducimos en
q
𝒑∆𝒒 P es condición
Ejemplo: suficiente para q
“Pedro está vivo o muerto”
p: Pedro está vivo
q: Pedro está muerto
Tabla de Verdad
p q p→ q
V V V

Lic. Gilmer D. Ordóñez Aguilar Página 3

Matemática y Lógica

V F F Ejemplo: ”Pasaras de semestre si y solo si

F V V apruebas todas tus asignaturas”
F F V p: Pasaras de semestre
q: aprobaras todas tus asignaturas
Nota.- Solo es falsa cuando el antecedente es
verdadero y el consecuente es falso. Algunas traducciones verbales son:
Otros Ejemplo: P si y solo si q P se define como
- Si es joven, es rebelde P es equivalente a q
- El mamífero es herbívoro si se alimenta de q P es lo mismo que
plantas P siempre y q
- Nuestra moneda se devalúa solamente si cuando que q P si de la misma
su valor se disminuye. P por lo cual y forma que q
- Si apruebas matemática, te dejare ir a la según q P es idéntico que
fiesta el fin de semana. q
- Si los precios de los artículos suben,
entonces tiene menos demanda. Tabla de Verdad
- Si x2 = 25, entonces x= 5 p q p⟷q
- So a>b y b>c, entonces a>c V V V
v) Proposición Replicativa.- Presenta el V F F
conectivo “si”, (⟵) el cual resulta cuando el F V F
“si” o sus sinónimos están entre p y q F F V

𝒑←𝒒 Nota.- Solo es verdadera cuando ambas

proposiciones son verdaderas o ambas son
Ejemplo: “Aprobaras si estudias” falsas.
p: Tu aprobaras
q: Tu estudias Otros ejemplos:
- Es fundamentalista si y solo si es talibán
Algunas traducciones verbales son: - Habrá cosecha siempre y cuando llueva.
P si q P dado que q - Si apruebo el examen de admisión,
P porque q P ya que q entonces y solo entonces ingresare a la
P es condición P puesto que q universidad.
necesaria para q P es condición vii) Proposiciones Negativas.- presenta el
P siempre que q de que q conector “no” (~) el cual permite cambiar el
P es suficiente para P en vista que q valor de veracidad de la proposición.
q P pues q
P cada vez que q ~𝒑
Ejemplos: Ejemplo:
- 30 es número par porque es divisible por 2 p: eres futbolista
- Viajaras de excursión siempre que tengas ~p: no es verdad que seas futbolista
dinero
Algunas traducciones verbales son:
- El precio del pollo sube ya que los
insumos se han encarecido Nunca p No es verdad
- Iremos a la playa dado que salió el sol Jamás p que p
Tampoco p No es el caso
Tabla de Verdad
Es absurdo que p que p
p q p⟵q Es inconcebible que Es mentira que
V V V p p
V F V Es imposible que p Es inadmisible
F V F De ninguna forma que p
F F V se da que p No acaece que
Es incierto que p p
Nota.- Solo es falsa cuando el antecedente es
No ocurre que p No es innegable
falso y el consecuente es verdadero.
que p
vi) Proposición Biimplicativa o Bicondicional.- Es erróneo que
presenta el conector “si y solo si” ( ↔ ) el cual p
desempeña el papel de doble implicador Es incorrecto
que p
𝒑↔𝒒
Lic. Gilmer D. Ordóñez Aguilar Página 4
Matemática y Lógica
Tabla de Verdad
p ~p
V F
F V
Nota.- Cambia el valor de verdad de la
proposición. USOS DE LOS SIGNOS DE AGRUPACIÓN Y
JERARQUÍA DE LOS CONECTIVOS LÓGICOS
Otros ejemplos:
- Nunca he oído esa música Los signos de agrupación (paréntesis, corchetes, llaves) se
- Jamás he visto al vecino utilizan cuando se trata de obtener esquemas lógicos más
- Es falso que el Juez sea fiscal complejos con el fin de evitar las ambigüedades en las
- Al papa de Nelly le falta carácter fórmulas.
- Es imposible que el átomo sea molécula. Ejemplo:
5. OTRAS PROPOSICIONES SON: La expresión: 𝑝 ∧ 𝑞 ∨ 𝑟 , es ambigua
Debe ser: (𝑝 ∧ 𝑞) ∨ 𝑟 es más precisa.
a) Shaffer o de Incompatibilidad.- presenta el
conectivo “incompatible (⃓ ). Se trata de aceptar La jerarquía es otro de los motivos para usar los signos de
la proposición donde exista incompatibilidad de agrupación, en los conectivos lógicos, el cual es el
ambas proposiciones 𝐩𝒒 siguiente:

Ejemplo: “dos es numero par es incompatible con 1° La Negación. ∼ Es el de menor jerarquía.

5 es primo” 2° La Conjunción y Disyunción débil ∧ y ∨ tienen el
p: dos es numero par mismo nivel
q: cinco es primo.
3° La condicional ⟶ tiene mayor jeraquia
Tabla de Verdad
4° La disyunción fuerte ∆
p q p⃓ q
V V F 5° La bicondicional ⟷
V F V En caso contrario se tiene en cuenta los signos de
F V V puntuación, siendo el conectivo dominante el que este fuera
F F V de todo signo de agrupación
Nota.- Solo es falsa cuando ambas Ejemplo:
proposiciones son verdaderas.
a) (𝑝 ∨ 𝑞) ⟶ (𝑝 ∧∼ 𝑞)
b) Nicod o Negacion Conjunta.- presenta el b) [∼ (∼ 𝑝 ⟶ 𝑞) ∧ 𝑟] ∨ (𝑞∆𝑟)
conectivo “ni,… ni” (↓) , se trata de aceptar la c) (p → ~q) ↓ (~p v r)
proposición que niega ambas proposiciones d) 𝑝 → (𝑝 ∧ 𝑞)
Ejemplo: e) ∼(p∧q)△∼(r∨t)
“Ni Doris tiene sangre azul ni Doris tiene sangre f) ~[∼ (∼ 𝑝 ⟶ 𝑞) ∧ 𝑟]
verde” UNA FÓRMULA BIEN FORMADA?
p: Doris tiene sangre azul Fórmulas BIEN formadas Fórmulas MAL form
q: Doris tiene sangre verde
p ∼ (q r) (p∼ (q r))
𝒑 ↓𝒒 q
∼p r p q(
Ejemplo: La materia ni se crea ni se destruye
q ∼∼(p(q r))
Tabla de Verdad
p q p↓ q ∼(∼r) ∼ ∼(pq r))
V V F
FORMALIZACIÓN O SIMBOLIZACIÓN DE UNA
V F F
PROPOSICIÓN COMPUESTAS
F V F
F F V Consiste en utilizar el lenguaje formal, abreviando o
simbolizando las proposiciones en letras, que van desde la
Nota.- Solo es falsa cuando ambas
p hasta el final del alfabeto, símbolos llamados conectivos
proposiciones son verdaderas.
lógicos y haciendo uso de los signos de agrupación. Una de
las recomendaciones es desagregar las proposiciones en
proposiciones simples

Lic. Gilmer D. Ordóñez Aguilar Página 5

Matemática y Lógica
Ejemplo: Cesar es profesor o César es alumno y es falso que
a) “Si hay lluvia en la sierra y el gobierno apoya a los César sea profesor y César sea alumno
agricultores, habrá buena producción agrícola” Fórmula:
Se tiene: p: Hay lluvias en la sierra p: Cesar es profesor
q: El gobierno apoya a los agricultores q: César es alumno
r: hay buena producción agrícola (p∨q)∧∼(p∧q)
Se representa: (𝒑 ∧ 𝒒) ⟶ 𝒓)
Recuerda que debes tener en cuenta en identificar el
conectivo de matyor jaraquia .
b) Si no es el caso que Jaime sea un comerciante y próspero
empresario, entonces es ingeniero o no es comerciante. i) Si Maria es la novia de Pedro y Marta es la prima de
Se tiene: pedro, Luis es primo de Marta.
p: Jaime es un comerciante j) Esther estudia matemática o comunicación se deduce
q: Jaime es un próspero empresario que pasará el semestre, aunque ni estudia matemática
r: Jaime es ingeniero ni comunicación, en consecuencia no pasará el
Se representa: ∼ (𝒑 ∧ 𝒒) ⟶ (𝒓 ∨∼ 𝒒) semestre.
c) Puesto que un hombre prudente huye de los leones y
pues ningún docente es imprudente. Se sigue que ningún
docente deja de huir de los leones.
Se tiene:
p: los hombres prudentes huyen de los leones TABLAS DE VERDAD
q: Los docentes son prudentes
r: Los docentes huyen de los leones Utilizando los conectivos lógicos se pueden combinar
[𝒑 ∧∼ (∼ 𝒒)] ⟶∼ (∼ 𝒓) cualquier número finitos de proposiciones compuestas
d) Si Alfonso estudia aritmética, entonces también estudia cuyos valores de verdad se pueden conocer mediante las
lógica o algebra. Alfonso no estudia aritmética. Luego tablas de verdad. Para conocer el número de combinaciones
Alfonso no estudia algebra de los valores de verdad, según el número de proposiciones,
se utiliza la siguiente fórmula: 𝟐𝒏 ; Donde n es igual al
número de proposiciones.
e) Kant es filósofo, pero Frege es Lógico Ejemplo: Construir la tabla de verdad de las siguientes
Forma lógica proposiciones:
Kant es filósofo y Frege es Lógico a) (p → ~q) v (~p v r)
Fórmula b)
p: Kant es filósofo p q r (p → ~ q) v (~ p v r)
q: Frere es Lógico
V V V V F F V V F V V V
p∧q V V F V F F V F F V F F
f) No iremos al teatro a menos que venga Raúl V F V V V V F V F V V V
Forma Lógica V F F V V V F V F V F F
Si Raúl viene, entonces iremos al teatro F V V F V F V V V F V V
Fórmula F V F F V F V V V F V F
p: Raúl viene F F V F V V F V V F V V
q: Iremos al teatro F F F F V V F V V F V F
p→q o c) p → (q ^ r)
d) (p → ~ r) ↔ (q v p)
g) Tanto Waldir Sáenz como Chemo del Solar son atletas e) ~ (p∧ ~ q) → ~ r
porque son futbolistas f) (~p ^ q) → ~ (q v ~r)
Forma Lógica CLASIFICACIÓN DE LAS TABLAS DE VERDAD
Si Waldir Sáenz es futbolistas y Chemo del Solar es A) TAUTOLOGÍA.- cuando para cualquier
futbolistas, entonces Waldir Sáenz y Chemo del Solar combinación de valores de una proposición compuesta
son Atletas son siempre verdaderos (V).
(p∧q)→(r∧s) Ejemplo:
h) César es profesor o alumno, pero no puede ser ambas 1. (𝑝 ⟶ 𝑞) ⟷∼ (𝑝 ∧∼ 𝑞)
cosas a la vez 2. ∼ (𝑝 ∧ 𝑞) ⟷ (∼ 𝑝 ∨∼ 𝑞)
Forma lógica: 3. [(∼ 𝑝 ∧∼) ⟶∼ 𝑟]
4. (𝑝 ∧∼ 𝑞) ⟶ (𝑞 ⟶ 𝑝)
Lic. Gilmer D. Ordóñez Aguilar Página 6
Matemática y Lógica

3) Conmutativa: p  q  q  p ; p  q  q  p;
p↔q ≡ q↔p

B) CONTRADICCIÓN.- Cuando par cualquier 4) Identidad: p  V  p; pFp

combinación de valores de una proposición son todos 5) Complemento: p  p  F; p  p  V
falsos (F).
6) Asociativa: p  (q  r)  (p  q)  r ; p  (q
Ejemplo:  r)  (p  q)  r
1. 𝑝⋀~𝑝 7) Distributiva: p  (q  r)  (p  q)  (p  r); p 
2. ∼ [(∼ 𝑝 ⟶∼ 𝑞) ⟷ (𝑞 ⟶ 𝑝)]
(q  r)  (p  q)  (p  r)
C) CONTINGENCIA.- Cuando par cualquier 8) Idempotencia: ppp; ppp
combinación de valores de una proposición puede ser
verdadera o falsa (V y F). 9) Acotamiento: pFF; pVV

Ejemplo: 10) Involución: (p)  p ;

1. [(∼ 𝑝 ∧∼ 𝑞) ⟶∼ 𝑟] 11) Opuesto: V  F ; F  V

2. ∼ (𝒑 ∧ 𝒒) ⟶ (𝒓 ∨∼ 𝒒) 12) De Morgan: (p  q)  p  q ; (p  q) 
PROPOSICIONES LÓGICAMENTE p  q
EQUIVALENTES 13) Condicional : p  q  p  q
Se dice que dos proposiciones se llaman lógicamente 14) Absorción: p  (p  q)  p; p  (p  q)  p
equivalentes si sus tablas de verdad son idénticas. Se denota
por 𝑝 ≡ 𝑞 15) Absorción generalizada: p  (p  q)  p  q; p
 (p  q)  p  q
Se dice también que dos proposiciones son lógicamente
equivalentes cuando una Bicondicional (𝒑 ⇔ 𝒒) es una 16) Bicondicional: p  q  (p  q)  ( q  p) ; p
tautología  q  (p  q)  (q  p) p
Ejemplo: Las siguientes proposiciones son equivalentes  q  (p  q)  (p  q)

(p  q) ≡ (p  q). (𝑝 ⟶ 17) Disyunción exclusiva: p  q  (p  q)  (p  q) ; p

𝑞) ≡ (q ⟶ p)  q  (p  q)  (p  q)

p q (p  q) (p  q). 18) Contraposición: p  q  q  p

19) Negación de la condicional: (p  q)  p  q
20) Negación. de la bicondicional: (p  q)  p 
q ; (p  q)  p  q
(p  q)  p 
Implicación Lógica.- Es toda condicional que es una q
tautología.
Ejemplo: a) (~𝑝⋀𝑞) ⟶ 𝑝
Se denota por: 𝒑⟹𝒒
Ejemplo: [( p  q )  p]  q b) (𝑝 ∧∼ 𝑞) ⟶ (𝑞 ∨ 𝑟)
Equivalencia Lógica.- se llama así a toda bicondicional c) [𝑝 ⟶∼ (𝑞 ⟶ 𝑝)] ⟶∼ 𝑞
que es una tautología.
Se denota por: 𝒑⇔𝒒 CIRCUITOS LÓGICOS:
Ejemplo: p  q  ~(p  ~ q) La construcción de las computadoras electrónicas se basa
Nota: para construir las tablas de verdad es necesario en la construcción de circuitos electrónicos, y esto es
posible mediante la aplicación de las leyes de la lógica
identificar el conectivo de mayor jerarquía, el cual se
proposicional.
desarrolla al Final, y empezando por los que están en
signos de agrupación, si los hubiera. Un circuito eléctrico es un circuito conmutador que tiene
interruptores que permiten el paso de la corriente o la
interrupción de la misma.
LEYES DE LA LÓGICA PROPOSICIONAL Se denotan por: p o V o 1 si el circuito está cerrado o pasa
1) Reflexiva.- p≡p corriente

2) Simétrica: si p≡q ⟶ q≡p

Lic. Gilmer D. Ordóñez Aguilar Página 7

 Matemática y Lógica
~p o F o 0 si el circuito está abierto o no j) Ricardo palma es autor de las tradiciones peruanas
pasa corriente. k) El número cuatro es el doble de dos
Circuito Cerrado p l) 10 + 20 = 31
V=1
m) El triángulo tiene tres lados
Circuito abierto ~p
F=0 n) ¡Marchen!
Tipos de circuitos: o) Juan es Matemático
A) Circuito en Serie: Se denota por “p  q” p) La nueva constitución Política del Perú fue sancionada
y promulgada por la Asamblea Constituyente e 1993.
Cuando las proposiciones s encuentran una a
continuación de otra. Para que pase la corriente y q) ¿Quién es el pez gordo del narcotráfico?
se encienda el foco es necesario que los r) Los números racionales son inteligentes
conmutadores p y q estén cerrados. Basta que uno
de ellos se abra para que la corriente se interrumpa. s) Solo sé que nada se

Se comporta como una conjunción t) Juan es bondadoso

p q u) Los organismos superiores tiene pulmones porque

necesitan respirar
B) Circuito en Paralelo: Se denota por “p  q”
v) No engañes nunca a nadie
Cuando los conmutadores se encuentran uno a lado
w) La semana tiene 8 días
del otro a un mismo nivel. Para que la corriente
pase basta que uno de ellos se encuentre cerrado. x) A es la capital del Perú
Para que la corriente se interrumpa, los dos
y) El número cinco sonrió
conmutadores deben estar abiertos.
2. Diga si las siguientes proposiciones son atómicas o
Se comporta como una disyunción
moleculares:
p
a) Osama y Omar son concuñados
b) EL oxígeno no produce oxido en presencia de
q metaloides.
C) Circuito mixto.- Cuando combina circuitos en c) Tanto la suma como la multiplicación de números
serie y en paralelo naturales son asociativas
Ejemplo: Construir su circuito lógico de las siguientes d) Los peces son acuáticos puesto que respiran por
esquemas moleculares: branquias
a) (𝑝 ∧∼ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞) b) (𝑝 ∨ 𝑞) ⟶ e) Gloria e Irene son contemporáneas
(𝑝 ∧∼ 𝑞) f) Decir que la inteligencia es hereditaria es defender la
Ejercicios idea de que nuestras facultades se trasmiten de padrea a
hijos así como el color de los ojos.
EJERCICIOS DE PROPOSICIONES
g) La suma de los ángulos internos de un triángulo es igual
1. Delos siguientes enunciados cuales son proposiciones y a 180°
cuales enunciados abiertos:
h) Todos los cuerpos atraen con una fuerza directamente
a) Alexis es estudioso proporcional al producto de sus masas e inversamente
b) ¡Viva el Peú! proporcional a cuadrado de la distancia que los separa.
c) 52+32 = 36 i) La huelga continua pues no hay solución
d) Platón nació en Piura 3. De las siguientes proposiciones, identifica cuales son
proposiciones disyuntivas débil o fuerte, conjuntivas,
e) A + B = 18
implicativa (Condicional), biimplicativas (bicondicional), o
f) ¿Cuál es tu nombre? negaciones.
g) 235 < 129 a) Juan es pinto o albañil
h) El día está nublado b) La tiza no es blanca
i) Vaya con Dios, señora c) El jaguar es un carnívoro o un cuadrúpedo

Lic. Gilmer D. Ordóñez Aguilar Página 8

Matemática y Lógica
d) David es médico o solo es un enfermero 6. Sean p, q y r del ejercicio anterior. Traducir las siguientes
proposiciones simbólicas a oraciones en español:
e) Javier y Luz se aman
f) Arturo no llega a tiempo
g) Luis y Daniel corren
h) 8 es múltiplo de 2 pues es par
i) Ya bien Sonia viaja a parís, ya bien viaja a Chile 7. Lectura: “Caía una espesa lluvia. Juan se despertó y lanzó un
j) Si Miguel Grau es piurano, entonces es peruano gemido ¡Aj,… aj,… el colegio! Se levantó de la cama y se
sentó en una silla. Oyó la bocina de un auto o el silbato de
k) 15 es múltiplo de 5, pero 5 es mayor que 2. un policía. Entonces se estremeció. Por causa del frío o del
l) Si se calienta un cuerpo entonces se dilata; y si se enfría, miedo. Estaban haciendo tanto ruido. Repentinamente se le
entonces se contrae. iluminó la cara. ¡Qué bien! Se habían acordado de algo. Las
clases no empiezan hoy, sino mañana”
m) Sin aparición de la galaxia , sin la formación de estrellas,
jamás habría existido el hombre ni la vida Actividades
n) Las estrellas nacen, viven, pero también mueren. a) Redacta una lista de las proposiciones simples de la
lectura leída
o) Del 20% de 150 es 30 o 50
p:
4. Escriba la palabra si cuando la formula este bien formada y _______________________________________________
no en caso contrario. Además diga cómo se llama, ________
estableciendo la jerarquía entre sus operadores
q:
a) ~𝑝 ⟶ ~𝑞 _______________________________________________
b) (𝑝 ∧ 𝑞) ∧∼ (𝑟 ∧ 𝑠) ________

c) ∼ ((𝑝 ∨ 𝑞) ∨⟶ (𝑟 ∧∼ 𝑠) r:_____________________________________
___________________
d) ∼ [𝑝 ⟶ (∼ 𝑞 ∨ 𝑟)]
s______________________________________
e) ∼∼ [(𝑝 ∧∼ 𝑞) ⟶ ∼ (𝑡 ∧ 𝑠)] __________________
f) 𝑝 ↓∼ (𝑞 ∼ 𝑟) ∨ ∼ 𝑞 t:_____________________________________
g) ∼ 𝑝⃓[𝑞 ⟶∼ (𝑟 ∧ 𝑠 ∧ 𝑡)] ___________________

h) ∼ 𝑝 ↓ ~[𝑞 ↓∼ ( 𝑟⃓ 𝑠 ) 2. En base a las proposiciones anteriores haz una lista de

proposiciones compuestas
i) (p⟶ 𝑞) ∼ [𝑟 ↓∧ (𝑟 ↓ 𝑡)
5. Sean p, q y r las proposiciones siguientes: _______________________________________________
p: “está lloviendo” __________

q: “el sol está brillando”

_______________________________________________
r: “hay nubes en el cielo” __________
Traduciremos las siguientes oraciones a notación simbólica
utilizando las letras asignadas y los conectivos lógicos: _______________________________________________
a) Está lloviendo y el Sol brillando __________

b) Si está lloviendo, entonces hay nubes en el cielo

_______________________________________________
c) Si no está lloviendo, entonces el Sol no está brillando y __________
hay nubes en el
cielo
_______________________________________________
d) El Sol está brillando si, y sólo si, no está __________
lloviendo
EJERCICIOS DE SIMBOLIZACIÓN
e) Si no hay nubes en el cielo, entonces el Sol está
brillando 8. Simboliza las siguientes proposiciones:

f) O está lloviendo o el sol está a) Es incorrecto que 15 es un cuadrado perfecto, puesto

brillando que tiene raíz cuadrada exacta.

Lic. Gilmer D. Ordóñez Aguilar Página 9

Matemática y Lógica
b) Isabel no irá al teatro, si y solo si se compra un libro o
se compra un disco
c) Si hace calor y el cielo está claro, entonces vamos a nadar
y pasear en bote.
d) La aguja de la brújula gira en vista de que la embarcación
a cambiado de rumbo, y la embarcación ha cambiado de
rumbo dado que hay tormenta en alta mar.
h) [p → ( q → r )] ⇔ [q → ( p → r )]
i) ( p ∧ q ) → {r ⇔ [p → ( q → r )]}
10. Sean las proposiciones p, q, r cuyos valores de verdad es V,
F y F Hallar el valor de verdad de las siguientes
proposiciones
a) (~𝑝⋀𝑞) ⟶ 𝑝

e) Rodrigo nación en América o Europa b) (~𝑝⋁~𝑞)⋀[(𝑝 ∨∼ 𝑟) ∧ (𝑞 ∨ 𝑟)]

f) Si Abelardo está en Europa, o él está en Colombia, c) (𝑝 ∧∼ 𝑞) ⟶ (𝑞 ∨ 𝑟)
entonces no ocurre que Juan está en el Ecuador. d) (p⟶ 𝑞) ⟷ (𝑞 ∨∼ 𝑟)
g) El Perú importa arroz, puesto que no hay producción e) [(p∧ 𝑟) ∨ (𝑝 ⟶ 𝑞)] ∧ 𝑞
porque existe recesión
f) ~{~[~(𝑝 ∧ 𝑞) ∧ (∼ 𝑝 ∧∼ 𝑞)]}
h) Esther estudia matemática o comunicación se deduce
que pasará el semestre, aunque ni estudia matemática ni 11. De las siguientes proposiciones, diga cuales son tautologías,
comunicación, en consecuencia no pasará el semestre. contradicciones o contingencias
i) No es cierto que sea un buen estudiante y destaque en a) (~𝑝⋀𝑞) ⟷ (𝑝 ∨∼ 𝑞)
el futbol.
b) (p⟶ 𝑞) ⟶ 𝑟
j) No es el caso que, hace frío y no se congele, sin embargo
c) ∼ [(𝑝 ⟶ 𝑞) ⟷ (𝑝 ∨ 𝑞)]
no hace frío.
k) Si El 30% de 300 es 90 entonces el 40% de 50 es 20 d) ∼ (𝑝 ⟷ 𝑞) ⟷ (𝑝 ⟷ 𝑞)
o 25 e) [(𝑝 ∧ 𝑞) ∧ 𝑞] ⟶ 𝑝
l) La Huelga continua pues no hay solución f) [(𝑝 ⟶ 𝑞) ∧ (𝑞 ⟶ 𝑟)] ⟶ (𝑝 ⟶ 𝑟)
m) David no es loretano ni limeño g) [(𝑝 ⟶ 𝑞) ∧∼ 𝑞] ⟶∼ 𝑝
n) Si se calienta un cuerpo entonces se dilata y si se enfría h) [( p  q )  p]  q
entonces se contrae.
i) ∼ [(𝑝 ∧ 𝑞) ⟶∼ (∼q∨∼ 𝑝)]
o) Las estrellas nacen y viven, pero también mueren.
j) [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟)] → (∼ 𝑝 →∼ 𝑟)
p) Si el ciclotrón bombardea el átomo, entonces acelera la
velocidad de los protones. k) ∼ [𝑝 →∼ (𝑞 ∧∼ 𝑝)] ↓ [∼ (𝑝 ∨ 𝑞) → 𝑟)
q) La universidad está sin rector. 12. De la Falsedad de la siguiente proposición (𝑝 →∼ 𝑞) ∨
r) Sufre la pena, pues cometiste la culpa (∼ 𝑟 ⟶ 𝑠)

s) Sin su libre consentimiento, sin la debida retribución, a) (∼ 𝑝 ∧∼ 𝑞) ∨∼ 𝑞

no se puede le puede obligar a prestar trabajo. b) (∼ 𝑟 ∨∼ 𝑞) ⟷ [(∼ 𝑞 ∨ 𝑟) ∧ 𝑠]
t) Tanto Carlos como Federico son ateos porque son c) (p⟶ 𝑞) ⟶ [(𝑝 ∨ 𝑞) ∧∼ 𝑞]
materialistas.
13. Si el esquema [(p∨∼ 𝑞) ⟶ (𝑟 ⟶ 𝑞), , es falsa, hallar el
u) Aunque esté enfermo, no faltare a clases. valor de verdad de los siguientes esquemas moleculares, si se
EJERCICIOS DE TABLAS DE VERDAD da a l proposición p: 2 es divisor de 5
9. Construye la Tabla de verdad para las siguientes a) (𝑝 ∨ 𝑞) ∧ (𝑟 ∨∼ 𝑞)
proposiciones
b) (p⟶∼ 𝑟) ∨ (∼ 𝑞 ∧ 𝑝)
a) [p ∧ ( p ∨ q )] ⇔ p
c) [𝑝 ∨ (𝑞 ∧∼ 𝑟)] ⟷ (𝑝 ∧∼ 𝑟)
b) p ∨ [( p ∧ q ) ⇔ p] EJERCICIOS DE LEYES DEL ALGEBRA
c) ~(p ∧ q ) ⇔(~ p ∨~ q) PROPOSICIONAL

d) [(p ∨ q ) ∨ r] ⇔ [p ∨ ( q ∨ r )] 14. Determinar los esquemas más simples de las siguientes

proposiciones:
e) [( p ↔ q ) ↔ r] ⇔ [p ↔ ( q ↔ r )]
a) ∼ [∼ (𝑝 ∧ 𝑞) ⟶∼ 𝑞] ∨ 𝑝
f) [p ∨ ( q ∧ r )] ⇔ [( p ∨ q ) ∧ ( p ∨ r )]
b) 𝑝 ∨ [(𝑞 ∧ 𝑟) ∨ (𝑞 ∧∼ 𝑟)]
g) (p ↓ q) ⇔~ ( p ∨ q )
Lic. Gilmer D. Ordóñez Aguilar Página 10
Matemática y Lógica

c) [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧∼ 𝑞)] ∨ (∼ 𝑝 ∧∼ 𝑞) AUTOEVALUACIÓN

d) (p∧ 𝑞 ∧ 𝑟) ∨ [(𝑝 ∧∼ 𝑞 ∧ 𝑟) ∨ (∼ 𝑝 ∧∼ 𝑞 ∧ 𝑟)] 1. De los siguientes enunciados cuales son de proposiciones
y no proposiciones:
e) 𝑝 ∨ [(𝑝 ∨ 𝑝) ∧ (𝑞 ∨∼ 𝑝) ∧ (𝑟 ∨ 𝑝) ∧ (𝑟 ∨∼ 𝑝)]
a) Todos los planetas giran alrededor del sol
f) (𝑝 ↔ 𝑞) ↔ [(𝑝 ⟶ 𝑞) ∧ (𝑝 ⟶ 𝑞)]
g) (𝑝 ⟶ 𝑞] ⟷∼ (𝑝 ∧ 𝑞) b) Si un número es divisible por 4 también lo es por
EJERCICIOS DE CIRCUITOS LÓGICOS 2
15. Diseñe los circuitos de las siguientes proposiciones c) a + b + 10 = 20
compuestas: d) a + b + 10 = 20; donde a = 4, b= 7
a) p∨(q∧r) e) Batman es el hombre murciélago
b) ∼[p∧(q∨r)] f) ¡Socorro!
c) (p∧q)∨(r∧s) g) Todo organismo viviente se adapta a su medio
d) (p ∧ q ∧ r) ∨ (∼ p ∧∼ 𝑞 ∧∼ 𝑟) físico

e) (p∧q)∨[q∧(p∧q)∨(∼p∧∼q)] h) ¿Habrá juicio final?

2. Identifica las premisas y conclusiones en el siguientes
f) (𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ 𝑠)
texto:
g) ∼ [∼ (𝑝 ∨ 𝑞) ∧ (∼ 𝑝 ∨∼ 𝑞)]
“La luz que vemos provenientes de las galaxias distantes
h) (𝑝 ∨ 𝑞) ⟶ [(∼ 𝑝 ∨ 𝑞) ⟶ (𝑝 ∧ 𝑞)] salió de ellas hace millones de años, y en el caso del
16. Traduzca a esquemas moleculares los siguientes circuitos: objeto más distante que hemos visto, la luz surgió desde
hace ocho millones de años. Así pues, cuando
a) p q observamos el universo, lo estamos viendo como fue en
el pasado”.

r s 3. Un profesor dice a sus estudiantes lo siguiente: “Estoy

pensando en dos números de los tres números 1, 2 y 3”.
b) p q r Luego los alumnos formularon las siguientes
proposiciones: (determinar el valor de verdad de:)
a) Por los menos uno de los números es impar
t
b) El promedio de sus dos números es mayor que 5/4
c) p
c) Uno de sus números es tres
q r s
d) La diferencia entre sus números es 1
t
e) El primero de los números en que está pensando es
mayor que el segundo
d) p q ~p ~q f) La suma de los cuadrados de sus números es menor
p ~r que 14

r ~s
e)

Lic. Gilmer D. Ordóñez Aguilar Página 11

Matemática y Lógica
INFERENCIAS LÓGICA.- (implicaciones notables)
Una inferencia (llamada también razonamiento,
deducción, argumentación o argumento) es una operación
lógica que consiste en derivar a partir de la verdad de ciertas
proposiciones, conocidas como premisas, la verdad de otra
proposición conocida como conclusión.
La conclusión está en parte contenida en las premisas, de
modo que para que el razonamiento esté bien construido
tiene que haber una relación de necesidad entre las premisas
y la conclusión. Están precedidas de la palabra “puesto
que”, “ya que”, “pues”, “porque”, “siempre que”, “si”, etc.
Ejemplo: Los congresistas representan a la Nación, pero
no están sujetos a mandato imperativo. Luego, los
congresistas representan a la Nación
Premisas:
Conclusión:
Forma Lógica:
Lic. Gilmer D. Ordóñez Aguilar
Los congresistas representas a la nación y los congresistas
no están sujetos a mandato imperativo
Luego los congresistas representan a la Nación
Formula:
p: Los congresistas representan a la Nación
q: Los congresistas están sujetos a mandato imperativo
𝒑
∼𝒒
∴𝒑
O También (𝒑 ∧∼ 𝒒) → 𝒑
Ejemplo: Si esta figura tiene cuatro lados, es un
cuadrilátero. Si esta figura tiene tres lados, es un trilátero.
Esta figura tiene cuatro lados o tiene tres lados. Por lo
tanto, esta figura es un cuadrilátero o un trilátero
Premisas:
 Si esta figura tiene cuatro lados es un cuadrilátero
 Si esta figura tiene tres lados es un trilátero
 Esta figura tiene cuatro lados o tiene tres lados.
Conclusión: Por lo tanto, esta figura es un cuadrilátero
o un trilátero
Formula
Ejemplo: Felipe no será expulsado del club a menos que el
cometa actos de traición e inmoralidad. No ha sido
expulsado, En consecuencia no ha cometido actos de
traición ni de inmoralidad
Forma lógica:
1. Si Felipe comete actos de traición y actos de
inmoralidad, entonces será expulsado del club.
2. Felipe no ha sido expulsado del club
3. Luego Felipe no ha cometido actos de traición y
no ha cometido actos de inmoralidad
Formula
1. (p∧q)→r
2. ∼ 𝑟
3. ∴∼p∧∼q
{[(𝑝 ∧ 𝑞) → 𝑟] ∧∼ 𝑟} → (∼ 𝑝 ∧∼ 𝑞)
LA INFERENCIA LÓGICA O IMPLICACIÓN
LÓGICA
Aquellas que indican, si la proposición p implica la
proposición q, y que esta implicación (p  q) es una
tautología.
Las implicaciones o Inferencias lógicas se pueden escribir
de dos formas:
a) Forma horizontal: se utilizan los conectivos  y 
(p1  p2  ... pn)  q
b) Forma vertical.- no se utilizan los conectivos  y 
. Se escriben verticalmente las premisas y al final de la
última se escribe una raya y luego los tres puntos
seguido de la conclusión
p1
p2
p3
Página 12
Matemática y Lógica
. (p  q)  p  V (p  q)  q  V
….
Ejemplo: Tanto la dinámica como la cinemática
∴q
estudian el movimiento. Por lo tanto, la cinemática
Donde p1, p2, ..., pn son proposiciones llamadas premisas y
estudia el movimiento
q es la conclusión
3) Modus Ponendo Ponens: significa, “afirmando
En el lenguaje formal la conclusión va precedida por el
afirmo” y en un condicional establece, que si el
símbolo “ ∴ ” o el símbolo “ ⊢” que se lee “por lo tanto”
antecedente (primer término, en este caso p) se
o “luego”
afirma, necesariamente se afirma el consecuente
Ejemplo: "Si estudio, aprendo. Es así que estudio, luego (segundo término, en este caso q).
aprendo". 1. 𝑝 → 𝑞
2. 𝑝
1. 𝑝 → 𝑞 ( primera premisa ) ∴𝑞
2. 𝑝 ( segunda premisa )
((p  q)  p)  q  V
∴𝑞 (conclusión)
Ejemplo: Si el 6 es divisor de 42, entonces es
Nota.- En resumen, en lógica no interesa tanto la verdad o divisor de 84. Pero 6 es divisor de 42. Por lo tanto es
falsedad de las proposiciones, sino las relaciones lógicas divisor de 84
que existen entre ellas
Ejemplo: si llueve l, entonces las calles se mojan.
Un razonamiento es válido cuando la conclusión se deriva Llueve, luego las calles se mojan
necesariamente de las premisas y es inválido cuando la
4) Modus Tollendo Tollens: significa “negando,
conclusión no se deriva de las premisas
niego”, Si de un condicional, aparece como premisa
Ejemplos de razonamiento: el consecuente negado (el efecto), eso nos conduce a
negar el antecedente (la causa), puesto que si un
1. 𝑝 → 𝑞 2. 𝑝 → 𝑞 3. 𝑝 → 𝑞 4. 𝑝 → 𝑞 efecto no se da, su causa no ha podido darse.
𝑝 𝑞 ∼𝑝 ∼𝑞 1. 𝑝 → 𝑞
2. ∼ 𝑞
∴𝑞 ∴𝑝 ∴∼ 𝑞 ∴∼ 𝑝
∴∼ 𝑝
Ejemplos: Si el triángulo tiene dos lados iguales se llama
Isósceles. El triángulo no se llama Isósceles. En ((p  q)   q)   p  V
consecuencia el triángulo no tiene dos lados iguales Ejemplo: Si hay calor entonces llueve. No llueve.
p: El triángulo tiene dos lados iguales En consecuencia no hace calor.
q: El triángulo se llama isósceles
1. 𝑝 → 𝑞 Ejemplo: Si llueve, entonces las calles se mojan. Las
2. ∼ 𝑞 calles no se mojan, por lo tanto no llueve
∴∼ 𝑝 Ejemplo: Si aumenta el IGV, los precios suben. Los
(𝐸𝑣𝑎𝑙𝑢𝑎𝑐𝑖𝑜𝑛: 𝑇𝑎𝑏𝑙𝑎 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑) precios no han subido , por lo tanto el IGV no ha
aumentado
Ejemplo: El pueblo es una masa pasiva que sigue bien las
ideas de un gran hombre, bien los preceptos de la idea 5) Modus Tollendo Ponens: si uno de los miembros de
absoluta. Sigue los preceptos de la idea absoluta. Por lo una disyunción es negado, el otro miembro queda
tanto no sigue las ideas de un gran hombre. automáticamente afirmado, ya que uno de los
términos de la elección ha sido descartado
Ejemplo.- Los actos del presidente de la Republica son
nulos a menos que tengan refrendación Ministerial. Son [(p  q)   p*]  q  V
nulos, pues no tiene refrendación ministerial. [(p  q)   q]  p  V
INFERENCIAS LÓGICAS NOTABLES Ejemplo: Vas al tecnológico o vas a la discoteca.
1) Adición: No vas a la discoteca. Por lo tanto vas al tecnológico.
1. 𝑝 Ejemplo: He ido al cine o me he ido de compras, no
∴ 𝑝∨𝑞 he ido de compras, por lo tanto me he ido ak cine
p  (p  q)  V 6) Silogismo hipotético: dadas dos implicaciones, de
2) Simplificación: las cuales el antecedente de la una sea el consecuente
de la otra, podemos construir una nueva implicación
a) 1. 𝑝𝑞 b) 1. 𝑝𝑞 donde el antecedente sea el antecedente de la primera
∴𝑝 ∴𝑞 implicación y el consecuente sea de la consecuente
de la segunda implicación
Lic. Gilmer D. Ordóñez Aguilar Página 13
Matemática y Lógica

[(p  q)  (q  r)]  (p  r)  V [( 𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟)

Ejemplo: Si te levantas temprano, podrás asistir a la
clase de matemática. Si ingresas a la clase de
matemáticas aprenderás sobre el tema de inferencias
lógica. Te levantas temprano, entonces aprenderás el
tema de inferencia lógica
Ejemplo: Si la bola roja golpea a la bola blanca, la
bola blanca se mueve. Si la bola blanca golpea ala
bola negra, la bola negra se mueve. Por lo tanto si la
bola roja golpea a la bola blanca, la bola negra se
mueve.
7) Silogismo disyuntivo.- Dadas tres premisas, dos de
ellas implicaciones, y la tercera una disyunción
cuyos miembros sean los antecedentes de los LÓGICA CUANTIFICACIONAL
condicionales, podemos concluir en una nueva
premisa en forma de disyunción, cuyos miembros
serían los consecuentes de las dos implicaciones.
Lógicamente, si planteamos una elección entre dos
causas, podemos plantear una elección igualmente
entre sus dos posibles efectos, que es el sentido de
esta regla.
[(p  q)  (r  s) (pr]  (ps)  V CONSECUENCIA LÓGICA

Ejemplo: Si llueve, entonces las calles se mojan. La proposición q es consecuencia lógica de las
Si l atierra tiembla, los edificios se caen. Pero proposiciones p1, p2, ..., pn, si la proposición:
llueve o la tierra tiembla. Por tanto las calles se (p1  p2  ... pn)  q es una tautología.
mojan o los edificios se caen

TEOREMA DE REDUCCIÓN AL ABSURDO O

MÉTODO ABREVIADO
La proposición q es consecuencia lógica de las
proposiciones p1, p2, ..., pn, si y solo si la proposición:
(p1  p2  ... pn  q) es una contradicción.
El método es inverso al de la tabla de verdad y consiste en
lo siguiente:
 Se supone verdadero el antecedente y falso el
consecuente.
 Se determinan los valores de las variables del
consecuente, que expresen la falsedad de este.
 Se trasladan estos valores al antecedente, y se
designan los valores de las demás variables.
 Si no se verifica la hipótesis, la formula será
tautología, en consecuencia la inferencia es válida.
Ejemplo
Si eres fiscal, eres abogado. Si eres profesional eres
abogado. Luego, si eres fiscal, eres profesional.
Formula: [( 𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟)
Ejemplo: Si eres un cardiólogo, eres médico. Si eres
médico. Eres colegiado. Luego, si eres cardiólogo, eres
colegiado

Lic. Gilmer D. Ordóñez Aguilar Página 14

Matemática y Lógica
PRACTICA
1. Escriba la palabra si cuando la formula este bien
formada y no en caso contrario. Además diga cómo se
llama, estableciendo la jerarquía entre sus operadores
j) ~𝑝 ⟶ ~𝑞
k) (𝑝 ∧ 𝑞) ∧∼ (𝑟 ∧ 𝑠)
l) ∼ ((𝑝 ∨ 𝑞) ∨⟶ (𝑟 ∧∼ 𝑠)
m) ∼ [𝑝 ⟶ (∼ 𝑞 ∨ 𝑟)]
n) ∼∼ [(𝑝 ∧∼ 𝑞) ⟶ ∼ (𝑡 ∧ 𝑠)]
o) 𝑝 ↓∼ (𝑞 ∼ 𝑟) ∨ ∼ 𝑞
p) ∼ 𝑝⃓[𝑞 ⟶∼ (𝑟 ∧ 𝑠 ∧ 𝑡)]
q) ∼ 𝑝 ↓ ~[𝑞 ↓∼ ( 𝑟⃓ 𝑠 )
r) (p⟶ 𝑞) ∼ [𝑟 ↓∧ (𝑟 ↓ 𝑡)
2. Sean p, q y r las proposiciones siguientes:
p: “está lloviendo”
q: “el sol está brillando”
r: “hay nubes en el cielo”
Traduciremos las siguientes oraciones a notación simbólica
utilizando las letras asignadas y los conectivos lógicos:
g) Está lloviendo y el Sol brillando
h) Si está lloviendo, entonces hay nubes en el cielo
i) Si no está lloviendo, entonces el Sol no está
brillando y hay nubes en el
cielo
j) El Sol está brillando si, y sólo si, no está
lloviendo
k) Si no hay nubes en el cielo, entonces el Sol está
brillando
l) O está lloviendo o el sol está
brillando
3. Sean p, q y r del ejercicio anterior. Traducir las
siguientes proposiciones simbólicas a oraciones en
español:
4. Lectura: “Caía una espesa lluvia. Juan se despertó y
lanzó un gemido ¡Aj,… aj,… el colegio! Se levantó de
la cama y se sentó en una silla. Oyó la bocina de un auto
o el silbato de un policía. Entonces se estremeció. Por
causa del frío o del miedo. Estaban haciendo tanto
ruido. Repentinamente se le iluminó la cara. ¡Qué bien!
Se habían acordado de algo. Las clases no empiezan
hoy, sino mañana”
a) Redacta una lista de las proposiciones simples de la
lectura leída
p: ___________________________
q: ___________________________
Lic. Gilmer D. Ordóñez Aguilar
r:____________________________
s____________________________
t:____________________________
b) En base a las proposiciones anteriores haz una lista
de proposiciones compuestas
_____________________________
_____________________________
_____________________________
_____________________________
____________________________
5. Simboliza las siguientes proposiciones:
a) Es incorrecto que 15 es un cuadrado perfecto,
puesto que tiene raíz cuadrada exacta.
b) Isabel no irá al teatro, si y solo si se compra un
libro o se compra un disco
c) Si hace calor y el cielo está claro, entonces vamos
a nadar y pasear en bote.
d) La aguja de la brújula gira en vista de que la
embarcación a cambiado de rumbo, y la
embarcación ha cambiado de rumbo dado que hay
tormenta en alta mar.
e) Si Abelardo está en Europa, o él está en Colombia,
entonces no ocurre que Juan está en el Ecuador.
f) El Perú importa arroz, puesto que no hay
producción porque existe recesión.
g) Esther estudia matemática o
comunicación se deduce que pasará el
semestre, aunque ni estudia matemática ni
comunicación, en consecuencia no pasará el
semestre.
h) No es cierto que sea un buen estudiante y destaque
en el futbol.
i) No es el caso que, hace frío y no se congele, sin
embargo no hace frío.
j) La Huelga continua pues no hay solución
k) David no es loretano ni limeño
l) Si se calienta un cuerpo entonces se dilata y si se
enfría entonces se contrae.
m) Las estrellas nacen y viven, pero también mueren.
n) Si el ciclotrón bombardea el átomo, entonces
acelera la velocidad de los protones.
o) Sufre la pena, pues cometiste la culpa
p) Sin su libre consentimiento, sin la debida
retribución, no se puede le puede obligar a prestar
trabajo.
q) Tanto Carlos como Federico son ateos porque son
materialistas.
r) Aunque esté enfermo, no faltare a clases.
1. Construye la Tabla de verdad para las siguientes
proposiciones
j) p ∧ ( p ∨ q ) ⇔ p
k) p ∨ ( p ∧ q ) ⇔ p
l) ~ p ∧ q ) ⇔~ p ∨~ q
Página 15
 Matemática y Lógica

m) ( p ∨ q ) ∨ r ⇔ p ∨ ( q ∨ r ) j) ∼[p∧(q∨r)
n) ( p ↔ q ) ↔ r ⇔ p ↔ ( q ↔ r ) k) (p∧q)∨(r∧s)
o) p ∨ ( q ∧ r ) ⇔ ( p ∨ q ) ∧ ( p ∨ r ) l) (p ∧ q ∧ r) ∨ (∼ p ∧∼ 𝑞 ∧∼ 𝑟)
p) p ↓ q ⇔~ ( p ∨ q ) m) (p∧q)∨[q∧(p∧q)∨(∼p∧∼q)]
q) p → ( q → r ) ⇔ q → ( p → r ) n) (𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ 𝑠)
r) ~ ( p ∧ q ) ⇔~p ∨~q o) ∼ [∼ (𝑝 ∨ 𝑞) ∧ (∼ 𝑝 ∨∼ 𝑞)
s) ( p ∧ q ) → r ⇔ p → ( q → r ) p) (𝑝 ∨ 𝑞) ⟶ [(∼ 𝑝 ∨ 𝑞) ⟶ (𝑝 ∧ 𝑞)]
2. Sean las proposiciones p, q, r cuyos valores de verdad s) Traduzca a esquemas moleculares los siguientes
es V, F y F Hallar el valor de verdad de las siguientes circuitos:
proposiciones
g) (~𝑝⋀𝑞) ⟶ 𝑝
h) (~𝑝⋁~𝑞)⋀[(𝑝 ∨∼ 𝑟) ∧ (𝑞 ∨ 𝑟)]
i) (𝑝 ∧∼ 𝑞) ⟶ (𝑞 ∨ 𝑟)
j) (p⟶ 𝑞) ⟷ (𝑞 ∨∼ 𝑟)
k) [(p∧ 𝑟) ∨ (𝑝 ⟶ 𝑞)] ∧ 𝑞
3. De las siguientes proposiciones, diga cuales son
tautologías, contradicciones o contingencias f) p q
l) (~𝑝⋀𝑞) ⟷ (𝑝 ∨∼ 𝑞)
m) (p⟶ 𝑞) ⟶ 𝑟
r s
n) ∼ [(𝑝 ⟶ 𝑞) ⟷ (𝑝 ∨ 𝑞)
o) ∼ (𝑝 ⟷ 𝑞) ⟷ (𝑝 ⟷ 𝑞) g)
p) [(𝑝 ∧ 𝑞) ∧ 𝑞] ⟶ 𝑝
q) [(𝑝 ⟶ 𝑞) ∧ (𝑞 ⟶ 𝑟)] ⟶ (𝑝 ⟶ 𝑟) p q r
r) [(𝑝 ⟶ 𝑞) ∧∼ 𝑞] ⟶∼ 𝑝
s) ∼ [(𝑝 ∧ 𝑞) ⟶∼ (∼q∨∼ 𝑝)]
t) [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟)] → (∼ 𝑝 →∼ t
𝑟) h) p
u) ∼ [𝑝 →∼ (𝑞 ∧∼ 𝑝) ↓ [∼ (𝑝 ∨ 𝑞) → 𝑟)
4. De la Falsedad de la siguiente proposición (𝑝 →∼
q r s
𝑞) ∨ (∼ 𝑟 ⟶ 𝑠)
d) (∼ 𝑝 ∧∼ 𝑞) ∨∼ 𝑞 t
e) (∼ 𝑟 ∨∼ 𝑞) ⟷ (∼ 𝑞 ∨ 𝑟) ∧ 𝑠
f) (p⟶ 𝑞) ⟶ (𝑝 ∨ 𝑞) ∧∼ 𝑞 i) p q ~p ~q
5. Si el esquema [(p∨∼ 𝑞) ⟶ (𝑟 ⟶ 𝑞), , es falsa, hallar
p ~r
el valor de verdad de los siguientes esquemas
moleculares, si se da a l proposición p: 2 es divisor de
5 r ~s
d) (𝑝 ∨ 𝑞) ∧ (𝑟 ∨∼ 𝑞) j) D
e) (p⟶∼ 𝑟) ∨ (∼ 𝑞 ∧ 𝑝)
f) [𝑝 ∨ (𝑞 ∧∼ 𝑟)] ⟷ (𝑝 ∧∼ 𝑟)
6. Determinar los esquemas más simples de las siguientes
proposiciones:
h) ∼ [∼ (𝑝 ∧ 𝑞) ⟶∼ 𝑞] ∨ 𝑝
i) 𝑝 ∨ (𝑞 ∧ 𝑟) ∨ (𝑞 ∧∼ 𝑟)
j) [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧∼ 𝑞)] ∨ (∼ 𝑝 ∧∼ 𝑞)
k) (p∧ 𝑞 ∧ 𝑟) ∨ (𝑝 ∧∼ 𝑞 ∧ 𝑟) ∨ (∼ 𝑝 ∧∼ 𝑞 ∧ 𝑟)
l) 𝑝 ∨ [(𝑝 ∨ 𝑝) ∧ (𝑞 ∨∼ 𝑝) ∧ (𝑟 ∨ 𝑝) ∧ (𝑟 ∨∼ 𝑝)]
m) 𝑝 ↔ 𝑞) ↔ [(𝑝 ⟶ 𝑞) ∧ (𝑝 ⟶ 𝑞)]
n) (𝑝 ⟶ 𝑞] ⟷∼ (𝑝 ∧ 𝑞)
7. Diseñe los circuitos de las siguientes proposiciones
compuestas:
i) p∨(q∧r)
Lic. Gilmer D. Ordóñez Aguilar Página 16