SEMANA Nº 03

TEMA: Verdad Formal

Coordinadores: Lic. J. Martín Reyes Reyes.
Lic. Andrés Castillo Moscol.

1. Si la proposición: p → ( r s ) es falsa, entonces

se puede afirmar que:
1. “p” es necesariamente verdadera. 7. De la no verdad de: ( r → t )  ( p  q) . Determinar los
2. “r” es necesariamente verdadera. valores de las siguientes proposiciones:
3. “s” puede ser verdadera. 1. ( r  p )  ( r  t )
Son ciertas:
a) Sólo 1. 2. q  r  ( r  t )
b) Sólo 2. 3. p  (t  r )
c) 1 y 3.
d) 2 y 3. a) FFF.
e) Sólo 3. b) FVV.
c) VFF.
2. La proposición ( r  q)  p es falsa, la proposición d)
e)
FVF.
VVF
“s” es verdadera. ¿Cuántas de las siguientes
proposiciones son verdaderas? 8. Luego de construir la tabla de verdad de la siguiente
1. p → q proposición: ( p  q) → ( r  p ) . ¿Cuántas “V” y
2. s  ( p  r) cuántas “F” respectivamente, aparecen en la matriz
3. ( p  q)  r principal?
a) 6: 2.
4. ( p  q) → r b) 5; 3.
a) 3 c) 4; 4.
b) 2 d) 7; 1.
c) 1 e) 3; 5.
d) 0
e) 4 9. Si r: (n → q)  n → q

3. Sabiendo que la afirmación: s: (m  n) → (m  n) ( t → n)

“Si la proposición A es verdadera siempre que la r  s es falso.
proposición B sea falsa” es falsa. Al formalizarla Determinar los valores de verdad de m, n y t
respectivamente con p y q ¿Cuáles de las siguientes respectivamente.
afirmaciones son verdaderas? a) VVV
1. p es falso y q es verdadera. b) VFF
2. Si p es falso, q es falso. c) VFV
3. q es verdadera si p es verdadera. d) FFV
a) Sólo 1. e) FVF
b) Sólo 2. ANULADA
c) 2 y 3. 10. Si se sabe que la siguiente afirmación es no
d) 1 y 3. verdadera: “No es cierto que si puedo comer entonces
e) Ninguna. puedo beber, por lo tanto no puedo leer”.
Se puede concluir:
a) Leo.
4. Si ( p  q)  (p  p)  (r  s)  q es verdadera. b) Como.
¿Cuáles son los valores de s, p, r y q respectivamente. c) Bebo.
a) VFFF d) a y b.
b) VFVV e) Bebo y no leo.
c) FVFF
d) FVVV 11. Si el esquema:
e) VVVF (p  q)  (r → s) → ( s → r ) es falsa, hallar el
valor de:  w  (p  q)  (r → s)  p .
5. Si ( p  q) → (r → s ) es falsa, entonces los valores
a) V.
de p, s, q y r respectivamente son:
b) F.
a) VVVF c) w.
b) FVFV d) r  w .
c) VVFV e) w  p .
d) VFVV
e) FVVV
12. La negación de la siguiente proposición es verdadera:
6. Los valores de FVVV pertenece a la fórmula: (p  q)  (r  s ) , obtener los valores de verdad de:
a) p q 1. (p  q) → s  ( w  q) → p
b) (p  q) 2. ( p  w )  r   ( w  p) → p
c) p q
d) a y b. 3. ( p  q)  r   ( q  p)  s
e) b y c. a) VFV
b) VFF
c) VVF ANULADA
d) VVV
IDEPUNP / CICLO ENERO – MARZO 2007 2 RAZONAMIENTO LÓGICO

e) FFF

13. Si p  r es verdadera, hallar los valores de verdad 19. Si s es falsa y la proposición: ( q → p)  (r  s)  t 
de: es verdadera. ¿Cuáles son los posibles valores de
1. (p  s ) → ( r  s ) verdad de p, q y t?
2. (p  r )  s a) FFF
b) FVF
Son: c) VVF
a) VV d) FVV
b) VF e) VFF
c) FV
d) FF 20. Se define la proposición: p  q = p | q . Calcular
e) Faltan datos.
cuántos “V” y “F” tiene la matriz principal de:
14. Si la proposición condicional: ( p r ) → (r  q) es ( p  q) → ( p  q)
a) 3V y 1F
falsa, y las proposiciones s y t tienen valor de verdad
b) 2V y 2F
desconocido. ¿Cuáles de las siguientes proposiciones
c) 4V y 0 F.
son verdaderas?
d) 0V y 4F
1. ( p  s )  q e) 1V y 3F
2. ( t  q) → s
21. Sean las proposiciones:
3. ( s  t ) → (r  p) A: Bruselas es la capital de Bulgaria.
a) Sólo 1. B: Budapest es la capital de Holanda.
b) Sólo 2. ¿Cuáles de las siguientes proposiciones son falsas?
c) 1 y 2. 1. ( A  B ) → ( B  A )
d) 2 y 3.
e) Todas. 2. ( A  B)  ( B  A )
3. ( A  B )  (B  A )
15. ¿Qué se puede concluir de:
“Si no es cierto que estudio o trabajo, entonces no 4. ( A → B) → ( B → A )
puedo distraerme”. Si se sabe que la afirmación es 5. ( A  B)  ( A  B)
falsa.
a) Trabajo. a) 1, 2 y 3.
b) Estudio. b) 2, 3 y 4.
c) Me distraigo. c) 1, 3 y 5.
d) Trabajo y estudio. d) Sólo 4.
e) Estudio y me distraigo. e) Sólo 4 y 5.

16. Para determinar el valor de verdad de la proposición: 22. Sean las proposiciones:
A: El átomo es la asociación de moléculas.
(p  q) → (r  s ) , es suficiente saber que: B: El átomo es la asociación de partículas.
a) r es falsa. C: El átomo tiene carga eléctrica.
b) s es verdadera. Y dado los esquemas:
c) ( r  s ) es falsa. 1.
d) ( q → r ) es verdadera.   (A → B)  ( B→ A )  ( A  C )  (B  A )

e) ( p  q) es verdadera.
2. ( A  C)  ( A  B) → A
17. Sabiendo que el valor de verdad de la proposición 3.
implicativa:   (A  B)  ( C→ A )   ( A → C )  ( C  A )
 
(p  r ) → q  (p  q)  s → ( s  p) → t  , es 4.
siempre falsa, determinar el valor veritativo de:  ( A  C)  ( A  C)  C  ( A  B) → (C  A )  B
t  (p → q)  (r  p) → (r  s) 5.
a) V.
 ( A  B )  ( C  A ) →  ( A → B ) → ( C → A )

b) F. Son esquemas verdaderos:

c) No se puede determinar. a) 1, 2 y 3.
d) V o F. b) 2, 3 y 4.
e) a, b y d. c) 3, 4 y 5.
d) 1, 2 y 5.
18. Analizar cuál o cuales de los siguientes pares de e) Sólo 1.
proposiciones son equivalentes:
1. ( p  q ) ; ( q  p ) 23. Relacionar cada letra con su respectivo número.
A. Conjunción.
2. ( q  p)  (p  q) ; q B. Disyunción incluyente.
C. Condicional.
3.  ( p  q) → (p  q) ;  ( p q) D. Disyunción excluyente.
a) Sólo 1. E. Negación.
b) 1 y 2. 1. Es falsa si une valores iguales.
c) 1, 2 y 3. 2. Determina una afirmación o negación.
d) 1 y 3. 3. Es verdadera si y sólo si sus elementos son
e) 2 y 3. verdaderos.
4. Es falsa si y sólo si une elementos falsos.
IDEPUNP / CICLO ENERO – MARZO 2007 3 RAZONAMIENTO LÓGICO

5. Es falsa si y sólo si el antecedente es verdadero y a) 1, 2.

el consecuente es falso. b) 3, 4.
a) A3, B4, C2, D5, E1. c) 2.
b) A3, B4, C5, D2, E1. d) byc
c) A3, B4, C5, D1, E2. e) Sólo 2.
d) A3, B5, C4, D1, E2.
e) A3, B5, C1, D4, E2.
24. Al simbolizar:
“El hombre es libre si y sólo si controla sus
sentimientos. Si controla sus sentimientos entonces es 29. En un esquema formado por un conjunto de
libre. Si no controla sus sentimientos entonces se disyunciones débiles de 10 variables proposicionales
enamora. Si se enamora entonces no es libre”. Su diferentes y afirmativas. En la matriz final, ¿cuántos
matriz principal es: valores verdaderos presenta?
a) VVVFVFVV a) 1
b) FVFFFFVF b) 1024
c) FVFFFVVF c) 1023
d) VVVVVVVV d) 1022
e) FVFVFVFV e) 512

25. Utilizar la tabla de verdad para determinar la 30. Dado el esquema siguiente:
ordenación de la matriz principal de:
“Si se cumplen las demandas de los terroristas,
p → (q  r )   s  ( t  
u)  ( v  w ) .
entonces será vulnerada la legalidad. Si las demandas Y sea A(n) el valor de verdad en la fila “n” de la matriz
de los terroristas no se cumplen, entonces serán principal del esquema anterior.
asesinadas personas inocentes. Por lo tanto, o bien se Hallar el valor de verdad de:
vulnerará la legalidad o serán asesinadas personas
inocentes”
a) FVVFFVVV
A ( 201)  A (127) → A (107) → A (193)  A (11)  A (254)
b) FVFVVVFV
c) VFFFVVFF a) V
d) FVVVFVVV b) F
e) VFFFVFFF c) A ( 202 )
d) A (128)
26. Usar el diagrama de verdad para determinar cuántos
valores falsos presenta la matriz principal del siguiente e) No se puede determinar.
argumento:
“Si se logra la igualdad de oportunidades, en
consecuencia las personas recibirán oportunidades
especiales. Si esas personas reciben oportunidades
especiales, es obvio que tendrán un trato preferencial.
Si algunas personas reciben un trato preferencial, sólo
si no se logrará la igualdad de oportunidades. Por lo
tanto, la igualdad de oportunidades no se logrará”
a) 0
b) 2
c) 4
d) 6
e) 8

27. Si A y B se conocen como verdaderos y X e Y como

falsos, pero los valores de verdad de P y de Q no se
conocen. ¿De cuáles de las siguientes proposiciones
podemos determinar su valor de verdad?
1. P → ( Q → P) → Y
2. ( X → Q) → Q → Q
3. ( X  Q) → ( X  Q)
4. (Q → Q) → ( A → X)
5. (P → P ) → ( A → B)
a) Sólo de 4 y 5.
b) Sólo de 1.
c) Sólo de 2 y 3.
d) Sólo de 4.
e) De todas.

28. Si A, B y C son proposiciones verdaderas y X, Y, Z

son falsas, determine cuáles de los siguientes
esquemas son verdaderos:
1. ( A → B ) → Z
2. ( A  X) → C → ( A → X) → C
3. ( A  X) → Y   ( X → A )  ( A → Y )
4.
A → (B → C)  ( A  B) → C  ( Y → B) → (C → Z)
IDEPUNP / CICLO ENERO – MARZO 2007 4 RAZONAMIENTO LÓGICO

HOJA DE CLAVES

Ciclo Enero – Marzo 2007

Curso: RAZONAMIENTO LOGICO

Semana: 03 Tema: Verdad formal.

Pregunta Clave Tiempo Dificultad

(Min.)
01 c 2 F
02 b 2 F
03 d 3 M
04 e 2 F
05 c 2 F
06 e 2 F
07 a 2 F
08 a 3 M
09 b 3 M
10 d 3 M
11 b 2 F
12 b 3 M
13 b 3 M
14 d 2 F
15 c 2 F
16 e 3 M
17 b 3 M
18 b 3 M
19 b 2 F
20 a 2 F
21 e 3 M
22 d 4 D
23 c 2 F
24 b 3 M
25 d 3 M
26 a 3 M
27 a 3 M
28 d 3 M
29 c 2 F
30 a 4 D