LÓGICA DE CLASES

I. PROPOSICIÓN CATEGÓRICA Sobre la base de estos diagramas trabajamos las

Enunciado o proposición que afirma o niega que frases más comunes:
un conjunto o clase está incluido en otro, total o • Todo A es B • Ningún A es B
parcialmente. A B A B

II. CUANTIFICADOR
Son determinadas expresiones que indican canti- U U

dad.
• Algún A no es B • Algún A es B
III. CLASIFICACIÓN DE LOS CUANTI- A B A B
FICADORES: X
X
Por cantidad
64444444744444448 U U
Particular Universal
V. NEGACIÓN
14243

Por Afirmativo Algunos Todos

Todos ↔ Algunos …. No
calidad Negativo Algunos ….. no Ninguno Ninguno ↔ Algunos

Caso particular
IV. DIAGRAMAS DE VENN Cuando tenemos un cuantificador universal y la
Para poder trabajar los problemas de lógica de negación está antes del verbo copulativo, la negación
clases, debemos saber cómo se representan los pasa adelante.
diferentes tipos de conjuntos. Ejemplo:
Verbo copulativo
A A
Todas las alumnas no son bonitas
X Cuantificador
U U universal
Vacío No vacío
Equivalentes
- No todas las alumnas son bonitas
A - Algunas alumnas no son bonitas

VI. EQUIVALENTES
U Todo A es no B ≡ Ningún A es B
Indeterminado Algún A es no B ≡ Algún A no es B
 Trabajando en clase
Integral
1. ¿Cuál es la negación de «todos
los alumnos no son responsa-
bles»?
a) Algunos alumnos son irres-
ponsables
b) Todos los irresponsables
son alumnos
c) Ningún alumno es irres-
ponsable
d) Todos los alumnos son res-
ponsables
e) Todos los alumnos son
irresponsables
2. Si se sabe que: Ningún delfín
es depredador y todos los ti-
burones son depredadores, se
concluye:
a) Ningún delfín es tiburón
b) Ningún depredador es tibu-
rón
c) ningún tiburón es delfín
d) a y b
e) a y c
3. Se sabe que: Algunos niños
son precoces y ningún niño
es obediente. ¿Cuál de las si-
guientes afirmaciones se infie-
re necesariamente?
a) Algunos precoces no son
obedientes
b) Algunos precoces son obe-
dientes
c) Algunos obedientes no son
precoces
d) Algunos obedientes son
precoces
e) Ningún precoz es obediente
PUCP
4. Si todos los bailarines son ági-
les y algún bailarín no es des-
envuelto, entonces, ¿cuál es la
conclusión válida?
a) Algún ágil es desenvuelto
b) Algún ágil no es bailarín
c) Algún bailarín es desen-
vuelto
d) Algún ágil no es desenvuel-
to
e) Todo ágil es desenvuelto
Resolución:
Trabajamos las proposiciones
en diagramas de Venn:
bailarines ágiles
x c) No existen alumnos que
desenvueltos
De las alternativas, conclui-
mos que:
Algún ágil no es desenvuelto
5. Si sabemos que todos los poli-
cías son comprados y algunos
policías son justos, ¿cuál es co-
rrecta?
I. Todos los justos son com-
prados
II. Algunos policías son com-
prados
III. Algunos justos son com-
prados
a) I y II b) I y III c) II y III
d) Solo II e) Todas
6. Del siguiente gráfico:
A B
x
C
Se concluye válidamente que:
I. Algún A es B
II. Ningún B es C
III. Algún B no es C
a) I y II b) II y III
c) I y III d) Ninguna
e) Todas
7. Niega: «Ningún alumno pue-
de resolver este problema»
a) Al menos un átomo no pue-
de resolver este problema
b) Todos los alumnos pueden
resolver este problema
puedan resolver este pro-
blema
d) Al menos un alumno puede
resolver este problema
U e) Algunos alumnos no pue-
den resolver este problema
UNMSM
8. Mafer escucha que todos los
enamorados son felices y lue-
go ella averigua que es cierta
dicha afirmación, entonces
podemos concluir que:
I. Si Roby está enamorado,
no es feliz
II. Si Roby está enamorado,
es feliz
III. Todos los felices son ena-
morados
a) Solo I b) Solo II
c) Solo III d) I y II
e) II y III
Resolución
Nos ayudamos con el gráfico
enamorados felices
Roby
 I. Falso a) Ninguna comerciante es pa- De las proposiciones que se nos
II. Verdadero nadera presentan, concluimos que:
b) Algunas comerciantes no Algunas personas cultas no
III. Falso
son cocineras son científicos
Solo II c) Algunas cocineras son pa-
naderas
13. Si:
9. Si ningún deportista es des- d) Todas las panaderas son co-
cortés, entonces: merciantes - Todos los payasos trabajan
a) Si Micaela es cortes, no es e) Ninguna cocinera es co- en el circo:
deportista merciante - Algunos payasos son có-
b) Si Micaela es deportista, es micos
descortés Se concluye:
UNI
c) Si Micaela es deportista, es a) Todos los cómicos trabajan
cortes 12. De las siguientes premisas: en el circo
d) Si Micaela no es deportista, - Todos los ingenieros son
es cortes personas cultas b) Algunos cómicos no traba-
e) Si Micaela no es deportista, - Algunos ingenieros no son jan en el circo
es descortés científicos c) Algunos cómicos trabajan
Se concluye que: en el circo
10. Si averiguo que ningún avia- a) Algunas persona cultas no d) Todos los que trabajan en el
dor es imprudente y algunos son científicos circo son payasos
aprendices son imprudentes, b) Todos los científicos son in-
e) Todos los cómicos son pa-
luego: genieros
yasos.
a) Algunos aprendices son c) Todos los científicos son
aviadores cultos
d) Todas las personas cultas 14. «Algunos ejecutivos son ambi-
b) Todos los aprendices son ciosos».
imprudentes son ingenieros
c) Algunos aprendices no son e) Los que no son científicos «Todos los ambiciosos triun-
aviadores no son cultos fan»
d) Algunos aprendices no son Resolución «Ninguno de los que triunfa
imprudentes Trabajando en diagramas de bebe».
e) Ningún aprendiz llegará a Venn: Entonces:
ser aviador ingenieros cultos a)
Algunos ambiciosos son
11. De la negación de las siguien- triunfadores
x
tes proposiciones: b) Todos los ambiciosos beben
- Algunas cocineras no son c) Algunos ejecutivos no be-
panaderas ben
- Todas las comerciantes
son panaderas d) Ningún ejecutivo bebe
científicos U
Podemos concluir: e) Todos los ejecutivos beben