Matemática Básica I
LÓGICA PROPOSICIONAL
INTRODUCCIÓN
Lógica es el estudio de los procesos válidos del
razonamiento humano. En la actualidad, el estudio
serio de cualquier tema tanto en el campo de las
Humanidades como el de las ciencias y la técnica
requieren conocer los fundamentos y métodos del
razonamiento lógico preciso que permite al
estudiante o profesional extraer y depurar sus
conclusiones evitando el riesgo de modificar en
forma equivocada la información que posee. Esto es
aún más en esta era de la computación, herramienta
que es empleada en todos los campos del desarrollo
de una sociedad y con la velocidad a la cual se
procesan los datos cualquier error de lógica puede
originar problemas técnicos, sociales y económicos.
Siendo muy importante, en la matemática moderna
el análisis del lenguaje con un criterio lógico: la
Ilógica tiene como fin de conducimos a un hábil
manejo del lenguaje matemático y el empleo de
métodos eficaces de razonamiento.
Existen dos tipos importantes del razonamiento: El
inductivo y el Deductivo.
El razonamiento inductivo es el razonamiento por el
cuál una persona en base a sus experiencias
específicas, decide aceptar como válida un principio
general.
El razonamiento deductivo es, en cambio, el medio
según el cual dicha persona utiliza el principio
general aceptado previamente para decidir sobre la
validez de una idea, que a su vez habrá de
determinar el curso de su acción.
Dado que las proposiciones son preceptos válidos
de razonamiento deductivo, en el desarrollo de
nuestro estudio veremos lo esencial de la lógica
proposicional, a través del uso y manejo de una
simbología adecuada.
ELEMENTOS DE LÓGICA SIMBÓLICA
a) ENUNCIADO. - Se denomina enunciado a
toda frase u oración.
Ejemplo:
 11 es un número primo
 París está en Italia
 ¿Qué hora es?
 ¡Viva el Perú!
 5>9
 6+2=8
 x2 < 9
 x2 + y2 ≤ 4
Los enunciados que matemáticamente
tienen significado son aquellos que pueden
ser considerados como verdaderos o falsos
(proposiciones); algunos enunciados no es
posible afirmar si es verdadero o falso, como,
por ejemplo, las interrogaciones, las
exclamaciones o las preguntas.
b) ENUNCIADOS ABIERTOS. – Son
expresiones que contienen variables y no
tienen la propiedad de ser verdadero o falso.
Ejemplo:
 x < 7, es un enunciado abierto,
porque no podemos afirmar si es
verdadero o
 falso, solamente cuando a la variable
x se le da un valor numérico
podemos decir si es verdadero o
falso.
Así, por ejemplo: para x = 3, 3 < 7 es
verdadero
para x = 9, 9 < 7 es falso + y = 16,
también es un enunciado abierto.
 𝑥 2 + 𝑦 2 = 16, también es un
enunciado abierto.
c) VARIABLE. - Es una cantidad susceptible
de variar en un determinado campo o
recorrido, a las variables representaremos
por las letras minúsculas x, y, z. t, u, v, a
estas variables se les dá el nombre de
variables indeterminados.
Ejemplo:
 𝑦 = √𝑥 − 5 es un número real, si x es
un número real que sea mayor o igual
a 5 El campo o recorrido de x es x ≥
5.
 En la ecuación 𝑥 2 + 𝑦 2 = 16
o El campo o recorrido de x es
−4 ≤ 𝑥 ≤ 4
o El campo o recorrido de y es
−4 ≤ 𝑦 ≤ 4
o
Lic. Efraín Gil Pando Vega | 1
Matemática Básica I

PROPOSICIONES LÓGICAS No son proposiciones por no poder ser evaluadas

Es todo enunciado, respecto de la cual se puede
decir si es verdadera (V) o falsa (F)
Notación. Por lo general, a las proposiciones se las
representa por las letras del alfabeto desde la letra
p, es decir, p, q, r, s, t,... etc.
Así, por ejemplo, podemos citar las siguientes
proposiciones y su valor de verdad:
p: Rímac es el distrito de la provincia de Lima (V)
q: El número 15 es divisible por 3. (V)
r: El perro es un ave. (F)
s: Todos los triángulos tienen cuatro lados (F)
EXPRESIONES NO PROPOSICIONALES
a) ¡Levántate temprano! b) ¿Has entendido lo que
es una proposición? c) ¡Estudia esta lección! d)
¿Cuál es tu nombre? e) Prohibido pasar f) Borra el
pizarrón
Ejemplo
Nombre Notación
de uso
como verdaderas ni falsas. Las exclamaciones,
órdenes ni las preguntas son proposiciones.
VALORES DE VERDAD.- Se llama valores de
verdad de una proposición a sus dos valores
posibles; verdadero o falso, estos posibles valores
se pueden esquematizar en una tabla de verdad de
la forma.
p
V
F
CONECTIVOS LÓGICOS
Enlazan proposiciones simples. A partir de
proporciones simples es posible generar otras,
simples o compuestas. Es decir que se puede
operar con proposiciones, y para ello se utilizan
ciertos símbolos llamados conectivos lógicos.
Análogo Ejemplo de uso en
natural el lenguaje natural

Negación no No está lloviendo.

Conjunción y Está lloviendo y es de noche.

Disyunción o Está lloviendo o es de noche.

Condicional Si está lloviendo, entonces es de

si... entonces
material noche.

Está lloviendo si y sólo si es de

Bicondicional si y sólo si
noche.

Negación
ni... ni Ni está lloviendo ni es de noche.
conjunta

Disyunción , o bien... o O bien está lloviendo, o bien es de

excluyente ∆ bien noche.
𝑝∆𝑞

2 | Lic. Efraín Gil Pando Vega

 Matemática Básica I

CLASES DE PROPOSICIONES LÓGICAS ~p: no todos los alumnos estudian matemática

o bien: ~p: no es cierto que todos los alumnos
a) PROPOSICIONES SIMPLES O estudian matemática
ATÓMICAS. – En una proposición que no ~p: hay alumnos que no estudian matemática
contiene ningún conectivo lógico.
2.- CONJUNCIÓN
Ejemplo.- (1) 6 es par (2) 2+ 5 = 7 Dadas dos proposiciones p y q, se denomina
conjunción de estas proposiciones a la
b) PROPOSICIONES COMPUESTOS O proposición p  q (se lee "p y q")
MOLECULARES.- Es una proposición que Ejemplo.
contiene al menos un conectivo lógico. Sea la declaración
i) 5 es un número impar y 6 es un número par
Ejemplo.- 
p q
(1) 5 es primo y 2 es par vemos que está compuesta de dos proposiciones
a las que llamaremos p y q, que son
(2) Si 5 es par entonces 2 es impar.
p: 5 es un número impar
q: 6 es un número par
(3) Si n es par entonces n es divisible por y por ser ambas verdaderas, la conjunción de
2. ellas (que no es sino la declaración i) es
verdadera.
PROPOSICIONES COMPUESTAS BÁSICOS
Tabla de verdad
Definiremos las operaciones entre proposiciones
en el sentido siguiente: dadas dos o más
p q p  q
proposiciones, de las que se conoce los valores
veritativos, se trata de caracterizar la proposición
resultante a través de su valor de verdad. A tal V V V
efecto, estudiaremos a continuación el uso y V F F
significado de los diferentes conectivos lógicos F V F
mencionados arriba: F F F

1.- NEGACIÓN La tabla que define esta operación, establece que

Dada una proposición p, se denomina la
negación de p a otra proposición denotada por
~p (se lee "no p") que le asigna el valor veritativo
opuesto al de p. Por ejemplo:
p: Diego estudia matemática
~p : Diego no estudia matemática
Por lo que nos resulta sencillo construir su tabla
de verdad:
p ~p
la conjunción es verdadera sólo si lo son las dos
proposiciones componentes. En todo otro caso,
es falsa.
Ejemplo 2: Si p: 3 es mayor que 7
q : Todo número par es múltiplo de dos
Entonces :
p  q : 3 es mayor que 7 y todo número par es
múltiplo de dos
Por ser ambas verdaderas la conjunción de ellas
es verdadera

V F 3.-DISYUNCIÓN
F V Dadas dos proposiciones p yq, la disyunción de las
Se trata de una operación unitaria, pues a partir proposiciones p y q es la proposición p  q , se
de una proposición se obtiene otra, que es su lee ” p o q “
negación. Ejemplo 1.
Ejemplo. Tiro las cosas viejas o que no me sirven
La negación de El sentido de la disyunción compuesta por p y q (p:
p: todos los alumnos estudian matemática es tiro las cosas viejas, q: tiro las cosas que no me
sirven) es incluyente, pues si tiro algo viejo, y que
además no me sirve, la disyunción es V.

Lic. Efraín Gil Pando Vega | 3

Matemática Básica I

La disyunción o es utilizada en sentido excluyente, Tabla de verdad

ya que la verdad de la disyunción se da en el caso p q p  q
de que al menos una de las proposiciones sea
verdadera
V V V
Tabla de verdad
V F F
p q p  q F V V
F F V
V V V
V F V
F V V La tabla nos muestra que la implicación sólo es
F F F falsa si el antecedente es verdadero y el
consecuente es falso.
Ejemplo2 5.- DOBLE IMPLICACIÓN O BICONDICIONAL
Si p : Hace frió en Invierno , y Doble implicación de las proposiciones p y q es la
q : Napoleón invadió Lima
proposición p  q (se lee "p si y sólo si q")
p  q : Hace frió en Invierno o Napoleón invadió
Ejemplo 1:
Lima
p : Karina ingresa a la universidad
Por ser al menos una de la proposiciones
q : Karina estudia mucho
verdadera la conjunción es verdadera
Entonces:
p  q : Karina ingresa a la universidad si y
4.- IMPLICACIÓN O CONDICIONAL
sólo si estudia mucho.
Implicación de las proposiciones p y q es la
Ejemplo 2:
proposición p  q (si p entonces q). La
Sea i) a = b si y sólo si a² = b²
proposición p se llama antecedente, y la
El enunciado está compuesto por las
proposición q se llama consecuente de la
proposiciones:
implicación o condicional.
p: a = b
Ejemplo.
q: a² = b²
Supongamos la implicación
Esta doble implicación es falsa si p es F y q es V.
i)Si apruebo, ENTONCES te presto el libro
En los demás casos es V.
Tabla de verdad
p  q
p q p  q
La implicación está compuesta de las
proposiciones V V V
p: apruebo V F F
q: te presto el libro F V F
Nos interesa conocer la verdad o falsedad F F V
de la implicación i), en relación a la verdad o
falsedad de las proposiciones p y q. El enunciado La doble implicación o bicondicional sólo es
puede pensarse como un compromiso, verdadera si ambas proposiciones tienen el
condicionado por p, y podemos asociar su verdad mismo valor de verdad.
al cumplimiento del compromiso. Es evidente La doble implicación puede definirse como la
que si p es F, es decir si no apruebo el examen, conjunción de una implicación y su recíproca. De
quedo liberado del compromiso y preste o no el
este modo, la tabla de valores de verdad de p 
apunte la implicación es verdadera.
q puede obtenerse mediante la tabla de (p  q)
Si p es verdadera, es decir si apruebo el examen,
y no presto el libro, el compromiso no se cumple  (q  p), como vemos:
y la proposición i) es falsa. Si p y q son
verdaderas, entonces la proposición i) es
verdadera pues el compromiso se cumple.

4 | Lic. Efraín Gil Pando Vega

 Matemática Básica I

p  p q p  q
p q qp (p  q)  (q  p)
q
V V F
V V V V V V F V
V F F V F F V V
F V V F F F F F
F F V V V

La verdad de p  q está caracterizada por la

DIFERENCIA SIMÉTRICA O INCLUSIÓN
EXCLUSIVA
Diferencias simétrica o disyunción en sentido
excluyente de las proposiciones p y q es la
proposición p  q (se lee "p o q en sentido
excluyente") cuya tabla de valores de verdad es:
verdad de una y sólo una de las proposiciones
componentes.
Ejemplo.
Sea i) o vamos a Lima o vamos a Ica
queda claro que sólo podremos ir a uno de los dos
lugares, y sólo a uno. Es decir que el enunciado i)
es verdadero sólo si vamos a una de las dos
ciudades. En caso de ir a ambas, o de no ir a
ninguna, el enunciado es Falso.

PROPOSICIONES COMPUESTAS

Mediante los conectivos lógicos se pueden combinar cualquier número finito de proposiciones cuyos valores
de verdad pueden ser conocidos, construyendo su tabla de verdad, en dicha tabla se puede indicar los
valores resultantes de estas proposiciones compuestas, para todas las combinaciones posibles de valores
de verdad de las proposiciones compuestas.

Ejemplo. - La tabla de verdad de la proposición compuesta de:

[(p→q) ˄ (q→r)]→(p→r)

p q r p→q q→r p→r [(p→q) ˄ (q→r)]→(p→r)

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

Lic. Efraín Gil Pando Vega | 5

Matemática Básica I

JERARQUÍA DE CONECTIVOS LÓGICOS contradicciones, es decir, son

proposiciones que en algunos casos es F,
Si se tiene una proposición compuesta con varios y en otros es V.
conectivos lógicos, para realizar las operaciones
primero se debe colocar los paréntesis IMPLICACIÓN LÓGICA Y EQUIVALENCIA
adecuadamente empezando con las LÓGICA
proposiciones que se encuentran dentro de los
paréntesis anteriores, luego siguen todas las i. A toda proposición condicional p→q que
negaciones y se avanza de izquierda a derecha sea tautología le llamaremos implicación
(los corchetes son considerados como lógica (o simplemente implicación) en éste
paréntesis). caso a la condicional denotaremos por 𝑝 ⇒
𝑞.
TAUTOLOGÍAS, CONTRADICCIONES Y ii. A toda proposición Bicondicional p↔q que
CONTINGENCIAS sea tautología le llamaremos equivalencia
lógica (o simplemente equivalencia) en
a) TAUTOLOGÍA. - Son proposiciones éste caso a la bicondicional denotaremos
compuestos que siempre son verdaderos por 𝑝 ⇔ 𝑞.
cualquiera que sea el valor de las
proposiciones componentes.
PROPOSICIONES LÓGICAMENTE
b) CONTRADICCIONES. - Son
EQUIVALENTES
proposiciones compuestas que siempre
son falsas, cualquiera que sea el valor de
las proposiciones. Dos proposiciones p y q se llaman equivalentes si
c) CONTINGENCIA. - Son proposiciones sus tablas de verdad son idénticas. De ser así se
compuestas que no son ni tautología ni denota: 𝑝 ≅ 𝑞.

1. Determinar el valor de verdad de las 4. Construir la tabla de verdad de la siguiente

siguientes proposiciones
a) Si 5 + 4 = 11, entonces 6 + 6 = 12
b) No es verdad que 3 + 3 = 7 sí y
solo sí 5 + 5 = 12
c) Lima está en Chile o La Paz está en
Ecuador
d) No es verdad que 2 + 2 = 5 o que
3+1=4
2. Determinar el valor de verdad de cada una
de las siguientes proposiciones
a) 4 + 8 = 12 y 9 − 4 = 5
b) 8 ÷ 4 = 12 y 8 − 3 = 2
c) 8 ÷ 4 = 12 o 7 − 2 = 3
d) La UNMSM está en Arequipa o está
en Lima
e) La UNI está en Lima o está en
Trujillo
f) Sí 5 + 2 = 7, entonces 3 + 6 = 9
g) Si 4 + 3 = 2, entonces 5 + 5 = 10
3. Evalúa la tabla de verdad de la proposición
compuesta ~(𝑝 ∧ 𝑞) ↔ (~𝑝 ∨ ~𝑞)
proposición
~{~[𝑝 ∨ (~𝑞 ⟶ 𝑝)]
∨ ~[(𝑝 ↔ ~𝑞) ⟶ (𝑞 ∧ ~𝑝)]}
5. Determinar la proposición [(~𝑝 ∨ 𝑞) ∧
~𝑞] ⟶ ~𝑝 es una tautología
6. Verificar que las siguientes proposiciones
son contradicciones
a) (𝑝 ∧ 𝑞) ∧∼ (𝑝 ∨ 𝑞)
b) ∼ [𝑝 ∨ (∼ 𝑝 ∨∼ 𝑞)]
7. Demostrar que la proposición dada es una
tautología [(𝑝 ∨∼ 𝑞) ∧ 𝑞] ⟶ 𝑝
8. Verificar que la proposición dada es una
contingencia
[∼ 𝑝 ∧ (𝑞 ∨ 𝑟)] ⟷ [(𝑝 ∨ 𝑟) ∧ 𝑞]
9. Determinar si las proposiciones [𝑝 ⟶
(𝑟 ∨∼ 𝑞)] y (𝑞 ⟶∼ 𝑝) ∨ (∼ 𝑟 ⟶∼ 𝑝) son
equivalentes
10. Determinar si las proposiciones [(∼ 𝑝 ∨
𝑞) ∨ (∼ 𝑟 ∧∼ 𝑝)] y [∼ 𝑞 ⟶∼ 𝑝] son
equivalentes

6 | Lic. Efraín Gil Pando Vega


1. Determinar cuáles de los siguientes
enunciados son proposiciones
a) 5 + 7 = 16 − 4
b) 3 × 6 = 15 + 1 y 4 − 2 ≠ 23 × 5
c) ¿El silencio es fundamental para
estudiar?
d) ¡Estudia lógica simbólica!
e) Nosotros estudiamos en la
Universidad Peruana
f) Los hombres no pueden vivir sin
oxígeno
g) ¡Arriba Callao!
h) 5 + 𝑥 = 7
i) 2 + 𝑥 ≠ 3 + 𝑥
2. Determine cuáles de los siguientes
enunciados son enunciados abiertos
a) x es hermano de y
b) 28 < 15
c) 𝑥 + 𝑦 + 𝑧 ≠ 1
d) 9𝑥 + 3 > 12
e) Tenga calma, no se impaciente
f) x es ingeniero y Juan es Matemático
g) La UNAMBA sobresalió en el deporte
en el año 2017
3. ¿Cuáles de las siguientes proposiciones son
verdaderas y cuáles son falsas?
a) Si 3 + 3 = 6, entonces 4 = 4
b) Si 5(7) = 35, entonces 10 − 3 = 13
c) Si 19 − 7 = 3, entonces 4(5 + 3) =
32
d) Si 2 = 3 entonces 8 es un número
primo
e) Si 3(7) es un número natural,
entonces 17 es un número primo
f) Si 𝑥 = 2, entonces 3𝑥 = 6
4. Determine el valor de verdad de las
siguientes proposiciones
a) (3 + 5 = 8) ∨ (5 − 3 = 4)
b) (3 + 8 = 11) ∨ (7 − 3 > 1)
c) (5 − 3 = 8) ⟶ (1 − 7 = 6)
d) (4 + 6 = 9) ⟷ (5 − 2 = 4)
5. Si 𝑝(𝑥): 𝑥 2 − 16 = 0, 𝑞(𝑥): 𝑥 − 12 =
2 (𝑞 ∧∼ 𝑝)] es verdadera, hallar los valores de
0, 𝑟(𝑥): 𝑥 > 9. Hallar el valor de verdad de:
a) [𝑝(2) ∧∼ 𝑞(2)] ↔ 𝑟(4)
b) [∼ 𝑝(4) → 𝑟(5)] ∨∼ 𝑞(4)
6. Construir la tabla de verdad de las siguientes
proposiciones:
a) (𝑝 ↔∼ 𝑞) ↔ (𝑞 → 𝑝)
b) (𝑝 ∧∼ 𝑞) → (∼ 𝑝 → 𝑞)
Matemática Básica I
c) [(𝑝 ∨∼ 𝑟) ∧ (𝑝 ∨ 𝑟)] ∧ [(𝑞 → 𝑝) ∧ (𝑞 ∨
𝑝)]
d) ∼ (𝑝 ∨∼ 𝑞) ∧ (∼ 𝑝 ∨ 𝑟)
e) ∼ [𝑝 ∧ (∼ 𝑞 → 𝑝)] ∧ [∼ (𝑝 ↔∼ 𝑞) →
(𝑞 ∨∼ 𝑝)]
7. Construir la tabla de verdad de las
siguientes proposiciones:
a) (𝑝 ∧ 𝑞) ∨ (∼ 𝑝) ⇒ (𝑝 ∨ 𝑞)
b) (𝑝 ⇒ 𝑞) ⇒ 𝑟
c) (𝑝 ⇒ 𝑞) ⇒ (𝑞 ⇒ 𝑝)
d) (∼ 𝑝 ∨ 𝑞) ⇒ (∼ 𝑞 ⇒∼ 𝑝)
e) (𝑝 ∧ 𝑟) ⇒ (∼ 𝑞 ∨ 𝑟)
f) [(𝑝 ∧ 𝑞) ∨ 𝑟] ⇔ [(∼ 𝑝 ⇒∼ 𝑞) ∧ (∼ 𝑟)]
8. Determinar cuál de las siguientes
proposiciones son tautología:
a) [(𝑝 ∨∼ 𝑞) ∧ 𝑞] ⟶ 𝑝
b) [(𝑝 ∧ 𝑞) ∨ 𝑞] ⟷ 𝑞
c) [(∼ 𝑝 ∧ (𝑞 ∧∼ 𝑟))] ⟷ [(∼ 𝑝 ∧ 𝑞) ∨∼
(𝑝 ∨ 𝑟)]
9. Por medio de una tabla de valores,
establecer, si cada uno de los siguientes
esquemas moleculares es tautología,
contingencia o contradicción.
a) ∼ [∼ 𝑝 ⟶∼ (∼ 𝑞 ∧∼ 𝑝)] ∨∼ (∼ 𝑝 ∨∼
𝑞)
b) [(𝑝 ∨∼ 𝑞) ∧∼ 𝑝] ∧ (∼ 𝑞 ⟶ 𝑝)
c) ∼ (𝑝 ⟶ 𝑞) ⟷∼ (∼ 𝑞 ⟶∼ 𝑝)
d) [𝑝 ⟶ (𝑝 ⟶ 𝑟)] ⟷ [(𝑝 ∧∼ 𝑟) ⟶∼ 𝑞]
e) [𝑝 ∧ (∼ 𝑞 ⟶ 𝑝)] ∧∼ [(𝑝 ⟶∼ 𝑞) ⟶
(𝑞 ∨∼ 𝑝)]
f) [∼ 𝑝 ∧ (𝑝 ∨∼ 𝑟)] ⟷ [(∼ 𝑝 ∧ 𝑞) ∨∼
(𝑝 ∨ 𝑟)]
10. Determinar cuáles de las siguientes
proposiciones son tautología,
contradicciones y contingencias.
a) ∼ (∼ 𝑝) ⟷∼ [∼ (∼ 𝑝)]
b) (∼ 𝑝 ∨ 𝑞) ∧ (∼ 𝑞 ⟶ 𝑝)
c) [(𝑝 ∨ 𝑞) ∧ 𝑟] ⟷ [∼ (𝑝 ∧ 𝑟) ∧∼ (𝑞 ∧ 𝑟)]
d) [(𝑝 ∧ 𝑞 ∧ 𝑟) ⟶ 𝑠] ⟷ [(𝑝 ∧ 𝑞) ⟶
(𝑟 ⟶ 𝑠)]
11. Si ∼ [(∼ 𝑝 ∨ 𝑞) ∨ (𝑟 ⟶ 𝑞)] ∧ [(∼ 𝑝 ∨ 𝑞) ⟶
verdad de p, q, y r.
12. Si la proposición (𝑝 ⟶∼ 𝑞) ⟶ (𝑟 ⟶∼ 𝑠) es
falsa. Hallar el valor de verdad de las
siguientes proposiciones p, q, r, s.
Lic. Efraín Gil Pando Vega | 7
Matemática Básica I

13. Si la proposición ∼ (𝑝 ∧ 𝑞) ∧ (𝑞 ⟷ 𝑝) es
verdadera; entonces hallar los valores de
verdad de p y q respectivamente.
14. Si la proposición (𝑝 ⟶∼ 𝑞) ∨ (∼ 𝑟 ⟶ 𝑠) es
falsa. Hallar el valor de verdad de los
siguientes esquemas moleculares.
a) (𝑝 ⟶ 𝑞) ⟶ [(𝑝 ∨ 𝑞) ∧∼ 𝑞]
b) (∼ 𝑟 ∨ 𝑞) ⟷ [(∼ 𝑞 ∨ 𝑟) ∧ 𝑠]
c) (∼ 𝑝 ∧∼ 𝑞) ∨∼ 𝑞
15. Determinar el valor de verdad de las
proposiciones p y q si se conoce que el valor
de verdad de del siguiente esquema [∼
(∼ 𝑝 ⟶ 𝑞) ⟶∼ (𝑝 ⟶∼ 𝑞)] ⟶ (𝑝 ⟶ 𝑞) es
falso.
16. Si el esquema (𝑝 ∧ 𝑞) ⟶ (𝑝 ⟶ 𝑟) tiene valor
de verdad, falso, hallar el valor de verdad de
los esquemas:
a) [(𝑝 ∧ 𝑞) ∨ (𝑞 ∨∼ 𝑟)] ⟷ (𝑝 ∨∼ 𝑟)
b) (𝑝 ∨∼ 𝑞) ⟶ (∼ 𝑟 ∧ 𝑞)
c) ∼ (𝑞 ∨ 𝑟) ∨ (𝑝 ∨ 𝑞)
17. Si la proposición (𝑞 ∧∼ 𝑝) ⟶ [(𝑝 ∧ 𝑟) ∨ 𝑡] es
falsa, calcular el valor de verdad de la
proposición: (∼ 𝑝 ⟶ 𝑡) ⟶ (∼ 𝑞 ⟶ 𝑟)
18. Si el esquema (∼ 𝑝 ⟶∼ 𝑞) ∨ (𝑟 △ 𝑞) es
falsa, determinar el valor de verdad de:
a) (𝑝 ⟶ 𝑞) ⟶ (𝑟 △∼ 𝑞)
b) ∼ 𝑞 ⟶ [(𝑝 ⟷ 𝑞) ∧ 𝑟]
19. Si el esquema indicado: {(∼ 𝑝 ∨ 𝑞) ∨ [(𝑝 ⟶
𝑞) ∧ 𝑡]} ∧ 𝑞 es verdadero, indicar el valor de
verdad de:
a) 𝑝 ⟶ 𝑞
b) 𝑡 ∨ 𝑞
c) ∼ 𝑞 ∨ (𝑡 ∨ 𝑝)
20. Hallar los valores de verdad de: p, q, r si:
[(∼ 𝑝 ∨ 𝑞) ∨ (𝑟 ⟶ 𝑞)] ∧ [(∼ 𝑝 ∨ 𝑞) ⟶ (𝑞 ∧∼
𝑝)] es falso.

8 | Lic. Efraín Gil Pando Vega