INSTITUCIÓN EDUCATIVA PRIVADA DIAGRAMACIÓN DE LAS PROPOSICIONES

MATEMÁTICO LOBACHEVSKY CATEGÓRICAS TÍPICAS

LOS DIAGRAMAS DE VENN

EL METODO DE LOS DIAGRAMAS DE VENN COMO

PROCEDIMIENTOS DECISORIOS
Al interpretar un conjunto del cual no tenemos información, se tiene tan
sólo dos alternativas: o es vacio o es diferente del vacío, resultado de
La idea básica de los diagramas se debe al matemático esta interpretación las fórmulas booleanas, que en lo sucesivo indicarán
suizo Leonhard Euler (1707 – 1783) quien representó cuando una sección está vacía o no en los diagramas de Venn.
gráficamente las relaciones entre las clases o conjuntos.
En base a estas representaciones, el lógico inglés John
Venn (1834 – 1923) propuso representaciones gráficas
de las proposiciones categóricas típicas A, E, I y O, con
el objeto de decidir la validez o no validez de las
Pero… ¿Cuál es la
inferencias de la lógica tradicional aristotélica.
definición de
Para diagramar las proposiciones categóricas típicas, como definiciones
elementales se requiere de representaciones gráficas de las clases o CLASE?
conjuntos.

1. La Clase Vacía y la Clase No – Vacía

En primer lugar, toda clase está incluida en un conjunto universo.

Gráficamente, vamos a representar el universo mediante un rectángulo, y Clase es un término primitivo; por lo mismo, no
una clase por un círculo. Por ejemplo, la representación de un conjunto S, se puede ser definido. Sin embargo, puede ser
tiene: señalada recurriendo a otros términos igualmente
U primitivos. Así podríamos decir que “clase es el
conjunto de objetos que poseen una propiedad
común”.
S

Graficando así, el conjunto S no nos proporciona información, porque no nos

muestra si S tiene elementos o no tiene elementos.

Entonces, para
Von Neumann distingue entre clases y
solucionar este conjuntos: llama conjunto a aquella clase que es
inconveniente aplicamos a su vez elemento de otra y clase a aquellos
que no es elemento de otra. Es decir, la palabra
lo siguiente:
clase es un término genérico que sirve para
designar a los conjuntos en general y a las
clases últimas en especial.

Cuando un conjunto no tiene

elementos, gráficamente vamos a
representarlo achurando o rayando
la zona, por ejemplo el conjunto S.
Como sigue:
Para especificar que S tiene 2. La intersección de dos clases
elementos, marcaremos con una “x”
la zona de S. Como sigue:
Si se tienen los conjuntos S y P, la intersección de ambos conjuntos se
representa de la siguiente manera:

U U
U
x 1 2 3 4
S S SP SP SP SP
S P

Esto significa que la clase S tiene En un diagrama de esta naturaleza podemos representar si un conjunto S es
por lo menos un elemento, o igual al vacio, o si es diferente del vació. De igual modo, también podemos
Esto significa que la clase S es representar en la intersección de dos conjuntos, si la clase P es vacía o no
también se puede leer como “S es
vacia (S=ϕ). Formalmente S=ϕ es vacía.
diferente del vació (S≠ϕ).
Formalmente S≠ϕ

PROF. CÉSAR COTRINA HUAMÁN Página 1

 I.E.P. CRECER DOCENTE: PROF. COTRINA HUAMÁN, CÉSAR

A. Formalice la proposición categórica:

B. Desarrolle su fórmula booleana:

1º Forma:
01. La proposición: “En modo alguno ocurre que ni siquiera un no peruano
es limeño”, tiene como diagrama: 2º Forma:

Solución: C. Represente su diagrama de Venn:

A. Formalice la proposición categórica:
C O C O

B. Desarrolle su fórmula booleana:

1º Forma:
05. La proposición: “ Casi todos no son abogados pero tampoco son
2º Forma: jueces”, tiene como diagrama:

C. Represente su diagrama de Venn: Solución:

A. Formalice la proposición categórica:
P L P L

B. Desarrolle su fórmula booleana:

1º Forma:
02. La proposición: “ Es inaudito pensar que muchos que no son filósofos
no son sin duda no griegos”, tiene como diagrama: 2º Forma:

Solución: C. Represente su diagrama de Venn:

A. Formalice la proposición categórica:
A J A J

B. Desarrolle su fórmula booleana:

1º Forma:
06. La proposición: “No todos los que son poetas es imposible con que
2º Forma: sean artistas”, tiene como diagrama:

C. Represente su diagrama de Venn: Solución:

A. Formalice la proposición categórica:
F G F G

B. Desarrolle su fórmula booleana:

1º Forma:
03. La proposición: “ Casi no hay los que no dejan de ser escolares
aunque a la vez sean ciudadanos”, tiene como diagrama: 2º Forma:

Solución: C. Represente su diagrama de Venn:

A. Formalice la proposición categórica:
P A P A

B. Desarrolle su fórmula booleana:

1º Forma:
07. La proposición: “Cuando menos uno que no es diplomático es
2º Forma: admisible que sea no demócrata”, tiene como diagrama:

C. Represente su diagrama de Venn: Solución:

A. Formalice la proposición categórica:
E C E C
B. Desarrolle su fórmula booleana:

1º Forma:
04. La proposición: “ Es equivoca la idea que varios que no son científicos
dejen de ser ordenados”, tiene como diagrama: 2º Forma:

Solución: C. Represente su diagrama de Venn:

PENSAMIENTO LÓGICO – FORMAL Página 2

 I.E.P. CRECER DOCENTE: PROF. COTRINA HUAMÁN, CÉSAR

D T D T

08. La proposición: “ Cualquier no matemático es imposible que no deje

de ser no psicólogo”, tiene como diagrama: 11. La proposición: “Jamás ocurre que al menos un ingeniero no cumpla
con ser especialista”.
Solución: Donde: S = Ingeniero; P = Especialista
A. Formalice la proposición categórica: Equivale a:
1. [(S∪P)≠∅] 2. − [(S∪P)≠∅] 3. [(P∩S)=∅]
B. Desarrolle su fórmula booleana: 4. [(P∩S)=∅] 5. − [(P∪S)=∅]
Son ciertas:
1º Forma:
A) 1,3 y 4 B) 1,3 y 5 C) 2,3 y 4
2º Forma: D) 1,2 y 5 E) 2,4 y 5

C. Represente su diagrama de Venn: 12. La proposición: “Es imposible que no existan los mamíferos que sean
carnívoros”
M P M P Donde: S = Mamífero; P = Carnívoro
Equivale a:
1. [(S∪P)≠∅] 2. − [(S∪P)≠∅] 3. [(P∩S)≠∅]
4. [(P∩S)=∅] 5. −[(P∩S)=∅]
09. La proposición: “ Casi ninguno de los obreros desocupados es Son ciertas:
definitivamente millonario”, tiene como diagrama:
A) 1,3 y 4 B) 1,4 y 5 C) 2,3 y 4
Solución: D) 1,2 y 5 E) 2,3 y 5
A. Formalice la proposición categórica:
13. De la proposición: “Es falso que ningún no animal deje de ser
insectívoro”.
B. Desarrolle su fórmula booleana: Donde: S = Animales; P = Insectívoro
Equivale a:
1º Forma: 1. [(S∪P)=∅] 2. − [(S∩P)=∅] 3. [(P∪S)=∅]
4. −[(P∩S)≠∅] 5. −[(S∪P)≠∅]
2º Forma: Son ciertas:
C. Represente su diagrama de Venn: A) 1,3 y 4 B) 1,4 y 5 C) 2,3 y 4
D) 1,2 y 5 E) 2,3 y 5
O M O M
14. La proposición: “Todos los vegetales son autótrofos”, Siendo: S=
vegetales y P= autótrofos.
Tiene como fórmulas equivalentes a:
10. La proposición: “Bastantes políticos no cumplen con dejar de ser no 1. [(S∩P)=∅] 2. [(S∩P)=∅] 3. [(S∩P)≠∅]
funcionarios”, tiene como diagrama: 4. -[(S∩P)=∅] 5. -[(S∩P)≠∅]
Son ciertas:
Solución:
A. Formalice la proposición categórica: A) 1 y 3 B) 2 y 4 C) 1 y 5
D) 2 y 3 E) 1 y 4

B. Desarrolle su fórmula booleana: 15. La proposición: “Todas las flores no son alucinógenas”. Siendo: S =
flores y P = alucinógenas.
1º Forma: Tiene como fórmulas equivalentes a:
1. [(S∩P)=ϕ] 2. [(P∩S)=ϕ] 3. [(S∩P)≠ϕ]
2º Forma:
4. ∼ [(S∩P)≠ϕ] 5. ∼(SP≠ϕ)
C. Represente su diagrama de Venn: Son ciertas:

P F P F A) 2 y 5 B) 3 y 4 C) 3 y 5
D) 1 y 5 E) 1 y 2

16. Sea la proposición: “Todas las no hojas son rojas”. Donde: S= hojas y P
= rojas
Tiene como fórmulas equivalentes a:
1. (PS)=ϕ 2. S∩P=ϕ 3. SP=ϕ
4. ∼(SP≠ϕ) 5. ∼(S∩P≠ϕ)

PENSAMIENTO LÓGICO – FORMAL Página 3

 I.E.P. CRECER DOCENTE: PROF. COTRINA HUAMÁN, CÉSAR

Son ciertas: En el álgebra booleana equivale a la fórmula:

1. S̅ ∪P̅ = ϕ
A) 3 y 4 B) 1 y 5 C) 2 y 5 2. S∩P̅ ≠ ϕ
D) 1 y 2 E) 2 y 3 3. S∩P ≠ ϕ
4. S∩P̅ = ϕ
17. El diagrama: 5. S̅ ∪P ≠ ϕ
A B Son ciertas:

A) 1 y 3 B) 2 y 4 C) 3 y 4 D) 3 y 5 E) 4 y 5

UNT 2009 – I (Letras):

Representa al complemento de: 22. El diagrama:
A) Algunos peces no son homeotermos.
P C
C = culturas
B) Algunos peces son homeotermos. x
P= precolombinas
C) Todos los peces no son homeotermos.
D) Todos los peces son homeotermos. Equivale a:
E) Todos los no peces son homeotermos. 1) Es inconcebible que ni al menos una cultura sea precolombina.
2) No se da que ninguna de las culturas sean precolombinas.
18. El diagrama: 3) Todas las culturas no son no precolombinas.
A B 4) Existen precolombinas que son no culturas.
x x x 5) Es falso que todas las culturas son precolombinas.
Son falsas:

A) 1,2 y 3 B) 2,3 y 4 C) 3,4 y 5

Representa al complemento de: D) Sólo 1 y 2 E) Sólo 2 y 3
A) Algunos no deportistas no son artesanos. 1. Sea:
B) Algunos deportistas son artesanos. A = x/x es la letra de la palabra fólder
C) No todos los deportistas son artesanos. B = x/x es la letra de la palabra tajador
D) No hay no deportistas que no sean deportistas.
E) Todos los no deportistas no son artesanos. Los elementos de los conjuntos representa:
A) Una clase unitaria B) Una clase nula
19. El diagrama: C) Un producto de clases
D) Una exclusión de clases
A B E) No se puede determinar por extensión

2. La proposición: “Por lo menos uno no honesto no es caritativo”

Se representa:
A) H  C  O B) H  C  O
Representa el complemento de:
C) H  C  O
A) Algunos médicos son administradores. D) E  A   E) N.A.
B) Algunos no médicos no son administradores.
C) No hay médicos que sean administradores. 3. Sea la clase: A = x/ 4  x8 
D) Todos los médicos son administradores. Se dice que:
E) Todos los no médicos son administradores. 1) Es una clase unitaria
2) Su extensión es: A = 5,6,7
20. El diagrama de Venn: 3) Es una clase nula
A = Agricultor. A T 4) Su extensión es: A = 4,5,6,7
B = Técnico. 5) Está determinada por comprensión
x Son inciertas:
Equivale a:
A) 3, 4 y 1 B) 1,2 y 3 C) 2, 3 y 4
D) Sólo 4 y 5 E) Sólo 3 y 5
1. Varios agricultores son no técnicos.
2. Es falso que ningún agricultor no es técnico. 4. Sea la clase A =  x   / 3  x  4 
3. No todos los no agricultores son no técnicos. a) Es una clase nula
4. Varios no agricultores son no técnicos. b) Su extensión es: A =  
5. Al menos un agricultor es técnico. c) Está determinada por comprensión
Son ciertas: d) Es una clase con 2 elementos
e) Su extensión es 2
A) 1 y 2 B) 2 y 3 C) 3 y 4 Son ciertas:
D) 4 y 5 E) Todas A) 1,2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 1,3 y 5 E) N.A
CEPUNT 2010 – (III Sumativo): 5. Son ejemplos de exclusión de clases:
21. El diagrama de Venn: 1. La clase de las manzanas está dentro de la clase de las frutas.
2. La clase de los peruanos está dentro de la clase de los
sudamericanos.
S P 3. La clase de los profesores es diferente a la clase de los médicos.
4. La clase de los números naturales es igual a la clase de los números
enteros positivos.
5. La clase de los vegetales es diferente a la clase de los animales.
Son ciertas:

PENSAMIENTO LÓGICO – FORMAL Página 4

 I.E.P. CRECER DOCENTE: PROF. COTRINA HUAMÁN, CÉSAR

A) 1,2 y 3 B) 2,3 y 4 C) 3,4 y 5

D) Sólo 3 y 5 E) Sólo 4 y 5 12. El diagrama siguiente: B F
B = Brasileños
6. El diagrama: F = Futbolistas
A B Puede leerse como:
a) No todos los brasileños son futbolistas.
b) No existen brasileños que no sean futbolistas.
c) Todos los no futbolistas son brasileños.
Representa al complemento de: d) Ningún futbolista es brasileño.
a) Algunos peces no son homeotermos. e) Cada futbolista no es brasileño.
b) Algunos peces son hemeotermos.
c) Todos los peces no son homeotermos.
d) Todos los peces son homeotermos. 13. El diagrama: a b
e) Todos los no peces son homeotermos.

7. El diagrama: Corresponde a las formas clasiales:

A B
1) a  b  
x x x
2) a  b  

Representa al complemento de:

3) ab
a) Algunos no deportistas no son artesanos. 4) a  b  
b) Algunos deportistas son artesanos.
c) No todos los deportistas son artesanos. 
5)  a  b   
d) No hay no deportistas que no sean artesanos. Son ciertas:
e) Todos los no deportistas no son artesanos. a) 1, 2 y 4 b) 2, 3 y 5 c) 1 y 4
d) sólo 2 e) sólo 3 y 5
8. El diagrama:
A B NIVEL II
14. Del siguiente diagrama:
C = Cajamarquino C J
J = Jovial

Representa al complemento de: Se puede afirmar

a) Algunos médicos son administradores.
b) Algunos no médicos no son administradores. 1) La fórmula booleana que lo representa es: CJ
c) No hay médicos que sean administradores. 2) “Ningún no jovial no es cajamarquino”, es su lectura equivalente.
d) Todos los médicos son administradores. 3) “Existen joviales que son no cajamarquinos”, es una inferencia inmediata
e) Todos los no médicos son administradores. que se obtiene del diagrama.
Son ciertas solamente:
9. El Diagrama de Venn: a) sólo 1 b) sólo 2 y 3 c) sólo 1 y 3
A T
A = Agricultor d) 1, 2 y 3 e) sólo 1 y 2
T = Técnico x
Equivale a: 15. La proposición: “Todos los vegetales son autótrofos”, Siendo s = vegetales y p
1) Varios agricultores son no técnicos. = autótrofos.
2) Es falso que ningún agricultor no es técnico. Tiene como fórmulas equivalentes a:
3) No todos los no agricultores son no técnicos. 1) S ‘P =  2) ‘S P =  3) S P  
4) Varios no agricultores son no técnicos. 4) (S ‘P =) 5) (S ‘P  )
5) Al menos un agricultor es técnico. Son ciertas:
Son ciertas: a) 1 y 3 b) 2 y 4 c) 1 y 5
a) 1 y 2 b) 2 y 3 c) 3 y 4 d) 2 y 3 e) 1 y 4
d) 4 y 5 e) Todas
16. La proposición: “Todas las flores no son alucinógenas”. Siendo s = flores y p =
10. El diagrama de Venn: alucinógenas
A T
A = Árbol Tiene como fórmulas equivalentes a:
T = Autótrofo x
1)  (‘S ‘P = ) 2) P S =  3) ‘S P = 
Equivale a: 4)  (‘S ‘P  ) 5)  (S P  )
1) No se da que ningún no árbol sea autótrofo. Son ciertas
2) Varios árboles no son no autótrofos. a) 2 y 5 b) 3 y 4 c) 3 y 5
3) Muchos no árboles son autótrofos. d) 1 y 5 e) 1 y 2
4) No todo no árbol es no autótrofo.
5) No hay árboles que no sean no autótrofos. 17. Sea la proposición: "Todas las no hojas son rojas". Donde: s = hojas y p =
rojas
Son ciertas: Tiene como fórmulas equivalentes a:
a) 1, 2 y 4 b) 2, 3 y 5 c) 1, 3 y 4
1) P 'S =  2) 'S 'P =  3) S P = 
d) 2, 4 y 5 e) 2, 3 y 4
4) (S 'P  ) 5) (‘S 'P  )
Son ciertas:
11. El Diagrama de Venn:
A = Águilas
A R a) 3 y 4 b) 1 y 5 c) 2 y 5
d) 1 y 2 e) 2 y 3
R = Rapaces x
Equivale a:
18. El diagrama siguiente:
1) No pocas águilas no son rapaces.
2) No todas las no águilas son rapaces. T A
A = Americano
3) Es falso que todos no sean rapaces o no sean águilas.
T = Tercermundista
4) Al menos unas águilas no son rapaces.
5) Es mentira que ninguna águila sea rapaz.
Puede leerse como:
Son ciertas:
a) No todos los americanos son tercermundistas.
a) 1, 2 y 3 b) 2, 3 y 4 c) 1, 3 y 5
b) No hay americanos que sean tercermundistas.
d) 2, 3 y 5 e) 3, 4 y 5
c) Todos los no tercermundistas son americanos.

PENSAMIENTO LÓGICO – FORMAL Página 5

 I.E.P. CRECER DOCENTE: PROF. COTRINA HUAMÁN, CÉSAR

d) Ningún tercermundista no es americano. 1) Algunos S no son P

e) Quienquiera que sea tercermundistas no es americano. 2) No todos los S son P
3) No todos los P son S
19. El diagrama siguiente: 4) Algunos P no son S
C E 5) Algunos no P no son no S
C = Capitalistas x Son correctas:
E = Europeos a) sólo 1, 2 y 3 b) sólo 2, 3 y 4
c) sólo 2 y 3
Equivale a: d) sólo 3,4 y 5 e) Todas
1) No todos los capitalistas son europeos.
2) No todos los europeos son capitalistas. 26. De la expresión formal: S'  P =  Se infiere por contenido existencial:
3) Algunos europeos son no capitalistas. a) S  P =  b) S'  P  
4) Varios capitalistas no son europeos. c) S  P’  
5) No hay europeos que no sean capitalistas. d) S'  P'  0 e) S'  P' = 
Son ciertas:
a) 2 y 3 b) 2 y 4 c) 1 y 4 27. Del siguiente Diagrama:
d) 1 y 3 e) 3 y 5

20. El diagrama siguiente:

M C Juicio
M = Mamíferos x Necesario Asertórico
C = Carnívoros Forma de
Pensamiento
Equivale a:
1) Es falso que, ninguno de los carnívoros sea mamífero.
Razonamiento
2) No se da que, ninguno de los mamíferos sea carnívoro. Inmediato Mediato
3) Algunos carnívoros no son no mamíferos.
4) Hay mamíferos que no son no carnívoros.
5) Es falso que, todos los carnívoros no son mamíferos. Se infiere que una conclusión falsa no es:
No son inciertas, excepto: A) Toda forma de pensamiento es juicio.
a) 1, 2 y 4 b) 1, 3 y 5 c) ninguna B) Algunos juicios asertóricos son necesarios.
d) 3, 4 y 5 e) Todas C) Cualquier razonamiento mediato no es juicio.
D) Ningún razonamiento inmediato es forma del pensamiento.
21. Siendo la interpretación de la clase: E) Algunos juicios asertóricos son razonamientos mediatos.
A = médicos y de la clase B = neurocirujanos; luego la fórmula verdadera es:
a) B  A b) A  B c) A  B
d) B  A e) B  A 28. Dado el siguiente diagrama:

22. Sean las clases:

A = Operador Lógico B = Cuantor Lógico Pr oposiciones
Luego, la relación verdadera entre las clases A y B, es:
a) b) c) Simples Universales
A B B A A B

Se infieren las siguientes conclusiones:

d) A B e) 1. Algunas proposiciones simples son universales.
2. Algunas proposiciones son proposiciones simples.
x
3. Todas las proposiciones universales son proposiciones.
A B 4. Toda proposición simple no es compuesta.
5. No toda proposición simple es proposición.
23. Sean las clases: Son ciertas:
A = Mamíferos B = Animales voladores A) Sólo 1, 2 y 3 B) Sólo 2, 3 y 4 C) Sólo 3, 4 y 5
Luego, un elemento de la clase: A - (A - B); es: D) Todas E) Sólo 1, 2 y 5
1) Mariposa 2) Vampiro 3) Ternero
4) Zancudo 5) Murciélago 29. El siguiente diagrama de Venn:
Son correctas:
a) sólo 1 y 4 b) sólo c) 2, 3 y 5
d) sólo 2 y 5 e) 1, 3 Y 4
P
Q
24. Del diagrama de Venn:
x

Ingeniero Profesional
Se diseña para demostrar la validez de la regla de inferencia llamada:
A) Ponendo tollens
B) Tollendo ponens
Se infiere utilizando contenido existencial: C) Ponendo ponens
a) Muchos ingenieros son profesionales D) Tollendo tollens
b) Muchos profesionales no son ingenieros E) Modus tollens
c) Muchos no son profesionales ni no son ingenieros
d) Varios no ingenieros no dejan de ser profesionales 1. Sean A y B dos clases contenidas en un universo.
e) No hay ingenieros que no sean profesionales Si se cumple que: (A B)  (B A) = A  B
Luego, es falso:
25. Del diagrama: A) A = A B B) B = B A C) A  B  
D) B  A' E) (A  B)  (A  B)'
s p
2. El diagrama:
Se infiere utilizando contenido existencial: M
donde:

PENSAMIENTO LÓGICO – FORMAL x Página 6

 I.E.P. CRECER DOCENTE: PROF. COTRINA HUAMÁN, CÉSAR

M = Médicos D = Deportistas
Se infiere:
Equivale a:
1) Casi todos no son médicos 2) Casi ninguno no es médico A) No todos los arequipeños no son deportistas
3) No todos no son médicos 4) Casi no hay médicos B) No todos los no arequipeños son deportistas
5) Es falso que nadie no sea médico C) No todos los arequipeños son deportistas
Son ciertas: D) Casi no hay arequipeños que sean deportistas
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 E) Todos los no arequipeños son no deportistas
C) 1, 2 y 5 E) 1, 4 y 5
9. El diagrama:
3. En el diagrama adjunto: Donde: E R
donde: C I E = Estudiante
C = Clérigos U = Universitario x
I = Investigadores Se traduce como:
Es imposible afirmar que: 1) Cualquier estudiante no es universitario.
A) Hay por lo menos un clérigo que es investigador 2) Ninguna estudiante no es universitario
B) Más de dos son investigadores que no son clérigos 3) Aunque sea un estudiante no es universitario
C) Al menos uno no es investigador ni clérigo 4) Es absurdo que todo estudiante sea universitario
D) Por lo menos un no investigador es clérigo 5) No acaece que si son estudiantes, son universitario.
E) Es veraz que siempre hay investigadores que no dejan de ser clérigos Son ciertas:
A) 2, 3 y 4 B) 1, 4 y 5 C) 3, 4 y 5
4. Si el diagrama: D) 2, 3 y 5 E) Sólo 2 y 4
Donde: T C
C = Catalán 10. El diagrama:
T = Tarragonés
S P
Corresponde a una proposición verdadera. Representa: x
Luego, la fórmula verdadera es: A) Una inclusión total de clases
B) Una clase complemento
A) C  T B) T  C C) T  C
C) Una exclusión parcial de clases
D) T  C E) C  T D) Una exclusión total de clases
E) Una igualdad entre clases
5. El diagrama adjunto:
11. Del diagrama:
M R
S P
x
Afirmamos:
Equivale al diagrama: 1) Demuestra la inferencia por conversión de un SiP en un PiS.
A) B) 2) Representa a una proposición particular afirmativa.
M R M R 3) Representa a la formula Boleana SP  
x x 4) La formula de la gráfica equivale a: S e P
C) D) 5) Representa una inclusión parcial.
M R M R Son ciertas:
A) Sólo 1, 2 y 3 B) Sólo 2, 3 y 4
x
E) C) Solo 3, 4 y 5 D) Sólo 2 y 3 E) Todas
M R
12. El diagrama siguiente:
J = Jueces J M
M = Magistrados
6. El diagrama adjunto: Puede leerse como:
Donde: A R A) No todos los jueces son magistrados
A = Ave B) No hay jueces que sean magistrados..
R = Reptil C) Todos los no magistrados son jueces.
Equivale a: D) Ningún magistrado no es juez.
1) No hay no aves que sean no reptiles E) Quienquiera que sea magistrado no es juez.
2) Todas las no aves son no reptiles
3) Ninguna no ave no deja de ser no reptil 13. El diagrama:
4) Cualquier no ave es obviamente reptil Donde: C R
5) Es mentira que muchas no aves sean reptiles R = Reptiles
Son ciertas: C = Carnívoros x
A) Sólo 1 y 4 B) Sólo 1 y 2 C) 3, 4 y 5 Equivale a:
D) 1, 3 y 4 E) 1, 2 y 5 1) No todos los reptiles son carnívoros.
2) No todos los carnívoros son reptiles.
7. Del diagrama: 3) Algunos carnívoros son no reptiles
Donde F P 4) Varios reptiles no son carnívoros.
F = Futbolista 5) No hay carnívoros que no sean reptiles.
P = Profesional Son ciertas:
Se infiere: A) 2 y 3 B) 2 y 4 C) 1 y 4
1) Muchos no futbolistas son profesionales D) 1 y 3 E) 3 y 5
2) Por lo menos un futbolista es profesional
3) Más de un no futbolista no es profesional 14. El diagrama:
4) No todos los profesionales son futbolistas Donde: A C
5) Es mentira que cualquier futbolista sea profesional A = Adolescentes.
Son ciertas: C = Creativos x
A) 1, 2 y 4 B) 2, 3 y 5 C) 1, 4 y 5 Equivale a:
D) 1, 2 y 3 E) 3, 4 y 5 1) Es falso que, ninguno de los creativos sea adolescente.
2) No se da que, ninguno de los adolescentes sea creativo
8. Del siguiente diagrama: 3) Algunos creativos no son no adolescentes.
Donde: 4) Hay adolescentes que no son no creativos.
A = Arequipeños A D 5) Es innegablemente falso que, todos los creativos no son adolescentes.

PENSAMIENTO LÓGICO – FORMAL Página 7

 I.E.P. CRECER DOCENTE: PROF. COTRINA HUAMÁN, CÉSAR

No son inciertas, excepto: 22. De la expresión formal: S'P = 

A) 1, 2 y 4 B) 1, 3 y 5 C) Ninguna Se infiere:
D) 3, 4 y 5 E) Todas A) S  P =  B) S'  P   C) S  P'  
D) S'  P'   E) S'  P’ = 
15. En el diagrama:
Empresario 23. El diagrama:
R S
Trabajador Estudiante
Se infiere:
x
Equivale, formalmente, a:
A) Todo trabajador es estudiante. X 1) (R + S' )   2) (R S' = ) 3) R' S  
B) Algunos empresarios no son trabajadores ni estudiantes. 4) (R' + S' )   5) (R' S = )
C) Algunos trabajadores son estudiantes. Son ciertas:
D) Todos los empresarios han sido estudiantes A) 1, 2 y 5 B) 2, 3 y 5 C) 1, 2 y 3
E) Ningún empresario es trabajador. D) 1, 3 y 5 E) Todas
16. Sean las clases: 24. La proposición: “Varios no judíos son nazis”
A = Números Enteros Donde:
B = Números Irracionales. J = Judíos
Luego, la relación verdadera entre las clases A y B, es: N = Nazis
A) A B B) B A C) Tiene como formula equivalente:
A) J' N'   B) N' J   C) (J' N = )
A B D) (N' J = ) E) (J' N' = )
D) E)
A B A B
x

17. Sean las clases:

A = Números Reales
B = Números Irracionales.
Luego, un elemento de la clase: A – (A – B); es:
1) ½ 2) π 3) 9

4)3 5) 7
Son correctas:
A) Sólo 1 y 4 B) Sólo 3 C) 2, 3 y 5
D) Sólo 2 y 5 E) 1, 3 y 4

18. La gráfica equivalente a la fórmula:

A  (B  A)  A'  B' = 
Es:
A) A B) B C) B

D) E)
A B A B
x

19. En el diagrama de Venn: Matemáti Científico

co
Se infiere por contenido existencial:
A) Muchos matemáticos son científicos
B) Muchos científicos no son matemáticos.
C) Muchos no son científicos ni no son matemáticos.
D) Varios no matemáticos no dejan de ser científicos.
E) No hay matemáticos que no sean científicos.

20. De la proposición: “Ningún no sacerdote es neurólogo”.

No se infiere por contenido existencial:
1) Varios sacerdotes son neurólogos
2) Varios sacerdotes son no neurólogos
3) Algunos no neurólogos no son sacerdotes
4) Muchos sacerdotes no son no neurólogos
5) Varios que no son no neurólogos no son sacerdotes.
Son ciertas:
A) 1 y 4 B) 2 y 5 C) 1 y 3
D) 2 y 4 E) 3 y 5

21. La proposición: “Pocos diplomáticos no son estadistas”

Donde:
S = Diplomáticos
P = Estadistas
Tiene como fórmulas equivalentes a:
1) ~(S P' = ) 2) S' P =  3) P' S  
4) ~(P S' = ) 5) S' P  
Son ciertas:
A) 4 y 5 B) 3 y 4 C) 1 y 5
D) 2 y 4 E) 1 y 3

PENSAMIENTO LÓGICO – FORMAL Página 8