PROFESOR: JULCA BERNAL Paul

TEMA: LÓGICA PROPOSICIONAL

En el cálculo o análisis proposicional se utilizan LEYES LÓGICAS ADICIONALES
ciertas leyes lógicas o tautologías que veremos a  p  q   p  (p  q)
continuación  p  q   p  (p  q)
p  q  (p   q)  (q   q)
Involución (doble negación) p  q  (p  q)   (p  q)
 (p)  p pFF
pVp
Idempotencia
p  ( p)  F
pqp
pFp
p pp
pVV
Conmutativa p  ( p)  V
pqqp p  ( p  q)  p  q
pqqp p  ( p  q)  p  q
pqqp
PRACTICA DIRIGIDA
Asociativa
p  (q  r)  (p  q)  r
1) Evaluar: (p  q)  (q  q)
p  (q  r)  (p  q)  r
p  (q  r)  (p  q)  r
A) VVFV B) FVVF C) VVFF D) FFVV E)
Distributiva FVFV
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r) 2) Hallar la tabla de verdad de: P → (q   p)
p → (q  r)  (p → q)  (p → r)
p → (q  r)  (p → q) → (p → r) A) VFVV B) FFVV C) VVFF
D) FVVV E) N.A
De De-Morgan
 (p  q)   p   q 3) Evaluar: [q  p]  [p  q]
 (p  q)   p   q e indicar cuántas verdaderas se obtuvieron.
Absorción
p  (p  q)  p A) Ninguna B) 1 C) 2 D) 3 E)
p  (p  q)  p Todas

Del Condicional 4) A que será igual:

P→qpq ( ~ 𝑝 ˅ ~ 𝑞 ) ^ ( ~ 𝑝 ^ (𝑞 → 𝑝))
 (p → q)  p   q
p→qq→p A) ~(p ˅ q) B) ~(p ^ q) C) ~p
D) ~𝑞 E) ~𝑝˅𝑞
Del Bicondicional
p  q  (p → q)  (q → p)
p  q  (p  q)  ( p   q)
p  q   (p  q)
5) Señale el arreglo principal de la tabla de 11) Sabiendo que el siguiente esquema es falso:
verdad de : ~[ [(pq ) → r]˅~[(p˅r) ↮ s] ] → [(𝑠 ↮ 𝑝)
(~(𝑝 𝜈 𝑞) → (𝑝 𝜈 ~𝑞)) ^ ( 𝑝 ^ 𝑞 ) → 𝑡]

A) VVVV B) VFFF C) FFVV Indique el valor de verdad de:

I) (𝑝˅𝑞) → 𝑟
D) VVFF E) FVVV
II) (𝑡 → 𝑝) ↔ 𝑟
6) Simplificar el esquema:
(( 𝑝 ^ ~ 𝑞 ) ^ (𝑞 → 𝑝) ^ 𝑟) ˅ 𝑝 III) (𝑝 → 𝑠) ↮ (𝑠 ˅ 𝑡)

A) p ^ q B) p ˅ q C) ~𝑞 A) VFV B) FFV C) FVF D) VFF E) FFF

D) 𝑝 E) 𝑞
12) De las siguientes proposiciones:
7) 34. simplificar la proposición:
(~𝑝 → 𝑞)^(~𝑝˅~𝑞) 1)“Si juego demasiado entonces estoy muy
A) ~(𝑝˅𝑞) B) ~𝑝 C) ~(𝑝 → 𝑞) cansado; y estoy muy cansado; y estoy muy
D) ~(𝑞 → 𝑝) E) ~(𝑝 ↔ 𝑞) cansado. Por lo tanto juego demasiado.

8) 16. simplificar la siguiente expresión: 2) “O juego demasiado o estoy cansado” Se

~( ( 𝑝 ^ 𝑞 ) ˅ ~ ( 𝑝 ^ ~ 𝑞 ) ) → 𝑞 sabe que poseen el mismo valor de verdad ,
se Puede afirmar:
A) p ˅ q B) p ^ q C) p → q
D) ~𝑝 → 𝑞 E) 𝑝 → ~𝑞
A) no estoy muy cansado.
B) No juego demasiado.
9) Dado el siguiente esquema:
~[ ( 𝑝 ^ 𝑞 ^ 𝑟 ) → 𝑠 ] → ( ~ 𝑝 ˅ 𝑠 ) C) Juego demasiado y estoy muy cansado.
Se conoce que es falso, señale el valor de p , D) No juego demasiado y no estoy muy
q , r y s respectivamente. cansado.
A) VFVF B) VVVF C) VFFV E) Estoy muy Cansado ya que juego
demasiado.
D) VVFF E) FVVF

13) Las proposiciones S(p,q) y T(p,q) son

10) Si la siguiente proposición es falsa:
equivalentes, donde:
[(𝑟 → 𝑠) → 𝑡] ↔ [𝑟 → (𝑠 → 𝑡)]
S(p,q) : [ ( p ↔ q) ^ p ] → q
Señale la verdad o falsedad de: T(p,q) : ( p ^ q ) * ( p ˅ q )
¿Qué conectivo lógico representa *?
I) (𝑟 ↔ 𝑠) → (𝑠 ↔ 𝑡)
II) (𝑟 → 𝑠) ↔ (𝑡 → 𝑠) A) ^ B) ˅ C) → D) ↔ E) ↮
III) [(𝑟 ↔ 𝑠) ↔ 𝑡] ↔ [𝑟 ↔ (𝑠 ↔ 𝑡)]

A) VVV B) FVV C) VFV D) VVF E) FVF

14) Se define: 18) Dadas las proposiciones:
𝑝∎𝑞 ≡ ( 𝑝 ^ ~ 𝑞 ) ˅ ( 𝑞 ˅ ~ 𝑝 )
p: Manuel aprueba sus cursos.
Simplificar
[(𝑝 ∎ 𝑞) → 𝑞] → [𝑝 → (𝑞 ∎ 𝑝)] q: Manuel va a la fiesta.

A) p B) q C) ~𝑝 D) V E) F r: Manuel estudia para su examen.

Simbolice
15) 37. Simplificar la proposición que
Si Manuel va a la fiesta, entones no estudiará
corresponde al circuito:
para su examen, pero no es el caso que vaya a la
fiesta y aprueba sus cursos. De ahí que Manuel
estudia para su examen.

A) [(q → r) ∧ ∼(q ∧ p)] → r

A) p B) q C) ~p D) 𝑝 → 𝑞 E) ~𝑞 B) [(q → ∼r) ∧ ∼(q ∧ p)] → r

16) De la falsedad (p → ∼q) ∨ (∼r → s), C) [(q → r) ∨ ∼(q ∧ p)] → ∼r

deduzca el valor de:
D) [(q → r) ∧ ∼(q ∧ p)] → ∼r
I. (∼p ∧ ∼q) ∨ ∼q E) [(q → r) ∨ ∼(q ∧ p)] → r
II. [(∼r ∨ q) ∧ q]  [(∼q ∨ r) ∧ s]
III. (p → r) → [(p ∨ q) ∧ ∼ q]
19) Halle el valor de verdad de la proposición:
A) FFV B) VVV C) FFF
D) VFV E) FVV (3 8  )  ( )
2  −8  0 →  2  3 8  1/ 3 8  1/ 2  ( 8  0 ) 


A) V. B) F. C) V o F.
17) ¿Cuáles son tautología?
D) Indeterminado. E) Faltan datos.
I. [(p ∨ ∼q) ∧ q] → p

II. [(p ∧ q) ∨ q]  q 20) Si “q” es verdadero y la fórmula:

[(p → q )  (r ∨ s)] ∨ (r ∧ q)
III. [∼p ∧ (q ∨ ∼r)]  [(∼p ∧ q) ∨ ∼(p ∨ r)]
es falsa, halle los valores de verdad de “r”, “s”
A) I B) II C) III
y “p ∨ q”.
D) I y II E) Todas.
A) FFV B) FFF C) VFF
D) VVV E) VFV
21) Hallar la tabla de verdad de: 26) ¿Cuáles son verdaderas, si:
 (p → q)   ( q  p) (p   q) → (r   p) es falsa?

A) VVFF B) VVFV C) VFFV A) p, r B) p, q C) q D) p E) r

D) VFFF E) VVVF
27) Los valores de verdad de las proposiciones p,
22) Si la proposición:
q, r, y s son respectivamente V, F, F, V.
(p   q) → (r →  s)
Obtener los valores de verdad de:
es falsa, el valor de verdad de q, p, r, s (en ese
[p  q)  r]  s
orden es)
r → (s  q)
A) FVVV B) VVVF C) VFVV (p  v r)  (r  s)
D) FVFF E) VVFF
A) VFF B) VVV C) FFF D) FVV E) VVF
23) Luego de construir la tabla de verdad de la
siguiente proposición: 28) Luego de construir la tabla de verdad de la
siguiente proposición:
(p  q) → [r   p] (p  q) → [r  p]
¿Cuántas “v” y cuántas “f” aparecen
¿cuántas “V” y cuántas “F” aparecen respectivamente?
respectivamente?
A) 6; 2 B) 5; 3 C) 4; 4 D) 7; 1 E) 3; 5
A) 6; 2 B) 5; 3 C) 4; 4
D) 7; 1 E) 3; 5
29) Evaluar: (p  q)  (q  q)
24) ¿Cuales de las siguientes proposiciones
A) VVFV B) FVVF C) VVFF
compuestas son tautologías?
D) FFVV E) N.A
[p  q]  [p  q]
[q →  p]  (p  q)
30) Hallar la tabla de verdad de:
(q  p) →(q → p)
P → (q   p)
A) Sólo I B) Sólo II C) I y II D) I y III
E) Todas A) VFVV B) FFVV C) VVFF
D) FVVV E) N.A
25) Si: (r → s)  (p →q) es falsa. ¿Cuáles son
falsas?

A) p, r B) p, q C) r, s
D) p, q, r E) p, s