Está en la página 1de 8

Matemática Básica I

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

Lic. Efraín Gil Pando Vega | 1


Matemática Básica I

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


como verdaderas ni falsas. Las exclamaciones,
Es todo enunciado, respecto de la cual se puede órdenes ni las preguntas son proposiciones.
decir si es verdadera (V) o falsa (F) VALORES DE VERDAD.- Se llama valores de
Notación. Por lo general, a las proposiciones se las verdad de una proposición a sus dos valores
representa por las letras del alfabeto desde la letra posibles; verdadero o falso, estos posibles valores
p, es decir, p, q, r, s, t,... etc. se pueden esquematizar en una tabla de verdad de
Así, por ejemplo, podemos citar las siguientes la forma.
proposiciones y su valor de verdad: p
p: Rímac es el distrito de la provincia de Lima (V)
V
q: El número 15 es divisible por 3. (V)
r: El perro es un ave. (F) F
s: Todos los triángulos tienen cuatro lados (F)
EXPRESIONES NO PROPOSICIONALES CONECTIVOS LÓGICOS
a) ¡Levántate temprano! b) ¿Has entendido lo que Enlazan proposiciones simples. A partir de
es una proposición? c) ¡Estudia esta lección! d) proporciones simples es posible generar otras,
¿Cuál es tu nombre? e) Prohibido pasar f) Borra el simples o compuestas. Es decir que se puede
pizarrón operar con proposiciones, y para ello se utilizan
ciertos símbolos llamados conectivos lógicos.
Ejemplo Análogo Ejemplo de uso en
Nombre Notación
de uso 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 la conjunción es verdadera sólo si lo son las dos
negación de p a otra proposición denotada por proposiciones componentes. En todo otro caso,
~p (se lee "no p") que le asigna el valor veritativo es falsa.
opuesto al de p. Por ejemplo: Ejemplo 2: Si p: 3 es mayor que 7
p: Diego estudia matemática q : Todo número par es múltiplo de dos
~p : Diego no estudia matemática Entonces :
Por lo que nos resulta sencillo construir su tabla p  q : 3 es mayor que 7 y todo número par es
de verdad: múltiplo de dos
Por ser ambas verdaderas la conjunción de ellas
p ~p
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 verdad de una y sólo una de las proposiciones
EXCLUSIVA componentes.
Diferencias simétrica o disyunción en sentido Ejemplo.
excluyente de las proposiciones p y q es la Sea i) o vamos a Lima o vamos a Ica
proposición p  q (se lee "p o q en sentido queda claro que sólo podremos ir a uno de los dos
excluyente") cuya tabla de valores de verdad es: 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 proposición
a) Si 5 + 4 = 11, entonces 6 + 6 = 12 ~{~[𝑝 ∨ (~𝑞 ⟶ 𝑝)]
b) No es verdad que 3 + 3 = 7 sí y ∨ ~[(𝑝 ↔ ~𝑞) ⟶ (𝑞 ∧ ~𝑝)]}
solo sí 5 + 5 = 12 5. Determinar la proposición [(~𝑝 ∨ 𝑞) ∧
c) Lima está en Chile o La Paz está en ~𝑞] ⟶ ~𝑝 es una tautología
Ecuador 6. Verificar que las siguientes proposiciones
d) No es verdad que 2 + 2 = 5 o que son contradicciones
3+1=4 a) (𝑝 ∧ 𝑞) ∧∼ (𝑝 ∨ 𝑞)
2. Determinar el valor de verdad de cada una b) ∼ [𝑝 ∨ (∼ 𝑝 ∨∼ 𝑞)]
de las siguientes proposiciones 7. Demostrar que la proposición dada es una
a) 4 + 8 = 12 y 9 − 4 = 5 tautología [(𝑝 ∨∼ 𝑞) ∧ 𝑞] ⟶ 𝑝
b) 8 ÷ 4 = 12 y 8 − 3 = 2 8. Verificar que la proposición dada es una
c) 8 ÷ 4 = 12 o 7 − 2 = 3 contingencia
d) La UNMSM está en Arequipa o está
en Lima [∼ 𝑝 ∧ (𝑞 ∨ 𝑟)] ⟷ [(𝑝 ∨ 𝑟) ∧ 𝑞]
e) La UNI está en Lima o está en
Trujillo 9. Determinar si las proposiciones [𝑝 ⟶
f) Sí 5 + 2 = 7, entonces 3 + 6 = 9 (𝑟 ∨∼ 𝑞)] y (𝑞 ⟶∼ 𝑝) ∨ (∼ 𝑟 ⟶∼ 𝑝) son
g) Si 4 + 3 = 2, entonces 5 + 5 = 10 equivalentes
3. Evalúa la tabla de verdad de la proposición 10. Determinar si las proposiciones [(∼ 𝑝 ∨
compuesta ~(𝑝 ∧ 𝑞) ↔ (~𝑝 ∨ ~𝑞) 𝑞) ∨ (∼ 𝑟 ∧∼ 𝑝)] y [∼ 𝑞 ⟶∼ 𝑝] son
equivalentes

6 | Lic. Efraín Gil Pando Vega


Matemática Básica I

1. Determinar cuáles de los siguientes c) [(𝑝 ∨∼ 𝑟) ∧ (𝑝 ∨ 𝑟)] ∧ [(𝑞 → 𝑝) ∧ (𝑞 ∨


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

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

También podría gustarte