Lógica Inferencial @;
Algunos 11 S" no son 11 V"
l
/ CAPÍTULO 111
Objetivos
Al finalizar el presente capítulo. el lector estará en la capacidad de:
..> Identificar las relaciones existentes entre conjuntos.
~ Analizar las proposiciones.
, ;:, Utilizar adecuadamente el diagrama de Venn.
Introducción
En el desarrollo del tema sobre las proposiciones y sus conclusiones podemos poner en práctica el estudio de
la inferencia en íntima relación con el uso de los diagramas de Venn. Para ello utilizaremos criterios lógicos ya
desarrollados hasta esta parte del curso. tales como la inducción y la deducción.
PROPOSICIONES CATEGÓRICAS
Enunciado o proposición que afirma o niega una relación de inclusión o exclusión total o parcial
entre conjuntos o clases.
Ejemplos:
- todos los hombres son mortales
- algún amigo es sincero
- no todos los niños son felices
22
CAPÍTULO 111 Compendio Académico
• Inferencia
Es una estructura de proposiciones en la Ejemplo :
cual a partir de uno o más proposiciones P 1: Todos los matemáticos son buenos
llamadas premisas se deriva una nueva calculadores.
proposición llamada conclusión. entonces
Ejemplo: C: Algunos matemáticos son buenos
P1 : Todos los latinos son amables calculadores.
P2 : Todos los peruanos son latinos
entonces 2. Mediatas: Son aquellas inferencias
C : Todos los peruanos son amables que están conformadas por 2 o más
premisas y su respectiva co~dusión.
Tipos de inferencias
Ejemplo:
P1: Todos los limeños son sinceros
A. Inductiva
P2: Algunas mujeres son limeñas
A partir de casos o hechos particulares se
entonces
llega a una conclusión de carácter general:
C: Algunas mujeres son sinceras
Ejemplo:
P1: Alex es de ]quitos y le gusta la cumbia
P2 : Sara es de ]quitos y le gusta la cumbia
P3 : Mi suegra es de ]quitos y le gusta la
cumbia.
Entonces
C: Es muy probable que todos los de
!quitos gusten de la cumbia.
B. Deductiva
Cuando a partir de las premisas
(generalmente de amplio contexto) se
obtiene una conclusión que se deriva Extensión de las Proposiciones
necesariamente de ellas.
Ejemplo: A. De acuerdo a su cantidad
P1: Todos los mamíferos son animales Universal
P2 : Todos los felinos son mamíferos Ejemplo: Todo canino es carnívoro
Entonces Particular
C: .Todos los felinos son animales.
Ejemplo: Algún futbolista es feliz
Las inferencias deductivas a la vez pueden
B. De acuerdo a su calidad
ser inmediatas y mediatas.
I Afirmativa
Ejemplo: Todo hombre es pensador
J. Inmediatas: Son aquellas inferencias
- Negativa
que están conformadas por una premisa
Ejemplo: Ninguna rosa es mariposa
y una conclusión.
23
' Academia ADUNI
_ _ _ _ _ ____.;-====-:..:.=c.==...
•
!R.!,presentación gráfica meáiante 'Diagramas áe 'Venn
Ejemplos 5. - Algunos estudiantes son universitarios.
(L) (H) - Ningún turista es universitario.
1. Todos los latinos son humanos
Universitario Estudiantes Turistas
(V) (M)
2. Ningún varón es mujer
Se concluye
que: hay estudiantes
que no son turistas
00 (E) (C)
J.
Problemas Resueltos
Dadas las premisas
Todos los cantantes estudian en la
J. Algunos escolares son cantantes UNMSM
- Algunos policías son cantantes.
Se concluye que
Cantantes Escolares
OJ
a) todos los que estudian en la UNMSM son
cantantes.
b) Lodos los que no desean ser policía no
ingresan a UNMSM.
á No~ - - - - - - - - - - - c) algunos que no estudian en la UNMSM
son médicos.
Para indicar que hay presencia de por lo menos un d) algunos policías que son cantantes no
elemento denotaremos con una equis (x) en la región estudian en la UNMSM .
correspondiente. Para indicar que no hay presencia e) algunos policías estudian en la UNMSM.
de elementos sombreamos la región correspondiente.
Resolución:
Según el gráfico correspondiente, tenemos
4. - Todos los cantantes son artistas. U.N.M.S.M.
- Algunos hombres son cantantes.
Pollclas
Se concluye que algunos
Podemos concluir
pollclas estudian
que algunos hombres enla UNMSM
son artistas.
La respuesta es e
24
CAPÍTULO 111 Compendio Académico
2. Dadas las premisas Resolución:
l. Ninguno de los locos toca el piano. Relacionando adecuadamente las premisas
II. Ningún japonés deja de tocar el piano. tenemos
III. Todos los estudiantes son locos.
Entonces e e r e s Universitarlo-proíesional
a) algunos estudiantes tocan el piano.
b) los japoneses en total estudian.
c) ningún japonés es loco. Se concluye que si estudias, entonces te
d) algunos japoneses son estudiantes. casarás
e) algunos japoneses son estudiantes y La respuesta es e
algunos locos no tocan el piano.
Resolución:
Si: A entonces B se puede concluir
Si: B entonces C Aentonces C
4. Ningún científico admite la clonación de
Analizando las alternativas seres humanos, pero algunos aficionados a
la ciencia ficción la admiten. En
a) falso; porque ningún estudiante toca el consecuencia
piano.
b) falso; porque ningún japonés estudia a) todos los aficionados a la ciencia ficción
(conjuntos disjuntos). son científicos.
c) verdadero; son conjuntos disjuntos. b) ningún científico es aficionado a la
d) falso; son conjuntos disjuntos. ciencia ficción.
e) falso; son conjuntos disjuntos. c) algunos aficionados a la ciencia ficción
no son científicos.
d) todos los científicos son aficionados a la
La respuesta es c
ciencia ficción.
e) ningún aficionado a la ciencia ficción es
3. Dadas las premisas
científico.
- Si estudias, entonces serás universitario
- Si eres universitario, entonces serás profesional. Resolución:
Si eres profesional, entonces te casarás. P1: Ningún científico admite la clonación de
Se concluye que seres humanos =Conjuntos disjuntos
(No existe intersección)
a) si estudias no te divorciarás.
b) si eres universitario no te casarás.
Cientlficos Admiten clonación
c) si te casas es porque estudiaste.
d) si no eres casado es porque no eres
profesional.
e) si estudias entonces te casarás. 00
25
•---------------------------'[Link];.;:;d""em=ia""A'"""D-=U:.:.N=-1
P2 : Algunos aficionados a la ciencia ficción De las dos premisas
la admiten = Conjuntos no disjuntos. Cient!lico Admiten clonación
(Existe intersección)
Admiten Ciencia
Clonación Ficción
QQ&~•-
OJ Ciencia ficción no son cient!licos
Conclusión
Hay algunos aficionados a la ciencia ficción
que no son científicos.
PROBLEMAS
l. Si Ningún insecto es vertebrado 4. Si Todo carnívoro es mamífero
entonces entonces
A) todo· insecto es vertebrado. A) es falso que algún carnívoro no sea
B) algún insecto es vertebrado. mamífero.
C) algunos vertebrados son insectos. B) todo mamífero es carnívoro.
D) es falso que algún insecto es vertebrado. C) ningún mamífero es carnívoro.
E) todo vertebrado es insecto. D) algunos carnívoros no son mamíferos.
E) algunos mamíferos no son carnívoros.
2. ¿cuál es la negación de Todo mamífero es
terrestre?
S. ¿cuál es la negación de Algunas aves no
vuelan?
A) algunos mamíferos son terrestre.
A) todos los que vuelan son aves.
B) algunos mamíferos no son terrestres.
B) toda ave vuela.
C) ningún mamífero es terrestre.
C) ningún ave vuela.
D) todo mamífero es no terrestre.
D) algunas aves vuelan.
E) todo terrestre es mamífero.
E) algunos de los que no vuelan son aves.
3. Si Todo matemático es hábil
6. Si Ningún matemático es idealista entonces
entonces
A) todo idealista es matemático.
A) algunos hábiles no son matemáticos.
B) es falso que ningún idealista sea
B) algunos matemáticos no son hombres.
matemático.
C) ningún matemáticos es no hábil.
C) algún matemático es idealista.
D) ningún matemático es hábil.
D) todo matemático es idealista.
E) todo matemático es no hábil. E) algunos matemáticos no son idealistas.
26
CAPÍTULO 111 Compendio Académico
7. lCuál es la negación de Algunas plantas son 12. Si Ningún realista es irracional
nutritivas? Algún rer:lista es objetivo
entonces
A) Todas las plantas son nutritivas.
B) Algunas flores son plantas. A) algunos objetivos son irracionales.
C) Todo lo nutritivo es planta. B) todo objetivo es irracional.
D) inguna planta es nutritiva. C) ningún objetivo es irracional.
E) . gunas plantas no son nutritivas. D) algunos objetivos no son irracionales.
E) ningún irracional es objetivo.
8. Si "ingún heroe es cobarde, entonces
13. Si Todo tigre es felino
A) ningún heroe es inculto. Ningún carnívoro es felino
B) todo héroe es no cobarde. entonces
C) todo cobarde es héroe.
D) algunos héroes son cobardes. A) ningún león es carnívoro.
E) todo héroe es cobarde. B) ningún tigre es carnívoro.
C) todo tigre es carnívoro.
D) algún carnívoro es tigre.
9. Si Todo universitario es critico, entonces
E) ningún marnffero es carnívoro.
A) todo crítico es universitario.
14. Si Todo universitario es perseverante
B) algunos universitarios son críticos.
Algunos universitarios logran sus
C) algunos críticos no son universitarios.
objetivos
D) algunos universitarios no son críticos.
entonces
E) ningún universitario es crítico.
A) algunQS perseverantes logran sus
10. lCuál es la negación de Ningún escritor es objetivos.
objetivo? B) todos los perseverantes logran sus
objetivos.
A) Todo escritor es objetivo. C) ningún perseverante logra sus objetivos.
• B) Algún escritor es objetivo. D) algunos perseverantes no logran sus
C) Todo escritor es no objetivo. objetivos.
D) Algunos escritores no son objetivos. E) todo perseverante es objetivo.
E) Nadie que sea objetivo es escritor.
15. Si Todo ingeniero es hábil
11. Si Todo poeta es romántico Todo ingeniero es matemático
Ningún realista es poeta entonces
entonces
A) ningún romántico es realista. A) todo matemático es hábil.
B) todo romántico es realista. B) todo hábil es matemático.
C) algún romántico es realista. • C) algunos matemáticos son hábiles.
• D) algunos románticos no son realistas .. D) ningún matemático es hábil.
E) algunos realistas no son románticos. E) algún ingeniero es hábil.
27
• - - - - - - - - - - - - - - - - - - - - - - - - - - - " " " A " " c__
ad"'"e""m=ia""A=-D--U___N-'-1...
• 16. Si Todo león es mamífero 20. Si Todo racional es pensador
Todo carnívoro es león Ningún romántico es racional
entonces entonces, si al menos hay un racional; se
concluye que
A) todo león es carnívoro.
B) todo mamífero es carnívoro. A) ningún pensador es romántico .
B) todo pensador es romántico.
• C) todo carnívoro es mamífero.
C) algún pensador es romántico .
D) algún no carnívoro es mamífero.
D) algún pensador no es romántico.
E) algunos carnívoros son no mamíferos.
E) algún romántico no es pensador.
17. Si Todo amigo es leal
21. . Si Ningún investigadores acrítico
Todo leal es solidario
Ciertos investigadores son racionalistas
entonces
en consecuencia
~ A) todo amigo es solidario. A) algunos racionalistas son acríticos.
B) ningún amigo es solidario. B) algunos racionalistas son críticos.
C) algunos amigos no son solidarios. C) algunos críticos son irracionales.
D) todo solidario es amigo. D) algunos críticos no son filósofos .
E) algunos solidarios no son amigos. E) algunos críticos son filósofos.
18. Si Todo científico es matemático 22. Si afirmamos que
Ningún cantante es matemático Muchas plantas son aromáticas
entonces podemos concluir que
A) ninguna planta s aromática.
,' A) ningún científico es cantante.
B) todas las plantas son aromáticas.
B) todo científico es cantante.
C) algunas plantas no son no aromáticas.
C) algún científico es cantante.
D) todas las plantas son no aromáticas.
D) todo cantante es científico.
E) ninguna planta es no aromática.
E) ningún matemático es científico.
23. Si sabemos que
19. Si Ningún perro es carnívoro
Muchos artistas son revolucionarios
Algún perro es animal entonces podemos concluir que
entonces
A) lodo artista es revolucionario.
A) algunos carnívoros no son animales. B) ningún artista es revolucionario.
B) algunos animales no son carnívoros. C) ningún artista es no revolucionario.
C) todo animal es carnívoro. D) todo artista es no revolucionario.
D) todo carnívoro es animal. E) no es cierto que lodo artista sea no
E) ningún animal es carnívoro. revolucionario .
28