UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Escuela de Estudios Generales: Área de Humanidades,

Ciencias Jurı́dicas y Sociales
Tema:Cuestionario Individual 2
Profesor: Emmanuel Yarleque Medina.

Fecha de Entrega: 17 de Mayo del 2023.

7 de mayo de 2023

Lista de Ejercicios
(1). Simplificar las siguientes proposiciones
h i
(I) p ∧ (p∨ ∼ r)∧ ∼ q .
h i
(II) (∼ p ∨ q) ⇒ (p ∧ q) ∨ (∼ p∧ ∼ q)
h i
(III) ∼ ∼ (p ∧ q) ⇒∼ q ∨ q
h i h i
(IV) ∼ p ⇒∼ (p ⇒ q) ∨ (p ∧ (p ⇒ q)) ⇒ p
h i
(V) ∼ ∼ (∼ p ∨ q) ⇒ p ∨ q

(a) p∧ ∼ q; p ⇒ q; ∼ q; p∨ ∼ p; q
(b) p∨ ∼ q; ∼ p ⇒∼ q; ∼ q; p∨ ∼ p; q
(c) p∧ ∼ q; ∼ p ⇒∼ q; q; p∨ ∼ p; q
(d) p ∨ q; ∼ p ⇒∼ q; q; p ∨ p; ∼q
(e) p∧ ∼ q; p ⇒∼ q; q; p∨ ∼ p; ∼q

(2). Si p ∗ q = p∧ ∼ q. Simplificar la siguiente expresión:

h i
(p∗ ∼ q) ⇒ (∼ p∗ ∼ q) ∧ (p ∗ p)

(a)q∨ ∼ q (b)∼ p ∨ q (c)∼ q (d)p∧ ∼ p (e)∼ p

 2 de 3

(3). Dada las siguientes proposiciones:

(a) (p ⇒ q) ⇒∼ q
h i
(b) (∼ q ∨ p)∆ p∆(p ∨ q)

(c) (q∆ ∼ p) ⇔ (p∆q)

Clasifiquelas como Tautologı́a, Contradicción o Contingencia.

(4). ¿Cuáles de las siguientes proposiciones son equivalencias lógicas?

(I) ∼ (q ⇒∼ p) ⇔ (p ∨ q).
h i h i
(II) (∼ p∧ ∼ q) ⇔ (p ∨ q) ∧ q
h i
(III) ∼ (p ⇒ q) ⇔ (p ∨ q)∧ ∼ q

(a)I (b)II (c)I y II (d)III (e)II y III

(5). Simplificar la proposición: No es cierto que, José sea una persona tranquila
y contador, entonces José es profesor o no es una persona trabquila; además
José es profesor
(a) José es tranquilo
(b) José es tranquilo y contador
(c) José es contador y profesor
(d) José es contador
(e) José es profesor

(6). Dada la proposición: (p ∧ q) ∨ (∼ q ∨ r). Indicar su proposición equivalente

en función de los conectivos ’⇒’ y ’∼’
(a) (p ⇒ q) ⇒∼ r
(b) (r ⇒ q) ⇒∼ p
h i
(c) (p ⇒ q) ⇒∼ r ⇒∼ q

(d) (p ⇒ q) ⇒ (∼ r ⇒∼ q)
(e) (p ⇒∼ q) ⇒ (q ⇒ r)

(7). ¿Cuántas de las siguientes proposiciones son tautológicas?

h i
(I) ∼ q ∧ (p ⇒ q)∧ ∼ p ∧ (p ∨ q).
h i
(II) (p ⇒ q)∧ ∼ q ⇒∼ (p ∧ q)
 3 de 3

h i
(III) (p ⇔ q)∧ ∼ p ⇔ (p∨ ∼ q)
h i h i
(IV) (∼ p ⇔ q) ∧ p ⇔ (∼ q ⇔ p) ∧ p

(a)0 (b)1 (c)2 (d)3 (e)4

(8). ¿Cuáles de las siguientes condicionales es una Implicación lógica?

(I) ∼ p ⇒ (∼ p ∨ q).
(II) ∼ q ⇒ (p ∧ q)
(III) ∼ (p ∧ q) ⇒ (p ∨ q)
(IV) ∼ (∼ p ∧ q) ⇒∼ p
(V) ∼ (∼ p ∨ q) ⇒ p
(a)I y II (b)II y III (c)I y III (d)II y IV (e)I y V

(9). Señale la validez de los siguientes argumentos:

(I) Si duermo, no estudio. No apruebo si no estudio. En consecuencia, no apruebo si duermo.
(II) Canto o juego. No canto. Por tanto juego.
(III) Si hablo, me escuchas. No me escuchas. En conclusión no hablo.
(a)VFV (b)VVV (c)FVF (d)FFF (e)VVF

(10). Señale cuáles de los siguientes esquemas lógicos son reglas de inferencia:
(I)
p⇔q
∼p

∴∼ q

(II)
p∨q
∼q

∴ p

(III)
p∧q
p⇒q

∴∼ p

(a)I, II y II (b)II y III (c)I y II (d)I y III (e)II