SEMINARIO DE RAZ.

LÓGICO
Verdad Formal
Determinar: (p  q)  q
1. Del siguiente esquema
Proposicional: A) p  q B) p C) q
pqrstuvw 8 D) q  p E) 1
Podemos afirmar: 6. Dado el esquema:
1) No tiene valores verdaderos en . p  q / q  r  s; falso
su matriz principal Los valores de verdad de las
2) No tiene valores falsos en su variables: s, p, q y r
matriz principal respectivamente son:
3) Tiene por lo menos un valor A) 0110 B) 1001 C) 1000
falso en su matriz principal D) 1110 E) 0010
4) Tiene por lo menos un valor
verdadero en su matriz principal TEMA: EQUIVALENCIAS LÓGICAS
5) No corresponde a un esquema 1. El siguiente esquema molecular:
contradictorio [(p  q)  (p  q)] 
Son ciertas: Tienep como expresiones
A) Sólo 1 y 3 equivalentes a:
B) Sólo 2 y 4 1) (p  q)  (p  q  p)
C) 3, 4 y 5 2) (p  q)  (p  q)  p
D) 1, 3 y 5 3) q
E) Ninguna 4) p
2. En el esquema formal: 5) (p  q)  (p  q)  p
. p  q  r  s  t  u  w  x  Son ciertas:
y  z A) 1, 2 y 4 B) 1, 2 y 3 C) 2, 3 y 5
Los valores de verdad en los D) 2, 4 y 5 E) Sólo 4
arreglos 133; 514 y 752 son, 2. El siguiente esquema molecular: p 
respectivamente: (p  q) tiene como equivalentes a:
A) 100 B) 101 C) 010 1) p  (q  p) 2) p  (p  q)
D) 001 E) 111
Son ciertas:
3. Con las variables proposicionales p, A) Todas B) Sólo 1 y 4 C) Sólo 1 y 3
. q, r; cuántas fórmulas D) Sólo 2 y 3 E) Sólo 2 y 4
proposicionales con matrices finales 3. El esquema molecular: p  (q p)
diferentes se pueden construir:
tiene como equivalentes a:
A) 8 B) 16 C) 64
3) (p  p)  (p  q) 4) p  (p  q)
D) 256 E) 512
1) p  (q  p) 2) (p 
4. Dada la fórmula lógica: q)  (q  p)
{[(p  q)  (p  q)]  p}  q 3) p  q 4) (q  p)
¿Cuántos focos verdes prenden al Son ciertas:
conectar la corriente eléctrica? A) Ninguna
A) 2 B) 3 C) 4 B) Sólo 1 y 2
D) Ninguno E) 1 C) Sólo 2 y 3
5. Dada la siguiente tabla veritativa: D) Sólo 2 y 4
. E) Sólo 1 y 4
p q p  q 4. El esquema formal:
1 1 1 {[(p  q)  q]  [(p  r)  q]}  (q  s)
0 0 0 Tiene como fórmulas equivalentes
0 1 1 a:
1 0 1 A) (p  q)  (q  p) B) p
 C) (p  q)  (p  q) 10) Del siguiente esquema:
D) p
E) (p  q)  (p  q)

(R  S). T  R  R
Aplicando leyes del álgebra boolena
5. El siguiente esquema formal: equivale a:
[(p  q)  (p  q)]  (p  q) A) R  S  T
Tiene como fórmulas equivalentes B) R  S
a: C) R  T
1) p  q 2) (p  q) 3) (p  q) D) S  T
4) p  (p  q) 5) p  E) R / T
(p  q)
Son ciertas: TEMA: CIRCUITOS LÓGICOS
A) Sólo 1, 3 y 4
B) Sólo 1 y 3 1. El siguiente circuito:
C) Sólo 1, 2 y 3
D) Todas A
E) Sólo 1 y 5 A
B C C B
6) Si se sabe que las fórmulas:
(P % Q) y (P * Q) B
Tienen matrices idénticas, determinar: C
P % Q
A) (Q * P) B) Q * P C) P * Q
D) (Q * P) E) P * Q Equivale:
A) A  B  C B) A  B C) A  B
7) Si la proposición: S(A,B)  [(A  B) 
D) B  C E) A  C
(B  A) pudo reducirse 2. El circuito
equivalentemente hasta (AB);
determinar la expresión formal q
que representa a S(A,B)
A) A  B B) A C) N.A. p
E) A  B r
D) (A  B) p
8) Si se define: p q r
q
pq  (p  q)  (q  p)
Hallar el equivalente de:
[(p  q)  q]  [p  (q  p)] p q
A) p B) q C) p
D) V E) F Equivale:
1) p 2) 1 3) 0
9) La proposición más simple 4) s  s 5) 1
equivalente a: Son ciertas:
[ (q  p)  (p  q) ]  (p  q), A) Solo 2 y 3
es: B) Solo 2 y 5
A) p B) p C) q C) Solo 2, 4 y 5
D) q E) p  q D) 2, 3 y 4
E) Todas – 3

9
 Al formalizar el circuito lógico cada
variable tiene un costo de S/. 15 por
3. El circuito a conmutadores: lo tanto al simplificar nos quedaría
p en:
A) 30 B) 15 C) 45
r p
D) 60 E) 120
p r
r 7. En el circuito:
q
A B C
s p B D
A B
Equivale a:
A) q  r B) p  s C) r  p B C
D) r E) s
Al simplificar determinar en qué
4. El circuito a conmutadores: arreglo se ubica el EPM, cuyo valor
de verdad es: 1
A D A A) 1 B) 4 C) 10
D) 11 E) 15
B C B D 8. Al simplificar el circuito:

A D C
A
Equivale:
B
A) ABD
B) BDC Donde:
C) ACD A =La psicología es una ciencia
D) ABCD fáctica lógica es una ciencia formal.
B = La historia es una ciencia fáctica
E) (AB)  (CD)
matemática es una ciencia formal.
Equivale a
5. El circuito a conmutadores:
A) La psicología y la historia son
A D ciencias fácticas.
A
B) La psicología o la historia son
B C B C ciencias fácticas
C) Si la historia no es una ciencia
A D D fáctica, la psicología tampoco.
D) Si la historia es una ciencia
Equivale: fáctica, la psicología también lo
A) A  (B  C) / D es.
B)  (A  B) / (C  D) E) Si la psicología es una ciencia
C) (A / B)  (C / D) fáctica, la historia también lo es.
D) (A  B)  (C  D)
E) (A  B) / (C  D) 9. La fórmula lógica: p  q
6. En el circuito lógico adjunto: Se expresa en circuito lógico como:
p A) p q –q –p
q
B) p q –q –p
r
s

10
 B) Sólo 2 y 3
p q –q –p
C) C) Ninguna
D) Todas
p E) 1 y 3
q –q –p
D)
5. La siguiente estructura:
–q P1: p  q
E) P2: r  s
p –p
P3: p 
q r q  s
C:
Se caracteriza porque:
1) Tiene una estructura Válida
IMPLICACIONES LOGICAS 2) La Conclusión se obtiene por la
1. De: [(A  B)  (C  D)  (B  C)] aplicación de Reglas
Se infiere: 3) Tiene una estructura No Válida.
A) A  –D 4) No tiene conclusión obtenida
B) B  –A válidamente
C) –A  D 5) La conclusión es válida
D) D  –A Son ciertas:
E) No es posible A) 1, 2 y 5 B) 2, 4 y 5 C) 1 y 5
D) Sólo 1 y 2 E) 3 y 4
2. De las siguientes premisas: TEMA: LOGICA
P1: R  –S CUANTIFICACIONAL
P2: R 1. La expresión: “Todos son
P3: –S  Q revolucionarios”; equivale a:
P4: Q  –N 1) No hay no revolucionarios.
Se infiere: 2) Nadie no es revolucionario.
A) –R B) –P C) –N 3) Es falso que hayan
D) –S E) –Q revolucionarios.
4) José y Manuel son
3. De las siguientes fórmulas revolucionarios.
implicativas: 5) Ninguno es revolucionario.
1) (p  q)  (p  q) Son ciertas:
2) p  [q  (r  p)] A) Solo 4 y 5 B) 1, 2 y 4 C) 3 y 4
D) 1, 4 y 5 E) Solo 1 y 2
3) [(p  q)  p]  p
2. La expresión: “Es falso que nadie sea
¿Cuáles de ellas son válidos? neoliberal”; equivale a:
A) Sólo 1 y 3 1) Juan y Pedro son neoliberales.
B) Sólo 2 y 3 2) Keiko no es neoliberal o Pedro
C) Sólo 1 y 2 tampoco lo es.
D) Todas
3) Algunos son neoliberales.
E) Ninguna 4) Alan es neoliberal o Julio es
neoliberal.
4. De las siguientes fórmulas
5) Varios no es falso que sean
implicativas:
neoliberal.
1) [(p  q)  (p  r)]  (q  r)
Son ciertas:
2) [(p  q)  p]  q
A) Solo 1, 2 y 3
3) [(p  q)  p]  q B) Solo 3, 4 y 5
¿Cuáles de ellas no son válidas? C) Solo 4 y 5
A) Sólo 1 y 2 D) Solo 1 y 3

11
 E) Todas 2) No todos no son niños o son
hiperactivos.
3. La expresión: “Varios no son 3) Todos son hiperactivos o no son
musculosos”; equivale a: niños.
1) Es inconcebible que todos sean 4) Es falso que todos los niños sean
musculosos. hiperactivos.
2) Rómulo no es musculoso o 5) Hay no niños hiperactivos.
Samuel no es musculoso. Son ciertas:
3) Samuel es musculoso es A) 1, 2 y 4 B) 1, 3 y 5 C) 2, 4 y 5
condición necesaria para que D) Solo 1 y 2 E) Solo 2 y 4
Rómulo no sea musculosos. 7. El enunciado: “Es falso que varios
4) Ni siquiera un individuo es vecinos sean colaboradores”.
musculosos. Equivale a:
5) Puesto que Rómulo es musculoso 1) Ningún vecino es colaborador.
obviamente Samuel no es 2) Es innegable que ningún
musculosos. colaborador es vecino.
Son ciertas: 3) Hay vecinos que no son
A) 1, 2 y 5 B) 3, 4 y 5 C) 2, 3 y 4 colaboradores.
D) Solo 1 y 2 E) Solo 4 y 5 4) Es falso que pocos colaboradores
sean vecinos.
4. La expresión: “En absoluto casi nadie 5) Algunos que no son vecinos son
es inmoral”; equivale a: colaboradores.
1) Hay inmorales.2) Es falso que hay Son ciertas:
inmorales. A) 1, 4 y 5 B) Solo 3 y 5 C) 2, 3 y 4
3) Todos son morales. 4) Ninguno D) 1, 2 y 5 E) 1, 2 y 4
es inmoral.
5) Es mentira que cualquiera es 8. El enunciado: “Algunos aguarunas
inmoral. son civilizados”. Equivale a:
Son ciertas: 1) En modo alguno, todos no son
A) 1, 3 y 4 B) 2, 3 y 5 C) 1, 4 y 5 civilizados o no son aguarunas.
D) 1, 2 y 4 E) 3, 4 y 2 2) Es falso que solo si todos son
aguarunas, no son civilizados.
5. La expresión: “Todos no son 3) Hay aguarunas pero pocos no son
comunistas”; equivale a: civilizados.
1) La mayoría no son comunistas. 4) Es falso que ningún civilizado es
2) Ni Armando ni César son aguaruna.
comunistas. 5) Algunos son civilizados además
3) No es cierto que todos son aguarunas.
comunistas. Son ciertas:
4) Es falso que nadie es comunista. A) Solo 2, 3 y 4 B) Solo 1, 2 y 4
5) Es dudable que hayan C) Solo 2, 4 y 5 D) Solo 1, 4 y 5
comunistas. E) Todas
No son ciertas:
A) 1, 4 y 5 B) 2, 3 y 4 C) 1, 3 y 4 9. El enunciado: “Ningún invidente no es
D) 3, 4 y 5 E) Solo 4 y 5 desafortunado”. Equivale a:
1) Algunos afortunados son
6. El enunciado: “Algunos niños no son invidentes.
hiperactivos”. Equivale a: 2) Todos no son invidentes o son
1) Es falso que ningún no hiperactivo desafortunados.
es niño. 3) Ningún invidente es afortunado.

12
 4) Jamás algunos invidentes son
afortunados. 5) Algunos profesores no son
5) Todos son invidentes excepto que sinceros.
sean afortunados Son ciertas:
A) Sólo 1 y 2 B) 3 y 5 C) 2, 4 y 5
Son ciertas:
D) 1, 2 y 3 E) Todas
A) 2, 3 y 4 B) 2, 4 y 5 C)
Solo 2 y 4 3. De la subalterna de la proposición:
D) 1, 2 y 5 E) 1, 3 y 4 “Cada mendigo no es orgulloso”,
10. La expresión: “Es falso que algunos inferimos inmediatamente en su
sean hemofílicos”; equivale a: obversa:
1) Es falso que todos son A) Existe al menos un orgulloso
hemofílicos. que sea no sea mendigo
2) Ernesto no es hemofílico o B) Cada mendigo es no orgulloso
Rómulo no es hemofílico. C) Pocos orgullosos no son
3) No es falso que nadie sea mendigos
hemofílico. D) Por lo menos un no orgulloso es
4) Ni Erika ni Elena son hemofílicas. mendigo
5) Nadie es hemofílico. E) Cuando menos un mendigo es
Son ciertas: no orgulloso
A) 1, 2 y 3 B) 2, 3 y 4C) Solo 4 y 5
D) Solo 3 y 4 E) 3, 4 y 5 4. De la proposición: “Sin dudas es
cierto que todos los trujillanos son
TEMA: LÓGICA liberteños”, se infiere:
TRADICIONAL 1) Algunos liberteños son
trujillanos
1. De la premisa: “Todos los caballos 2) Cada liberteño es trujillano
son solípedos” Se concluye 3) Demasiados no liberteños no
válidamente: son trujillanos
1) No es veraz que ningún 4) Todos los no liberteños no son
solípedo sea caballo. trujillanos
2) Pocos caballos son solípedos. 5) Ningún liberteño es trujillano
3) Es falso que algunos animales Son ciertas:
no solípedos sean caballos. A) 1, 2 y 3 B) 3, 4 y 5 C) Sólo 3 y 4
4) Es absurdo que ningún caballo D) 1, 3 y 4 E) 1, 4 y 5
sea solípedo.
5) Es falso que algunos caballos 5. De la proposición: “Ciertos maestros
no sean solípedos. son políticos”, concluimos que su
Son ciertas: obversa se caracteriza porque:
A) 1, 2 y 3 B) 2, 3 y 5 C) 1, 2 y 4 1) Se obtuvo por una inferencia
D) 4 y 5 E) Todas inmediata.
2) Tiene la misma cantidad que la
2. De la proposición: “Algunos que no premisa
son profesores son sinceros”; es la 3) El sujeto y el predicado no han
contrapuesta de: permutado
1) Ni siquiera uno que sea sincero 4) El predicado inicial fue
es profesor. reemplazado por su
2) Hay personas que son sinceras complemento.
pero no son profesores. 5) Se formalizaría como SoP
3) Todo no sincero es profesor. Son falsas, excepto:
4) Todo profesor es no sincero. A) Sólo 1, 2 y 3 B) 1, 3 y 5

13
 C) Sólo 2 y 3 D) Sólo 3, 4 y 5 1) La contradictoria de su
E) Todas subalternante puede ser
verdadera.
6. De la premisa “Todos los 2) La subalterna de su
disciplinados son ordenados”, subalternante es falsa.
inferimos en su conversa: 3) La contradictoria de su
A) Algunos desordenados son subcontraria puede ser falsa.
indisciplinados. 4) Su subcontraria es falsa.
B) Algunos ordenados son 5) La contraria de su subalternante
disciplinados. es falsa.
C) Varios ordenados no son Son ciertas:
disciplinados A) 1, 3 y 5 B) 2, 3 y 5 C) 1, 4 y 5
D) Algunos disciplinados no son D) 2, 3 y 4 E) Ninguna
desordenados
E) Muchos ordenados son 10. Si la proposición: “Muchos de los no
indisciplinados. vegetarianos son dietéticos” es falsa,
las afirmaciones ciertas son:
7. Si la forma proposicional: “Todo S es 1) Su contradictoria es indefinida.
P” es verdadera, las afirmaciones 2) Su subalternante es falsa.
ciertas son: 3) Su contraria es verdadera.
1) Por lo menos un tipo de 4) Su subcontraria es verdadera.
proposición en el Cuadro de 5) La contraria de su subalterna es
Oposición es falsa. falsa.
2) La proposición tipo SoP es falsa. Son ciertas:
3) La subcontraria de su A) 1 y 3 B) 2 y 5 C) 3 y 5
subalterna es falsa. D) 2 y 4 E) 1 y 2
4) La contraria de la contradictoria
de su subalterna es falsa. TEMA: LOGICA BOOLEANA
5) La contraria de su contradictoria 1. El diagrama: T
es falsa. Donde:
Son ciertas: T = Trujillano
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 Equivale a:
D) Sólo 2 E) T – 5
1) No muchos son trujillanos.
8. Determine la proposición 2) No hay los que dejan de ser
Subalternante de: “Muchas aves son trujillanos.
tropicales” 3) No cualquiera es trujillano.
A) Todas las aves son no 4) Ninguno deja de ser trujillano.
tropicales. 5) Cualquiera no se da que sea
B) Todas las aves son tropicales. trujillano.
C) Ninguna ave es tropical. Son FALSAS:
D) Ninguna ave no es no tropical. A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
E) Todas las no aves son D) Solo 1 y 5 E) Solo 4 y 5
tropicales.
2. El diagrama:
9. Si la proposición: “Ciertos Donde: A
automóviles no son no gasolineros” A = Ambientalista
es verdadera, las afirmaciones Es el complemento de:
ciertas son: 1) Es falso que ninguno deja de ser
ambientalista.

14
 2) Casi todos son, con toda certeza, 4) En modo alguno cualquier no
ambientalistas. guadalupano es obviamente
3) No todos son ambientalistas. chepenano.
4) Bastantes es imposible que sean 5) Todo no guadalupano es sin duda
ambientalistas. chepenano.
5) Pocos no dejan de ser NO SON FALSAS:
ambientalistas. A) 1, 2 y 5 B) 1, 2 y 4 C) 1, 3 y 4
Son ciertas: D) 2, 3 y 5 E) 3, 4 y 5
A) 1, 2 y 5 B) 1, 2 y 4 C) 1, 3 y 4
D) 2, 3 y 5 E) 3, 4 y 5 5. El diagrama:
Donde: P A
3. Del diagrama: P = Peruano
Donde: C F A = Atleta
F = Fujimoristas
C = Congresistas x
Se infiere: Equivale a:
1) Ni al menos un peruano es atleta.
1) Es absurdo que no haya 2) Al menos un peruano no es
congresistas que no sean certero que sea atleta.
fujimoristas. 3) Todo peruano no cumple con ser
2) En modo alguno ocurre que ni atleta.
siquiera un no fujimorista sea 4) Ni siquiera un atleta es peruano.
congresista. 5) No todos los peruanos son atletas.
3) Bastantes no congresistas de Son ciertas:
seguro no dejan de ser A) Solo 1, 2 y 5 B) Solo 1, 2 y 4
fujimoristas. C) Solo 1, 3 y 4 D) Solo 2, 3 y 5
4) Muchos que no son fujimoristas no E) Todas
son sin duda no congresistas.
5) Hay no congresistas que de algún 6. El diagrama:
modo sean fujimoristas. Donde:
Son ciertas: I = Investigadores I E
A) 1, 2 y 5 B) 1, 2 y 4 C) 1, 3 y 4 E = Estudiantes x
x x
D) 2, 3 y 5 E) 3, 4 y 5 Equivale a:
C G
4. El diagrama:
Donde: 1) No hay no investigadores que no
C = Chepenanos sean estudiantes.
x
G = Guadalupanos 2) Al menos un investigador nunca
es estudiante.
Es el complemento de: 3) Es certero que muy pocos
1) Muy pocos no chepenanos investigadores en modo alguno
tampoco dejan de no ser son estudiantes.
guadalupanos. 4) Quienquiera es investigador o
2) Todos son chepenanos o tal vez también no deja de ser estudiante.
guadalupanos. 5) Casi todos no son investigadores
3) Es imposible que muy pocos no pero tampoco son estudiantes.
sean chepenanos y a la vez no Son absurdas:
sean guadalupanos. A) Solo 1, 4 y 5 B) Solo 1, 2 y 4
C) Solo 1, 3 y 4 D) Solo 2, 3 y 5
E) Todas

15