TEMA: Razonamiento lógico

LÓGICA PROPOSICIONAL d)  p e) (p  q)   q

1. De la falsedad de: (~p^ q) → r, determinar al valor de 8). Dadas las proposiciones:

verdad de “P” “q” y “r”, en ese orden I).  [(q   p)  (q  (r  p))]
II). (p   q)  ( q  ( r  p))
a) FVF b) VVF c) FFV
III).  ( q   p)  (q   (p  r))
d) VFV e) VVV Son equivalentes:
a) todas b) sólo I y II
2. Si “r” y “s” son proposiciones falsa y verdadera c) sólo I y III d) sólo II y III
respectivamente, indicar cuáles de las siguientes e) N. A.
proposiciones son verdaderas.
I. (r v s) → r II. ~s → r 9). Se sabe que: p  q y q  t son falsas, y se afirma:
I). ( p  t)  q
III. ~r → s VI. ~r → (r  s) II).  (p  ( q   p)
a) Solo I b) solo II c) solo III III). [p  (q   t)]  [(p  q)   (q  t)]
d) II y IV e) II y III Entonces, sólo son verdaderas:
a) I y II b) I y III c) II y III
d) todas e) N. A.
3. Determinar la matriz principal de la siguiente formula
proposicional.
10). Decir qué pares de proposiciones son equivalentes:
[(p  ~q)v(p  ~r)] → (~p  r)
a) VFFFVVVV b) VVVVVVVV 1. p → q y pq
c) FVFVVFVF e) VVVVVFVV 2. (p   q)  q y (p → q) →  p
e) FFFFFFFF 3. (p  q) y pq
a) sólo 1 b) sólo 2
4). Dadas las siguientes proposiciones:
c) sólo 1 y 3 d) sólo 2 y 3 e) N. A.
1. 3  5 → 32  52
2. 3 < 4 → -3 < -4
3. -3 < -4 → 3 < 4 11). Decir cuántos pares de los esquemas moleculares son
4. -3 < -4 → 4 < 3 equivalentes:
5. 4  N  4  Q 1. p  ( p → q) p  (q  p)
Sus valores de verdad son, respectivamente: 2. p → (p  q) (p  q) → p
a) VFFVV b) VFVVV c) VVFVF
3. ( p  q)   q p  ( q  p)
d) FFVVF e) FVFVV
a) 1 b) 2 c) todos
5). Determinar el valor de verdad de cada una de las d) ninguno e) F. D
siguientes proposiciones:
1. 1/4  N  1/4  Q 12). Determinar si los esquemas son equivalentes.
2. 2 N 2 Z 1. N = (p  q)  (p   q)
3. 4/3  N  4/3  Q M = (p →  q)  (q → p)
4. 6  N  6  Q 2. N = (q  p) → (p   q)
5. -2  N  1/2  Z
a) FFVFV b) VVFVF c) FFVVF M = (p  q)  (p  q)
d) VFVFV e) FVFVF 3. N =  p  (q  r)
M = p  ( q  r)
6). Señale la verdad (V) o falsedad (F) de cada proposición a) sólo 1 b) sólo 2 c) sólo 3
siguiente: d) sólo 1 y 2 e) N. A.
1. 7  Q  7  I
2. 6  N  6  Z
3. 4 < 5  5 > 4 13). Determinar si los esquemas son equivalentes.
4. 3 = 4  32 = 42 1.  p  (q  r)
5. 3 = -3  32 = (-3)2 (q  p) → r
2. (p  r) → ( q  r)
a) VFVVF b) FVFFV c) VFVVV
d) FVFVF e) VVVVF (q → r) → (p → q)
3. p  (q  r)
7). La proposición:  q  ( p  r)
( p   q)  ( q) a) solo 1 b) sólo 2 c) sólo 3
Es equivalente a:
d) sólo 1 y 3 e) N. A.
a)  p   q b) (p  q)  q c)  q

INSTITUTO DE EDUCACIÓN SUPERIOR TECNOLÓGICO PÚBLICO “4 de Junio de 1821” - CEPRE

 2

14). Clasificar el resultado del esquema molecular: LEYES EQUIVALENTES O EQUIVALENCIALES

( p  q)  (q   p) NOTABLES

Permiten transformar y simplificar fórmulas lógicas.

a) Tautología b) Contradictorio
c) Contingente d) Consistente 1. De Morgan (DM)
e) C y D A) ~ (p q)  (~ p  ~ q)
B) ~ (p  q)  (~ p  ~ q)
15). Determinar si los siguientes esquemas son
equivalentes: 2. Leyes de la Implicación (Imp.)
1. [(p   ( q)  ((p))] A) (p → q)  (~p  q)
B) (p → q)  (p  ~q)
2. q  p
a) Son equivalentes y tautológicos 3. Leyes cíe la Equivalencia (Eq.)
b) Son equivalentes y contradictorio A) (p  q)  [(p  q)  (~p  ~q)]
c) Son equivalentes y consistentes B) (p  q)  [(p → q)  (q → p)]
d) No son equivalentes
4. Doble Negación (DN)
e) N. A. ~~pp
16). Determinar si los esquemas son equivalentes.
5. Transposición (Trans)
1. (q  p)  (p  q) A) (p → q)  (~ q → p)
(q  p) → (p → q) B) (p  q)  (~q  ~p)
2. ( r → p)  ( r  p)
r  (p → r) 6. Exportación (Exp.)
[(p  q) → r]  [p → (q → r)]
3.  r  (p → q)
(p → r) → q 7. Leyes de la negación de la equivalencia (N Eq)
a) sólo 1 b) sólo 2 c) sólo 3 A) ~(p  q)  (~p  q)
d) 2 y 3 e) N. A. B) ~(p  q)  (p  ~q)

17. Sea los esquemas preposicionales y sus valores de 8. Conmutación (Conm) :

verdad: A) (p  q)  (q  p)
1. (A  B  C = () B) (p  q)  (q  p)
2. (A – B) → C = (F) C) (p  q)  (q  p)
3. (-A)  (B  C) = (F)
9. Asociación (Asoc)
La valores de verdad de A, B, C son respectivamente: A) [p  (q  r)]  [(p  q)  r]  (p  q  r)
B) [p  (q  r)]  [(p  q)  r]  (p  q  r)
a) VFV C) [p  (q  r)]  (p  q)  r]  (p  q  r)
b) FVF 10. Idempotencia (ídem):
c) VFF A) (p  p)  p
d) VVF B) (p  p)  p
e) VVV
11. Distributiva (Dist.):
PARA SIMPLIFICAR A) [p  (q  r]  [(p  q)  (p  r)]
B) [p  (q  r)]  [(p  q)  (p  r)]
4. Simplificar mediante propiedades: C) [p → (q  r)]  [(p → q)  (p → r)
D) [p→ (q  r)]  [(p → q)  (p → r)]
 p → (~ p  q) → ~ q ~ p
a) p → q b) q → p c) p v q 12. Absorción (Abs.):
d) p  q e) p q A) [p  (p  q)]  p
B) [p  (p  q)]  p
5. Simplificar la proposición: C) [(p  ( p  q)]  (p  q)

(~ pvq) v ( p → q)  r   q D) [(p  ( p  q)]  (p  q)

a) ~p b) q c) ~q
d) p → q e) q → p

INSTITUTO DE EDUCACIÓN SUPERIOR TECNOLÓGICO PÚBLICO “4 de Junio de 1821” - CEPRE