UNIVERSIDAD NACIONAL DEL SANTA

CEPUNS CICLO 202I - III

RAZONAMIENTO MATEMÁTICO
“Cuantificadores Lógicos” Semana N° 04
EQUIPO DOCENTE

1) La proposición “cada uno es político”

4) La proposición: “Es absolutamente falso
equivale infinitivamente a:
que nadie sea desleal” se formaliza
1) Es falso que existen políticos
como:
2) Es Incierto que hay no políticos.
A)–x(–Ax) B)–x(Ax) C) –x(– –Ax)
3) De ninguna manera haya políticos.
D) x(–Ax) E) x(Ax)
4) Todos son políticos.
5) La proposición “No todos son
5) Carece de verdad que muchos son
inteligentes” se formaliza:
políticos. No son falsas excepto:
A) x (-Ix) B) -x (-Ix) C) x (Ix)
A. Sólo 1, 2 y 3 B. Sólo 2, 3 y 4
D) b y c E) Ninguna Anterior.
C. Sólo 3, 4 y 5 D. Sólo 1, 3 y 5
6) La proposición : x(Ax) se lee :
E. Todas
1. Muchos x, son tal que x son patriotas
2) La expresión ninguno es fumador
2. La mayoría de seres son heterótrofos
equivale a:
3. Casi todos son americanos
A. Todos son fumadores.
Son ciertas:
B. Benito, Sandra y Karina no son
A) 1, 2 y 3 B) 1 y 2 C) 2 y 3
fumadores.
D) 1 y 3 E) Ninguna Anterior
C. No existen fumadores.
7) La proposición: “Existe al menos un x, tal
D. Es mentira que algunos no sean no
que x es elocuente” se formaliza:
fumadores.
a) x(Ax  Bx) b) -x(-Ax  -Bx)
E. Martin no fuma Celia tampoco.
c) x(Ax) d) x(Ax) e) x(Ax → Bx)
3) La proposición: “Es falso que nadie sea
8) La expresión: “Pocos son católicos”
superior” equivale a:
equivale en el universo infinito a:
a) Al menos uno no es superior
1. Existe por lo menos un católico
b) Todos son superiores
2. Jesús o José son católicos
c) Una persona es superior
3. Es mentira que ni Juan ni Pedro sean
d) Muchos son superiores
católicos
e) Ninguna Anterior.

1
Centro Preuniversitario de la UNS (Semana 04) Ingreso Directo
Ing° José Joaquin Alvarez Carrillo Razonamiento Matemático: Cuantificadores Lógicos

4. No ocurre que ninguno sea católico D. Los fiscales son deshonestos.

5. Ninguno es católico solo si muchos son E. Existe por lo menos un fiscal, que es
católicos. Son ciertas: honesto.
A. Sólo 1 y 4 B. Sólo 2 y 3 12) La fórmula (AX → BX) se lee como:
C. Sólo 1, 4 y 5 D. Sólo 2, 3 y 5 (1) Los niños son traviesos.
E. Todas (2) Las arañas son insectos.
9) La proposición: “Muchos no son (3) Todas las aves vuelan.
ingenieros” es equivalente a: (4) Todo profesor es responsable.
A. No todos son ingenieros (5) Cada uno de los abogados son
B. Algunos no son ingenieros profesionales.
C. El 80% no son personas ingenieros Son absurdamente incorrectas:
D. No es cierto que todos son ingenieros A) 1,2 y 3 B) 2,3 y 4 C)3,4 y 5
E. Todas las anteriores D) TODAS E) N.A
10) La proposición: “Todo artesano es 13) “Algunos matemáticos son ingenieros”,
técnico” es equivalente a: su equivalente negado es:
1) Solo los técnicos son artesanos 1. No todos los matemáticos son
2) Solo los artesanos son técnicos ingenieros
3) No hay técnicos que dejen de ser 2. Cada matemático es no ingeniero
artesanos 3. No es cierto que ningún matemático
4) No existen no técnicos que no dejen de sea ingeniero
ser artesanos 4. Todo hombre no es matemático a no ser
5) Casi no hay artesanos que sean técnicos que tampoco sea ingeniero
Son ciertas: 5. Es falso que muchos ingenieros sean
a) 2 y 3 b) 1 y 5 c) 1 y 4 matemáticos Son ciertas:
d) 2 y 5 e) 3 y 5 a) 1 y 3 b) 2 y 4 c) 1,3 y 5
11) De la proposición: “Ningún fiscal es d) 2, 3 y 4 e) 2, 4 y 5
honesto”, su proposición no equivalente es: 14) “Algunas damas no son delicadas”
A. Todo fiscal es honesto. equivale a:
B. Toda persona si es fiscal entonces 1 Es falso que toda dama es delicada
no es honesto. 2. Es erróneo que ninguna persona
C. Cualquiera que sea fiscal no es delicada es dama
honesto. 3. De ninguna forma quien quiera no es

2
Centro Preuniversitario de la UNS (Semana 04) Ingreso Directo
Ing° José Joaquin Alvarez Carrillo Razonamiento Matemático: Cuantificadores Lógicos

dama o delicada 19) La fórmula: x(- Ax), se traduce:

4. De ningún modo quienquiera no es a) Cada uno no es lógico
dama o delicada b) Es verdad que muchos no son no
5. Algunas personas no delicadas no lógicos.
son artistas c)Varios no son lógicos.
Son falsamente incorrectas: d) Todas
A. 1, 3 y 4 B. 1, 3 y 5 C. 1, 2, 3 e) Ninguna Anterior.
D. 2, 4 y 5 E. Ninguna. 20) La proposición: “Bastantes juristas son
15) “De ningún modo, ningún x es tal si es políticos” no equivale a:
filósofo”, se formaliza: a) Es mentira que todos sean no juristas a
a) - x(- Ax) b) - x(Ax → - Bx) no ser que no sean políticos
c)x(Ax → - Bx) d)x(- Ax) e) N.A.
b) No todos los políticos son no juristas
16) La fórmula: - x(- Mx) por ley de Morgan
c) Es objetable que ningún jurista sea
tiene como equivalente a:
político
a) –(x) - Mx b) x (Mx) c) - x(Mx)
d) Es falaz que cualquier no político sea
d) x(- Mx) e) x(- Mx)
jurista
17) “Existe al menos un x tal que éste es
e) En modo alguno cada uno no es político
felino”, se simboliza:
excepto que no sea jurista
a) x(Ax  Bx) b) x (Ax) c) x(Ax)
21) La fórmula: x (-Ax  -Bx) es
d) x(Ax → Bx) e) N.A.
equivalente a:
18) La fórmula: - x(- Nx), se lee:
1. - x (Ax  Bx) 2. x (Bx → -Ax)
1. No todos los invertebrados son animales. 3. -x (Bx  Ax) 4. -x (Bx  Ax)
2. Es inadmisible que ningún x, tal que x no 5. x (-Bx → Ax) Son ciertas:
a) 1,3 b) 2, 3 c) 1,5 d) 1,4 e) 4, 5
sea vertebrado.
22) El siguiente diagrama, ¿con qué
3. Es falso que cualquier no animal es
proposición está relacionada?
vertebrado.
4. No es innegable que todos los x, tal que
los x sean vertebrados.
5. Algunos x, existen tal que estos no son A B
a. Los trujillanos somos norteños o bien
vertebrados. Son correctas no somos sureños.
traducciones: b. Todo no trujillano es sureño.
a) Sólo 2 b) 5 y 2 c) 1, 2, 3 c. Es verdad que, ningún trujillano es
d) 3, 4, 5 e) Todas

3
Centro Preuniversitario de la UNS (Semana 04) Ingreso Directo
Ing° José Joaquin Alvarez Carrillo Razonamiento Matemático: Cuantificadores Lógicos

chileno. 5 Algunas equivalencias no son

d. Todas inferencias Son ciertas:
e. A y C a) 1 y 4 b) 2 y 5 c) 3 y 4 d) 1 y 5 e) N.A.
23) El siguiente diagrama, representa a: 26) La fórmula proposicional: –x(Ax → –
Bx) se traduce como:
x 1) No es verdad que todo ciclista no sea
a deportista.
b 2) No todo ciclista es no deportista.
3) No es cierto que ningún ciclista no sea
a) Voleibolistas o también peruanas.
deportista.
b) Voleibolistas que son peruanas. 4) Es objetable que ningún ciclista sea
deportista.
c) Voleibolistas que no son peruanas.
5) No todo no ciclista es deportista.
d) Voleibolistas – peruanas. Son ciertas:
A) 1,2,3 B) 1,2,4 C) 2,3,4
e) N.A.
D) 1,2,5 E) N.A.
24) La proposición: “Es falso que la 27) La traducción incorrecta de la fórmula:
x(–Ax → –Bx), es:
mayoría de navegantes no sean
aventureros”. Es lo mismo que: 1) Cualquier acientífico es agnóstico.

a) Cualquier no navegante es aventurero 2) Quienquiera que no sea peruano es

b) Cada uno de los no aventureros son antipatriota.

navegantes 3) Ningún apolítico es desterrado.

c) No todos los navegantes son 4) Nadie que sea no orador es no locuaz.
aventureros 5) Un antiprotón es no positivo.
d) Quienquiera que no sea aventurero Son ciertas excepto:
no es navegante. A) 1,2,5 B) 1, 4 C) 2,3,5 D) 2,4,5 E) N.A.
e) N.A. 28) La fórmula: –x(–Ax v Bx) se lee:
25) Del diagrama: 1) Es mentira que todos sean

Inferencia deshonestos a menos que algún día

cambien de actitud.
equivalencia
2) Es inconcebible que cualquiera no es
Se infiere que:
maestro salvo que haya egresado de
1. Toda equivalencia es una inferencia
la universidad.
2. Ninguna inferencia es equivalencia
3) No todos los profesionales no son
3. Toda inferencia es equivalencia
ingenieros excepto que estudian
4. Algunas inferencias son equivalencias

4
Centro Preuniversitario de la UNS (Semana 04) Ingreso Directo
Ing° José Joaquin Alvarez Carrillo Razonamiento Matemático: Cuantificadores Lógicos

ciencias físicas. 5) No acaece que la mayoría de fieles

sean católicos. Son ciertas:
Son correctas:
A) 1, 2, 3 B) 2,3,4 C) 1, 5
A) Sólo 1 B) Sólo 2 C) Sólo 3 D) 2, 5 E) 1, 2, 4
33) La expresión no todas no son
D) 1 y 3 E) Todas
enfermeras equivale a:
29) La traducción incorrecta de la fórmula:
x(–Ax  Bx) es: A. Todas son enfermeras.
A) Casi todos los no partidarios son
B. Algunas son enfermeras.
amistosos.
B) La mayoría de irreligiosos son C. Algunas no son enfermeras.
convincentes.
D. Todas no son enfermeras.
C) Hay personas inmorales que son bien
recordados. E. Todas son técnicas enfermeras.
D) Muchos no políticos son juristas.
34) La expresión: “Bastantes no son
E) No todos los anticristianos son
crédulos. políticos equivale infinitamente a:
30) La fórmula: –x(Ax  Bx) se lee:
A. Ninguno no es político.
1) Es mentira que existan muchos que B. Pocos si son no políticos.
sean deportistas. C. Cualquiera que sea no es no político.
2) Es inconcebible decir que hayan D. No ocurre que nadie sea no político.
personas honestas. E. Es falso que todos y cada uno son
3) No acaece que casi todos los colegios políticos. Son ciertas:
sean privados. A. 2, 4, 5 B. 1, 3, 5 C. 1, 2, 4
Son inciertas: D. 1, 3, 4 E. 2, 3, 5La
A) Sólo 1 B) Sólo 2 C) Sólo 3 proposición: “Existe al menos un x, tal que x
D) 1 y 2 E) 2 y 3 es eximio” se formaliza:
31) La proposición: “Es indudablemente A.x(Ax  Bx) B. -x(-Ax  -Bx)
C. x(Ax) D. x(Ax) E.x(Ax → Bx)
que ningún no orador no es no
35) La correcta formalización de la
locuaz”.se formaliza como:
proposición: “Nadie es poeta”, es:
A) x(–Ax → –Bx)
B) x(–Ax → – – –Bx) A. -x(Ax) B. x(-Ax) C. Ax(Ax)
C) –x(–Ax → – – –Bx) D. x(-Ax) E. Ninguna Anterior
D) –x(–Ax → – Bx) 36) La proposición: “No acaece que,
E) N.A.
cualquier científico es matemático”, se
32) La fórmula: –x(Ax  –Bx) se traduce
como: formaliza:
1) Es falso que haya muchos tal que esto
A. -x(Ax→Bx) B. -x(-AxBx)
no sean respetuosos.
C.-x(Ax→ Bx) D. -x(Ax  Bx) E. N. A.
2) Es mentira que al menos un ser no sea
37) “Es falso irrefutablemente que, haya
vivo.
3) Es inobjetable que hayan animales no bastantes peces que son voladores por
voladores.
tanto es obvio que no son nadadores”.
4) Es inconcebible que a lo más uno sea
inmoral. A. -X(CX →-VX ) B.-X(CX  VX)
C.X(CX- VX) D. - X(CX → - VX) E. N. A.

5
Centro Preuniversitario de la UNS (Semana 04) Ingreso Directo
Ing° José Joaquin Alvarez Carrillo Razonamiento Matemático: Cuantificadores Lógicos

38) La fórmula: - x(- Ax v – Bx), se traduce: C.-x(-Ax→Bx) D.x(- AxBx) E. Todas

1. Es innegable que, ninguno no sea aviador 41) “Es irrefutable que, las plantas no son
excepto que nunca vuele. autótrofas excepto que tampoco
2. De ningún modo, cada congresista nunca generan su propio alimento”, se
es honrado excepto que tampoco sea simboliza:
moralista. A.X(-AX→-BX) B.X(-AX  BX)
3. Es falso que, cualquiera no es héroe salvo C.-X(-AxV–Bx) D.x(-AxV–Bx) E. N.A.
que sea falso que es mártir. 42) “En modo alguno, la mayoría de
4. Es no inobjetable que, algunos no son sacerdotes es árabe”, equivale a:
evangélicos y/o no son católicos. A.x (Bx→-Ax) B.-x (BxAx)
5. Es innegable que, ninguno que sea no C.x (-Bx-Ax) D. Todas E. Ninguna.
postulante no es soberbio. Son ciertas: 43) Dado: “Todo presidente es inteligente”
A. 2, 3, 4 B. 1, 3, 4 C. Todas es equivalente a:
D. 1 y 5 E. Ninguna Anterior 1. Para toda persona se verifica que no es
39) La fórmula: - x(- Ax  - Bx), se traduce: presidente a menos que sea inteligente.
1. Es no verdad que, algunos no 2. Toda persona es presidente o
mendigos no son ricos. inteligente
2. No sucede que, casi todos no son 3. Ninguna persona que no es presidente
adulones ni arribistas. es inteligente
3. En forma alguna, siquiera un no 4. Es falso que algunos presidentes no
chimbotano no es norteño. sean inteligentes
4. Es innegable que algunos no católicos 5. Es falso que algunas personas que no
no son evangélicos. son inteligentes son presidentes
5. Es irrefutable que, varios no pediatras Son correctas:
no son profesores. A. 1, 4, 5 B. 1, 3, 5 C. 1, 3, 4
Son innegablemente ciertas: D. 1, 4, 3 E. 1, 2, 3
A. 1, 2, 3 B. 2, 3, 4 C. 3, 4, 5 44) (1º Sumativo 2011 III – 38) La obversa
D. Todas E. Ninguna Anterior de la proposición: “Algunos metales
40) “No es absurdo que, ningún no son conductores” es:
aborigen no sea no civilizado”, se A. Ningún metal es no conductor
formaliza: B. Algunos metales no son no
A. -x(-Ax→-Bx) B.x(-Ax→-Bx) conductores.

6
Centro Preuniversitario de la UNS (Semana 04) Ingreso Directo
Ing° José Joaquin Alvarez Carrillo Razonamiento Matemático: Cuantificadores Lógicos

C. Algunos metales son no conductores. en un universo finito, equivale a:

D. Todos los metales son no 1) El califa Axel es desleal salvo que
conductores. Randú también lo sea
E. Algunos conductores son metales. 2) Rocío no fue leal excepto que
45) (1º Sumativo 2012 I – 45) Dadas las también Peter fuese desleal
proposiciones: 3) Salvo que Raúl sea desleal, Marcía

p: x   / (4x + 11) (3x – 5) = 0 también lo será

q: x   / (x4 > 0)  (x – 5) < 0 Son ciertas obviamente:
r : x  IN / (4x + 2)) (3x – 7) = 0 A. Sólo 2 B. Sólo 1 C. Sólo 3
Señale el valor de verdad de p, q, r y
además: [(p  q) → (p  r) ] → r D. 1 y 2 E. 1, 2 y 3.
A. VVFF B. VFVF C. VVVV 49) Finitamente, la proposición: "El 20% son
D. FVFV E. FVFF
46) (1º Sumativo 2012 II – 42) El equivalente torpes o también distraídos", equivale a:

de la negación de: 1) Uno por lo menos es torpe salvo que

 x  R,  m  Z/ x < m → x2 < m + 1 es: casi todos sean distraídos

A.  x  R,   m  Z/ x < m → x2 <m + 1 2) el 40% son distraídos a menos que
B.  x  R,   m  Z/x > m → x2 > m + 1 innegablemente alguien sea torpe
C.  x  R,   m  Z/x < m  x2 > m + 1
3) Al menos hay un torpe e incluso
D.  x  R,   m  Z/ x > m  x2 > m + 1
E.  x  R,   m  Z/x2 > m+1→x< m + 1 pocos son distraídos. Son falsas,
excepto:
Leyes Generales De Equivalencias Con
A. Sólo 2 B. Sólo 1 C.1 y 2
Uno Y Dos Predicados En Universo Finito
D. Sólo 3 E. Todas
47) "En forma alguna hay extranjeros",
50) "Cada uno es capaz así mismo
equivale en su universo finito a:
eficiente", equivale finitamente a:
1) Rosa es falso que es extranjera al
1) Es falso que alguien sea incapaz, y
igual que Alondra no es extranjera.
todos sean eficientes
2) A menos que Luis sea extranjero,
2) Cualquiera es eficiente tal como es
Carlos también lo será.
absurdo que varios sean incapaces
3) Ni Pedro ni Pablo son extranjeros.
3) Es mentira que, alguien no sea capaz
Son ciertas, excepto:
o muchos sean ineficientes
A. 2 y 3 B. 1 y 2 C. Sólo
Son absolutamente ciertas:
2 D. 1 y 3 E. Todas.
A. 1 y 2 B. 2 y 3 C.1 y 3
48) "No es inobjetable que cada uno es leal"
D. Todas E. Ninguna

7
Centro Preuniversitario de la UNS (Semana 04) Ingreso Directo
Ing° José Joaquin Alvarez Carrillo Razonamiento Matemático: Cuantificadores Lógicos

51) ) La negación de la proposición: C. Muchos perros son ovíparos

“Los programas de televisión son D. Cualquier perro no es ovíparo
designados para las masas” E. Ninguna anterior.

A. x: x  T  ⌐ ( x  M) 55) La subalterna de: “Cualquier rumiante

B. x: x  T  ⌐ ( x  M) es herbívoro”, es :
C. x: x  T  ( x  M) 1. Muchos herbívoros son rumiante
D. x: x  T  ⌐ ( x  M)
x  T  ( x  M)
2. Cualquiera sea el animal hervíboro es
E. x:
52) La contradictoria de “La mayoría de rumiante.
elefantes vuelan”, es: 3. Es mentira que ningún rumiante es
A. Muchos animales que vuelan son herbívoro.
elefantes 4. No sucede que los animales no sean
B. Cada uno de los voladores son rumiantes excepto que jamás sean
elefantes herbívoros
C. Ningún animal que es elefante vuela 5. Todo animal no es herbívoro y/o no es
D. Es falaz que algún elefante sea rumiante Son absolutamente falsas:
volador A. 1, 2,3 B. 2, 3,5 C. 1, 3,4
E. Ninguna Anterior. D. 2 Y 5 E. Todas
53) La contraria de: “Cada uno de los 56) La subalternante de: “Bastantes literales
no son poetas”, es:
países desarrollados es atrasado
A. Ningún literato no es poeta
tecnológicamente”, es:
B. Cualquier poeta es literato
A. Ningún país desarrollado es atrasado
C. Cualquiera no es poeta salvo que
tecnológicamente
nunca sea literato
B. Todo país atrasado tecnológicamente es
D. Todas
desarrollado
E. Ninguna Anterior.
C. Es falso que ningún país desarrollado
57) La contradictoria de la subcontraria de:
sea atrasado tecnológicamente
“Al menos un trujillano jamás, es
D. Todas
peruano”, es :
E. Ninguna Anterior.
A. Ningún peruano es trujillano
54) La subcontraria de la contraria de: “Es B. Cada uno de los nacidos en trujillano
de ningún modo es peruano
falso que algún perro sea ovíparo”, es:
C. Cualquier persona, a menos que no
A. Indeterminada sea trujillano no es peruano
D. Todas
B. Varios perros no son ovíparos
E. Ninguna Anterior.

8
Centro Preuniversitario de la UNS (Semana 04) Ingreso Directo