CENTRO DE ESTUDIOS PREUNIVERSITARIOS DE LA UNIVERSIDAD NACIONAL DE TRUJILLO

CE PUNT
CEPUNT
CICLO DICIEMBRE – MARZO 2021

SEMANA 6: VERDAD FORMAL

Ing. Maycol Mendoza

1. De las siguientes proposiciones: 5. Si se cumple:

p: John Venn aclaró los procedimientos de Boole p  q = [(p  q)  –q
representando los procesos algebraicos en los Luego la matriz final de:
diagramas de Ven. (–p  q)  (–q  p)
q: Alfred Tarski desarrollo la lógica de predicados. Es:
r: “Es permisible que p”, es un operador de la lógica A) 1100 B) 0011 C) 0001
proposicional. D) 1010 E) 1001
Los valores finales de las fórmulas:
I) (p  q)   (r  s) 6. Si:
II) (r  p)  (q  p) p  q = 0111
III) (p  s)  (r → q) además:
Respectivamente son: p  q = –p  q
A) 111 B) 100 C) 001 Luego, la matriz principal del esquema molecular:
D) 101 E) 000 – (–p  –q)  – (p  –q)
Es:
2. Del siguiente esquema proposicional: A) 1000 B) 0011 C) 1011
p  q  r  s  t  u   (v  w) D) 1101 E) 0000
Se afirma:
1) Tiene valores verdaderos en su matriz principal. 7. Si se cumple que:
2) No tiene valores falsos en su matriz principal. (–p  –q)  – (p  –r) es una tautología.
3) Tiene por lo menos un valor falso en su matriz Luego, la fórmula: p  –r tiene la misma matriz
principal. principal que:
4) Tiene 255 valores verdaderos en su matriz A) p  q B) p  –q C) –p  q
principal. D) –p  –q E) – (p  –q)
5) Corresponde a un esquema contingente.
Son ciertas: 8. El siguiente esquema proposicional:
A) Solo 1 y 3 B) Solo 2 y 4 p  q  –r  s  –t  u  –v  w  –x  –y  –z
C) 3, 4 y 5 D) 1, 3 y 5 E) 2, 3 y 4 Tiene como número de valores verdaderos en su
matriz final a:
3. De la matriz final del esquema molecular: A) 1024 B) 64 C) 128
 (p  q)  [ (q  r)  (r  p)] D) 256 E) 512
Sus valores producen en un circuito:
A) 4 focos apagados y 4 focos encendidos 9. De la siguiente proposición molecular:
B) 8 focos encendidos “La vacuna llamada ChAdOx1 nCoV-19 está hecha
C) 7 focos apagados y 1 foco encendido de un virus genéticamente modificado que causa el
D) 1 foco apagado y 7 focos encendidos resfriado común en los chimpancés. Se modificó en
E) 8 focos apagados gran medida para que no pueda causar infecciones en
las personas y también para hacer que "se parezca"
4. Si: p ¥ q = (p € –q) € (–p € q) más al coronavirus. Para modificarla, los
Además: p€q investigadores le transfirieron a la vacuna información
Viene representado por: genética de la proteína espiga del SARS-CoV-2, la
herramienta crucial que utiliza el coronavirus para
q
1 0 invadir nuestras células. En consecuencia, esto
p
significa que la vacuna se parece al coronavirus y le
1 da al sistema inmune la posibilidad de aprender cómo
atacarlo”.
El número de constantes y arreglos del esquema es:
0 A) 6 y 64 B) 7 y 128 C) 8 y 256
D) 9 y 512 E) 10 y 1024
Luego la matriz principal de:
– (–p ¥ –q) 10. Sean:
Es: A =  (p  q) / r
A) 0001 B) 1011 C) 1101
B =  (p → q)
D) 0111 E) 1000
Además:
p = 0; q = 0; r = 1
Luego de las aseveraciones:

Curso: Razonamiento Lógico Área: Todas

 CENTRO DE ESTUDIOS PREUNIVERSITARIOS DE LA UNIVERSIDAD NACIONAL DE TRUJILLO
CE PUNT
CEPUNT
CICLO DICIEMBRE – MARZO 2021

1) A  B = 0 18. En la fórmula:
2) B → A = 0 [(q  p) → (q  r)]   (p  r)
Si su negación no es verdadera, los valores de r, p y q
3)  (A  B) / C = 1
respectivamente son:
4) A  B = 1
A) FFF B) FFV C) FVF
5) C  (A  B) = 1 D) VVF E) VFV
Son correctas:
A) 1, 2 y 3 B) 1, 2 y 4 C) 2, 4 y 5 19. De:
D) 2, 3 y 4 E) 1, 3 y 4 “La negación del bicondicional entre p y la negación
de q, bialternada con p; implica a la disyunción débil
11. Sea la fórmula no verdadera: entre la negación q y p”
 [ (p  q)  r  (r / q)  s] Su matriz final es:
Luego, los valores de las variables, respectivamente A) 0000 B) 1101 C) 1111
son: D) 0001 E) 0101
A) VVFF B) FFVF C) FVVV
D) VVVV E) VVVF 20. En el caso que C sea verdadera y la estructura
proposicional:
12. Si la fórmula proposicional: {[(A  B) → (C / –B)] / C} sea verdadera
{[(A  B)  (A  B)]  (A  C)} es falsa Luego, el esquema:
El valor de verdad del esquema: – (–A  –B) → D
 (A  B)  C  D Es:
Es: A) V B) Tautológico C) –A
A) 1 B) 1 y 0 C) 0 y 1 D) F E) Indeterminado
D) 0 C) Contingente
21. Sin modificar la fórmula siguiente:
13. Determinar el valor de verdad del siguiente esquema: [(p  q)  r] → s   [t  (u  v)]
{[ (J  B) / A]  (C  E)}  D La combinación de valores 0 y 1 en el arreglo 125, es:
Si se sabe que el esquema: A) 0000010 B) 1011011 C) 1101011
(J / G)  (H  D) es falso D) 0000011 E) 0000011
A) Verdadero B) Falso C) 0 y 1
D) Contingente E) Indeterminable 22. Si:
p(x): x2 = 16
14. En el siguiente esquema molecular: q(x): x – 4 = 8
[(AB  –C)  –D]{[(EFG) → – (H  I)] → J} r(x): x2 – 4 > 5
El valor de verdad en la matriz final en el arreglo Los valores de verdad de:
1022, es: 1) p(1)  p(3)   r(2)  p(3) → q(4)
A) Verdadero B) 1 y 0 C) Falso 2) p(2)  –q(7)  r(4)
D) 0 E) C y D 3) –p(4) → r(5)  –q(4)
Respectivamente son:
15. Dada la fórmula falsa: A) FFF B) VVV C) VFV
[(A  B) → (C / E)]  [(A D)  C] D) VVF E) FFV
Los valores de verdad de:
I) (E → D)   (A / C) 23. Si la proposición:
II)  (A  B) → F (r → s)  p → – (p  q)
III) [(A  B)  (B  C)]  D Es verdadera, además p  q es falsa; los valores de
Respectivamente son: verdad de p, q, r y s, respectivamente son:
A) 011 B) 010 C) 111 A) FVFF B) FVVF C) FFFV
D) 001 E) 110 D) VVVF E) VFFV
16. La fórmula: 24. En el esquema formal:
[(p / q)  (q → p)]   [p   (p → q)] p  q  r  s  t  u  v  w  x  y
Corresponde a un esquema: Los valores de verdad en los arreglos 750, 901 y 1016,
A) Tautológico B) Contingente respectivamente, son:
C) Contradictorio D) Verdadero E) Simple A) 101 B) 000 C) 100
D) 001 E) 010
17. La fórmula:
 (A / B) /  { [(A  B) → (A  B)}
25. En el esquema formal:
Corresponde a un esquema:
p  q  r  s  t  u  v  w  x
A) Tautológico B) Contingente
Los valores de verdad en los arreglos 374, 407 y 511,
C) Contradictorio D) Continente E) Simple
respectivamente, son:

Curso: Razonamiento Lógico Área: Todas

 CENTRO DE ESTUDIOS PREUNIVERSITARIOS DE LA UNIVERSIDAD NACIONAL DE TRUJILLO
CE PUNT
CEPUNT
CICLO DICIEMBRE – MARZO 2021

A) 101 B) 100 C) 110

D) 011 E) 010

Curso: Razonamiento Lógico Área: Todas