Está en la página 1de 6

UNIVERSIDAD NACIONAL DEL SANTA

CICLO 2021– III


Semana Nº 02
RAZONAMIENTO MATEMÁTICO
“VERDAD FORMAL”
La matriz principal de:  A / ( B → A) ,
01. Si el siguiente esquema molecular:
es:
( p → q )  ( r → s )  → ( p → r )
A) 1000 B) 1110 C) 0110
Es falso, los valores respectivos de las D) 1001 E) 1111
variables p, q, r son: 06. Si p es verdadera y la fórmula
A) 111 B) 110 C) 011 proposicional
D) 100 E) 101 [(p → s)  (q  r)]  (p  r) también es
02. Si: ( p  q) = 1 y ( p → r ) = 0 , verdadera; entonces, los valores de s y
entonces se afirma que: (ps)→r, respectivamente, son:
A) VV B) FV C) FF
1. [( p  q)   r ]   p , es falso
D) VF E) Falta información
2. [(t   p) →  ( p  q)]  ( p   p) , 07. Siempre que q es falsa y la fórmula
es verdadero. proposicional [q  (p  r)]  [p  (r → s)]
3. r → [ p  (q  r )] es verdadero. es verdadera; luego, los valores de p, r y
Son ciertas: s respectivamente son:
A) Solo 1 B) Solo 2 C) Solo 3 A) VVV B) FFF C) VVF
D) 1 y 3 E) Todas D) FFV E) FVF
03. Si la fórmula lógica: 08. Dadas las proposiciones:
− (− p  −q)  (− r  q)  es falsa. p: Es mentira que no es falso que
El valor de verdad de: Bertrand Russell fue un filósofo

−(r → −q)  − (− p  q)  r  es:


matemático ganador de un Nobel en
Literatura.
A) VerdaderoB) Falso C) Valido q: Gottfried Leibniz escribió “Escritos
D) No valido E) Indeterminado filosóficos”.
04. Si el valor de verdad del esquema Son disyunciones fuertes no
molecular: [( A  B) →  A] es falso, verdaderas:
entonces el valor de verdad del siguiente 1) (p → q) ∆ (p  q)
esquema: ( A  B)   B , es: 2) (q  p)  p
3) [(p  q)  p]  q
A) Verdadero B) Consistente C) Falso
D) Contradictorio E) Ninguna 4) (p  q)  (q → p)
05. Dados los valores de: 5) (p → q)  (q → p) Son correctas:
A : p → q A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 2, 3 y 5 E) Solo 1 y 2
B : p  q 09. Sea la matriz final de:

1
RAZ. MATEMÁTICO S-02 Ingreso Directo
Equipo de docentes Centro Preuniversitario UNS - CEPUNS

p  q = VFVF Los que encienden el foco con los


Entonces, no es cierto que: valores obtenidos para las variables:
A) (p  q)  (p  q) es una tautología. A) Solo I B) Solo II C) Solo III
B) (p  q)  (p  q) es una contradicción. D) I y II E) II y III
C) (p  q)  q es tautología. 13. Si se cumple:
D) (p  q)  p es contradicción. p  q = [(p  q)  (p  q)]  q
E) (p  q)  [(p  q)  q] es Luego la matriz final de:
contingencia.  (p  q)  (p  q)
10. Del siguiente esquema proposicional: Es:
A) 1100 B) 0011 C) 0101
p  q  r  s  t  u   (v  w) Se
D) 1010 E) 1001
afirma:
1) No tiene valores verdaderos en su 14. Si: p  q = (p  q)   (p  q); además, p
matriz principal.  q viene representado por:
2) No tiene valores falsos en su matriz q
p 1 0
principal.
3) Tiene por lo menos un valor falso en 1
su matriz principal.
4) Tiene por lo menos un valor 0
verdadero en su matriz principal.
No tiene una matriz contradictoria. Son Donde: =  (pp); además,
ciertas:
A) Solo 1 y 3 B) Solo 2 y 4 C) 3, 4 y 5 =  (qq)
D) 1, 3 y 5 E) 2, 3 y 4 Luego la matriz principal de p  q es:
11. De la matriz final del esquema A) 1110 B) 1011 C) 1101
molecular: D) 0111 E) 1001
[(p  q) → r]  [r   (p  q)] 15. Si: p  q = p  (p  q); además, p  q
Sus valores producen en un circuito: = p  q Entonces, la matriz principal del
A) 4 focos apagados y 4 focos siguiente esquema molecular:
encendidos p  (p  q)
B) 8 focos encendidos
Es:
C) 7 focos apagados y 1 foco encendido
A) 1000 B) 0011 C) 1011
D) 1 foco apagado y 7 encendidos D) 1101 E) 0000
E) 8 focos apagados 16. Si se cumple:
12. Si el esquema molecular:
p  q  r  p  [(q  r)  (q  r)]  (q /
[(p  q) → r]  [(p  s)  r]
r)} Luego el esquema molecular:
Es falso. Luego, de los siguientes
 [(p  q  r)  (s  t  u)  (v  w
arreglos:
 x)] Tiene la misma matriz principal
I) (p → s)  p
que:
II) (s  r) → t
A) p B) p C) q
III) [(p  q)  (q  r)]  s
D) p → q E) p  q
2
RAZ. MATEMÁTICO S-02 Ingreso Directo
Equipo de docentes Centro Preuniversitario UNS - CEPUNS

17. Si se cumple que: (p  q)  (p  r) es 3) [(r  p)  (p  q)]  p


una tautología. Respectivamente, son:
Luego, la fórmula: p → r tiene la misma A) VFF B) VFV C) FVF
matriz principal que: D) FVVE) FFV
A) p  q B) p  q C) p  q 23. Si:
D) p  q E)  (p  q) p(x): (x – 1)2  16
18. Si se cumple que: (p / q)  (r * s) es q(x): x + 12 = 14
una contradicción. r(x): x2  x + 10
Luego, la fórmula: (p  q  r)  (p  q  Luego, los valores de verdad de:
r) tiene la matriz principal equivalente a: 1) [p(2)  q(2)]  r(4)
A) r * s B) r * s C) r * s 2) [p(4)  r(5)]  q(4)
D) r * s E)  (r * s) 3) [p(1)  p(3)]  [r(2)  p(3)]} → [p(7) 
19. En el siguiente esquema proposicional: q(2)]
p  q  r  s  t  u  v  w  x Respectivamente, son:
 y A) VVV B) VFF C) FVF
El número de valores falsos en su matriz D) FVV E) FFF
final, es: 24. En el siguiente esquema proposicional:
A) 2 B) 64 C) 128 p  {q  {r  {s  {t  [u  (v 
D) 256 E) 512 w)]}}}} El número de valores falsos en
20. Sin modificar la fórmula siguiente: su matriz principal, es:
[(p  q)  (r  s)]  (t  u) A) 1 B) 4 C) 16
Los valores respectivos de r, -s y -t en la D) 64 E) 128
fila 47, son: 25. Si: p = 0; el valor de verdad del siguiente
A) 100 B) 001 C) 101 esquema: [p→(q  r)]  {[q  (r→p)] 
D) 111 E) 011 [(p  s)  (qr)]}
21. Sin modificar la fórmula siguiente: Es:
[(p  q)  (r  s)]  (t  u)  v A) V B) F C) V  F
Los valores veritativos de p, -s, -u y v en D) V  F E) Falta información
la fila 63, respectivamente, son: 26. Si la fórmula (p  q)  (r  s) es
A) 1111 B) 0111 C) 1100 verdadera; teniendo r y s valores
D) 1001 E) 0110 veritativos opuestos; luego, los valores
22. Dado: A = –1, 0, 1, 2, 4} de verdad de las fórmulas:
Además: 1) [(p  q)  (r  s)]  p
p = xA / x2  A 2) [(r  s) → (p  r)]   (r  s)
q = xA/ x–1 A 3) [(r  s) → (s  p)   (r  p)
r = xA/ x  A Respectivamente, son:
Luego, los valores de verdad de: A)FVF B) FFV C) VVF
1) (r  q) → (p  q) D) VFV E) FVV
2) (r  q)  (p  r) 27. Si la fórmula: [(p  q) → r]   (p  r)
es falsa. Luego:

3
RAZ. MATEMÁTICO S-02 Ingreso Directo
Equipo de docentes Centro Preuniversitario UNS - CEPUNS

1) Es posible que p sea verdadero y q D) Todas E) Ninguno


sea falso. 31. Si: ( p @  q ) = 0011
2) Es posible que p sea falso y q sea
falso. (
La fórmula: (  p @ q ) @ p  q  ,
 )
3) r es verdadero o falso.
equivale a:
4) Es posible que p sea falso y q sea
A)  p  q B) p  q C) p   q
verdadero.
5) r es falso. D)  p E)  p   q
Son ciertas: 32. Determine el valor de verdad de:
A) 2, 3 y 4 B) 1 y 5 C) 2, 4 y 5
D) 1 y 3 E) Solo 2 y 3 p : x  , y  , x + y = 0
28. Si el siguiente esquema molecular: q : y  , x  , x + y = 0
( p   q )  (  r  s ) es falso, la función r : x  , y  : y  x
de verdad de cada una de las variables, A) VVF B) VFF C) FVV
es respectivamente: D) FFV E) VVV
A) 1001 B) 0110 C) 1110 33. Dado que la estructura: “P es verdadero
D) 0001 E) 1010 siempre que Q sea falsa”, es falsa.
29. Sean las variables p, q, r; definidas por: Luego, son verdaderas:
p = La lógica no es una ciencia factual I. P es falsa y Q es verdadera
q = La lógica formal estudia la validez de II. Si P es falsa, Q es falsa
los razonamientos III. Q es verdadera si P es
r = La matemática es una ciencia factual. verdadera
Luego los esquemas siguientes: Son ciertas:
1) ( p → q)  ( p   r ) A) Solo I B) Solo II C) II y III
D) I y III E) Ninguna
2) q /   p   ( q   r )  34. Si la formula proposicional: 𝒑 ∧ 𝒒

3) ( p   q )   r  ( s →  r ) 
Tienen como valores de verdad:
A) 1, 1, 0 B) 0, 1, 0 C) 0, 0, 0
Luego, el cuadro:
D) 1, 0, 1 E) 1, 1, 1
30. De los siguientes esquemas formales:
1) ( p →  r )  ( s   q)
2)  q / ( p   s )   r  Representa la fórmula:
A) 𝒑 → 𝒒 B) 𝒑 ← 𝒒 C) 𝒑 ∧∼ 𝒒
3) ( p   q )   r  ( s →  t )  D) ∼ 𝒑 ∧ 𝒒 E) 𝒑 ∨ 𝒒
¿Cuáles de ellos tienen matriz principal 35. Dada la proposición:
tautológica?
~[(𝒓 ∨ 𝒒) → (𝒓 → 𝒑)] ≡ 𝑽
A) Solo 1 y 2 B) Solo 1 y 3 C) Solo 2 y 3

4
RAZ. MATEMÁTICO S-02 Ingreso Directo
Equipo de docentes Centro Preuniversitario UNS - CEPUNS

Donde se sabe que q es una Son correctas:


proposición falsa. Halle el valor de A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
verdad de las siguientes D) 1, 3 y 5 E) 2, 4 y 5
proposiciones: 40. Definimos la proposición lógica
I. 𝒓 → (~𝒑 ∨∼ 𝒒)
II. [𝒓 ↔ (𝒑 ∧ 𝒒)] ↔ (𝒒 ∧∼ 𝒑)

compuesta p q , mediante la siguiente

III. (𝒓 ∨∼ 𝒑) ∧ (𝒒 ∨ 𝒑) tabla de verdad


p q
A) VVV B) VVF C) VFF
p q 
D) FFF E) FFV V V F
36. Si la proposición [(∼ 𝒑 ∨ 𝒒) → (𝒒 ↔ V F F
𝒓)] ∨ (𝒒 ∧ 𝒔) es falsa, siendo p una F V V
proposición verdadera determinar los F F V
valores de verdad de q, r , s en ese
orden.
(
 q p
  )  ( p  q )  ( p  q )
A) VVV B) VFV C) VFF Hallar su matriz final:
D) FFV E) FFF A) VVFF B) VFVF C) FFVV
37. Si: [ (p % q) ≢ (p # q )} es una D) FVFV E) FFFV
contradicción, entonces la fórmula: ( p % 41. Si se cumple:
- q ) equivale a: p : x  N / x  5
a) (p# q) b)p#q c) p#q q : x  N / x  5
d)p# q e) N.A.
Luego, del esquema adjunto:
38. Al evaluar
 ( p  q ) / ( p  q )
 ( p  q )  ( r  s ) → (t  u )  v
Podemos afirmar
Hallar s, u y el valor de la matriz principal A) puede ser verdadero o falso
en la fila 61
B) es falso
A) VVV B) FFF C) FVV
C) es verdadero
D) VFF E) FVF
D) Es falso si p es falso
39. Dada la formula verdadera:
E) es verdadero si p verdadero y q es
  ( p  q)  r   (p  q) falso
42. Del esquema:
Además:
pqrstuvwxy
A = p → (q  s) B = q  r Determinar el número de valores
Luego, de las aseveraciones: verdaderos en su matriz final:
1) A  B = 0 A) 128 B) 256 C) 512
2) C / ( A  B) = 1 D) 1024 E) 1023
3) A  B = 0 43. Dado el esquema formal:
4) A  C = 1 p  q  r  s  t  u  v  w  x
5) B  A = 1

5
RAZ. MATEMÁTICO S-02 Ingreso Directo
Equipo de docentes Centro Preuniversitario UNS - CEPUNS

Determinar los valores de verdad en los p( x) : ( x  )( y  )  x  y 


arreglos: 4, 8, 23, 342, 511
A) 0, 1, 0, 0, 0 B) 0, 0, 1, 0, 0 C) 0, q( x) : ( y  )( x  )  x  y 
0, 0, 0, 1
D) 0, 0, 0, 1, 0 E) 0, 0, 0, 0, 0 r ( x) : ( y  )( x  )  x  y 
44. Dado el esquema formal: Los valores de verdad de p, q, r son
A  B  C  D  E  F  G  H  respectivamente:
I  J A) VFV B) FFV C) FFF
Determinar los valores de verdad en los D) VVF E) FVV
arreglos: 32, 61, 127, 342, 1000 49. Sea p una proposición lógica y q(x) una
A) 1, 1, 1, 0, 1 B) 1, 0, 1, 1, 1 función proposicional. Si la proposición
C) 1, 1, 1, 1, 1 D) 1, 1, 0, 1, 1 s : (x)[ p → q( x)] es verdadera,
E) 1, 1, 1, 1, 0 entonces, se afirma que:
45. En el esquema formal:
p  −q  r  −s  t  −u  v  −w  x  −y
los A) (x)[ p   q( x)]  F
valores de verdad en los arreglos 100; B) (x)[ p   q( x)]  F
200 y 300 son, respectivamente: C) (x)[ p   q( x)]  F
a) 101 b) 000 c) 011 D) (x)[ p   q( x)]  V
d) 111 e) 110 E) (x)[ p  q( x)]  F
46. En la proposición molecular:“La 50. Determine el valor de verdad de los
depresión es un trastorno anímico siguientes enunciados tomando como
común, grave, tratable y curable. Afecta referencia:
dos veces más a las mujeres que a los
hombres. El riesgo de desarrollarla A = 1; 2;3; 4;5;6;7;8;9
aumenta de 2 a 3 veces si es que hay
antecedentes familiares de depresión.
1) x  A / ( x + 5  9 )
La edad de más alto riesgo está entre los 2) x  A / ( x + 7 = 7 )
25 y los 44 años de edad”. El número de
variables y arreglos del esquema 3) x  A / ( x + 7  15 )
molecular, es: 4) x  A / ( x + 7  15 )
A) 6 y 64 B) 7 y 128 C) 8 y 256
D) 9 y 512 E) 10 y 1024 5) x  A / ( x + 7  16 )
47. Al interpretar formalmente el A) VVVVF B) FFVVF C) FFVVV
enunciado:“El bicondicional de la D) FFVFV E) FFFFF
negación de p y la disyunción débil de p
y q implica a la negación de la Los desafíos son los que hacen la vida
disyunción débil de q y la negación de p”. interesante, y superarlos es lo que
Su matriz final es: hace la vida significativa…
A) 0000 B) 1101 C) 1111 (PROF. WILMER BANCES C.)
D) 0001 E) 0101
48. Sean dadas las proposiciones:

6
RAZ. MATEMÁTICO S-02 Ingreso Directo

También podría gustarte