GUIA PRÁCTICA DE MATEMÁTICA BÁSICA

EPPs.
LÓGICA PROPOSICIONAL
(SEMANA 3: 03-05-2021 AL 07-05-2021) I CICLO

III. DESARROLLO DE LA ASIGNATURA: DESARROLLO DIDÁCTICO DEL

TEMA

UNIDAD I: LOGICA PROPOSICIONAL, ENUNCIADOS Y

PROPOSICIONES, VALOR DE VERDAD, ESQUEMAS MOLECULARES
Y EQUIVALENCIAS LÓGICAS

ESQUEMAS MOLECULARES:

• Es la combinación de Variables y conectivos lógicos.

• Según los valores de la matriz principal, los esquemas moleculares son:
• Tautología: cuando los valores de verdad de la matriz principal resultan ser todos
verdaderos
• Contradicción: Cuando los valores de verdad de la matriz principal resultan ser
todos falsos.
• Contingencia: Cuando los valores de verdad de la matriz principal, se obtiene al
menos un valor verdadero y al menos un valor falso.

LEYES DEL ÁLGEBRA PROPOSICIONAL

Las proposiciones equivalentes se convierten en leyes lógicas. Existen infinitas

proposiciones equivalentes. Pero sólo consideraremos algunas a las que llamaremos
leyes del álgebra proposicional.
 Las leyes del álgebra proposicional se aplican o utilizan en la validación de
proposiciones compuestas, es decir, para determinar el valor de verdad de una
proposición. Además se utiliza en la simplificación de proposiciones compuestas.

1) Leyes del tercio excluido 6) Leyes distributivas

ppV ppF p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)
2) Ley de involución o doble 7) Leyes de De Morgan
negación  (p  q)   p   q
~ (~ p)  p  (p  q)   p   q
3) Ley de idempotencia 8) Leyes condicionales
ppp ppp p→qpq

4) Leyes conmutativas 9) Leyes bicondicionales

pqqp p  q  (p → q)  (q → p)
pqqp
pqqp
5) Leyes asociativas 10) Leyes de absorción
(p  q)  r  p  (q  r) p  (p  q)  p
(p  q)  r  p  (q  r) p  (p  q)  p
p  ( p  q)  p  q
p  ( p  q)  p  q
11) Formas normales para la conjunción y disyunción
VVV FFF
pVp pFp
pFF pVV

APLICACIÓN PRÁCTICA

Ejemplo:
Simplifica la proposición  (p   q) → (p  q) aplicando las leyes del álgebra
proposicional.
  (p   q)  (p  q) ……………… Ley condicional
(p   q)  (p  q) ……………… Ley de doble negación
p  ( q  q) ……………… Ley distributiva
pV ……………… Ley del tercio excluido
p ……………… Formas normales
 Ejemplo:
Simplifica la proposición  ( p   q)  [p  (p V q)]
 ( p   q)  [p  (p V q)] …………….. Ley de Morgan
P v q  [p  (p V q) ……………. Ley de absorción
P v q  (p  q) …………….. Ley de absorción
P v q  p ……………. Tercio excluido
V vq ……………. Verdadero
a) p  q
b) q  q
c) q  q
d) p

3) Si f(x) --------→ (1) si x es v

(0) si x es f
Además:
f (m  n ) = 0
f (n v t) = 0

Calcular: S = f (t ∆ n) + ( m   t)
f( m v r)

a) 0 b) 1 c) m d) t e) n

4) si
p q p ⌂ q

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

Calcular: S =  (q ⌂ p) ⌂  p
a) FFVV b) VVFF c) VFVF d) FVVF

APLICACIÓN PRÁCTICA

1. De las siguientes proposiciones

I. (p → q)  (p ~q)
II. (p → q)  (~p ѵ q)
III. [(p  ~q) ѵ q]  ~p
IV. [(p ѵ q) → q)]  [(q  p)  q]
Son contingencias:

Rpta.
 2. De las siguientes proposiciones
I. (p → q)  (p ~q)
II. (p → q)  (~p ѵ q)
III. [(p  ~q) ѵ q]  ~p
IV. [(p ѵ q) → q)]  [(q  p)  q]
Son contingencias:

Rpta.

3. Si “r  s” es falso y “rs” es falso. Hallar el valor de verdad r y s, respectivamente

4. Si “w  t” es verdadero y
“v → t” es falso, hallar el valor de verdad de t, v y w, respectivamente.

Rpta.

5. Si la proposición compuesta:
(p  ~q) → (r → ~s)
Es falsa, hallar el valor de verdad de las proposiciones q, p, r, s, respectivamente.

Rpta.

6. Si la proposición compuesta:
~[(q  r)  ~(r ѵ t)] es falsa, hallar el valor de verdad de las proposiciones: q, r, t,
respectivamente.

Rpta.

7. Si la proposición compuesta:
~{(q → t) ѵ [q  (p  t)]}
Es verdadera, hallar el valor de verdad de las proposiciones, q, t, p respectivamente.

Rpta.

8. Si la proposición compuesta:
(~p  r) → (r  ~q)
Es falsa, hallar el valor de verdad de las proposiciones r, q y p, respectivamente.

Rpta.

9. Si se sabe que:
+
Es verdadera, hallar los valores de p, q y r, respectivamente.

Rpta.
10. Si la proposición compuesta:
~(p  ~q)  (q  r)
Es verdadera y las proposiciones s y t tienen valor de verdad desconocido. ¿Cuáles
de las siguientes proposiciones son verdaderas?
I. (p ѵ s)  q
II. (t  q) → r
III. (s  t) → q

Rpta.

11. Sabiendo que:

~(p  q) → [(p → q) ѵ r]
es falsa, podemos concluir que:
I. (p ѵ q) es verdadera
II. (p  q) es verdadera
III. (p  r) es falsa
IV. (p  r) es falsa
V. Más de una es correcta

Rpta.

12. Si (p  q) y (q → r) son falsas ¿Cuáles de las siguientes proposiciones son verdaderas?

I. (~p ѵ t) ѵ q
II. ~(p  (~q ѵ q))
III. [~p ѵ (q  ~t)]  [(p → q)  ~(p  t)]

Rpta.

13. Sabiendo que: [(p → q) ѵ ~r] es falsa, y que [(s  p)  r] es verdadera. ¿Cuáles de
las siguientes afirmaciones son correctas?
I. [~(p ѵ s)] es verdadera
II. (s  t) es falsa
III. (q → s) es verdadera

Rpta.

14. Si la proposición:
(p  q)  ~(q → r)
Es verdadera. ¿Cuáles son verdaderas?
I. (s  r) → (p ѵ s)
II. (s → q)  (p ѵ r)
III. (q → r) ѵ (p  r)

Rpta.
 DISTRACCIÓN

1. Si la proposición:
(~p  ~r) → (r  q)
Es falsa y las proposiciones s y t tienen valor de verdad desconocido. ¿Cuál de las
siguientes proposiciones son verdaderas?
I. (p  s) ѵ q
II. (s ѵ t) → r
III. (t  q) → p

A) Solo II B) Solo III

C) I y II D) II y III
E) Ninguna

2. Si la proposición compuesta:
(q  s)  (s ѵ t)
Es verdadera. ¿cuáles de las siguientes afirmaciones son correctas?
I. “q → t” es verdadera.
II. “s  t” puede ser verdadera o falsa.
III. “q” es falsa

A) Solo I B) I y II
C) II y III D) I y II
E) Ninguna

3. La proposición compuesta:
(p  q) → (q ѵ r)
Es falsa, luego:
I. “p  q” no es falsa
II. “q  r” no es verdadera
III. “q → q” es falsa
Son ciertas:

A) Solo I B) Solo II
C) I y II D) I y III
E) Todas
4. Sabiendo que la proposición r es verdadera. ¿En cuál de los siguientes casos es suficiente
dicha información para determinar el valor de verdad de las proposiciones?
I. ~r  (p  q)
II. (p → r)  q
III. r  (~q  ~p)

A) Solo I B) Solo III

C) I y II D) I y III
E) Todas

5. Si la proposición compuesta:
~(s  r) ѵ ~(r  t)
Es falsa ¿Cuáles de las siguientes proposiciones son falsas?
I. (s → p) ѵ (r  q)
II. (q ѵ s) → (p ѵ t)
III. (r  s) → [(r  p)  (s  t)]

A) Solo I B) Solo II
C) II y III D) Todas
E) Ninguna

6. Sabiendo que la proposición “r” es verdadera ¿En cuál de los siguientes casos es
suficiente dicha información para determinar el valor de verdad de las
proposiciones?
I. ~r  (p  q)
II. (p → r) ѵ q
III. (p  r) → (r  q)

A) Solo I B) Solo II
C) Solo III D) I y II
E) II y III

7. Si “p” es verdadera ¿En cuál de los siguientes casos es suficiente dicha información
para determinar el valor de verdad de las proposiciones?
I. (~p → r) ѵ [(r ѵ s)  t]
II. (p  r)  [p ѵ (q → s)]
III. [~p  (q ѵ r)] → [s  (r → t)]

A) Solo I B) Solo III

C) II y III D) I y III
E) Ninguna
8. Para determinar el valor de verdad de la proposición:
(p  q) → (r  s)
Es suficiente para saber que:

A) “r” es falsa
B) “s” es verdadera
C) “r ѵ s” es falsa
D) “q  r” es verdadera
E) “p  q” es verdadera

9. Sabiendo que la proposición “p” es falsa ¿En cuáles de los siguientes casos es
suficiente dicha información para determinar el valor de verdad de las
proposiciones?
I.

A) Solo I B) Solo II
C) Solo III D) I y II
E) II y III

10. Si {~[(p  ~s)  ~(r * s)] ѵ (p → r)}

Es falsa, entonces r * s puede ser:
I. r  s
II. r ѵ s
III. r → s
IV. r  s

A) I y II B) III y IV
C) II y IV D) I, I, y IV
E) I, III y IV