UNIVERSIDAD NACIONAL

«José Faustino Sánchez Carrión»

ASIGNATURA:
LÓGICA – MATEMÁTICA

TEMA:
“LÓGICA CUANTIFICACIONAL”

DOCENTE:
Ing. Ulises Robert Martinez Chafalote

INGENIERÍA CIVIL
I CICLO

2022
 LÓGICA CUANTIFICACIONAL O
LÓGICA DE CLASES
Es una parte de la lógica que estudia el análisis de la estructura interna
de las proposiciones (es decir, la relación existente entre el sujeto y el
predicado), llamada proposiciones categóricas; con el fin de determinar
la validez de los razonamientos (inferencias) mediante los DIAGRAMAS
DE VENN.

CLASE o CONJUNTO:
Es una colección de elementos que tienen características comunes.
Ejemplo:
La clase de hombres, plantas, etc.
 DIFERENCIAS ENTRE:

Lógica Proposicional Lógica de Clases

Estudia la relación externa entre las proposi- Estudia la relación interna entre el sujeto y
ciones, mediante los conectivos lógicos. predicado de las proposiciones, mediante
diagramas de Venn.
• Estudio y trabajo • Todo lobo es animal
p ˄ q S P
Notación: p ˄ q Notación: P
S

S: sujeto , P: predicado

Estudia la validez de las inferencias Estudia la validez de las inferencias

mediante conectivos lógicos. Así: mediante diagramas de Venn.
C
P
• Si estudio, triunfo: p → q • Todo perro es cuadrúpedo:
• Estudio : p • Todo cuadrúpedo es animal: A
C
Triunfo : q Todo perro es animal
C
Notación: [(p → q) ˄ q] → q A
Notación: P

La lógica de clases realiza un análisis más profundo, refinado y riguroso que la lógica
proposicional.
 PROPOSICIÓN CATEGÓRICA
Es aquella proposición que afirma o niega una relación de inclusión o
exclusión, total o parcial entre clases, es decir, entre sujeto y predicado.
Ejemplo:
• Todos los hombres son mortales. Nos indica que todos los elementos
de la clase “hombres” (sujeto) son también elementos de la clase
mortales (predicado).
• Algunos alumnos son genios nos dice que sólo algunos elementos de
la clase “alumnos” son elementos de la clase “genios”.
• No todas las personas son sinceras.
• Ningún libro es no servible.
 ELEMENTOS FORMALES DE UNA
PROPOSICIÓN CATEGÓRICA
Son fundamentalmente 4:
1. CUANTIFICADOR O CUANTOR
Indica la cantidad lógica de elementos de una clase en una proposición
categórica. Puede ser:
a) Universal ( x) : Todos, ninguno.
b) Particular (Ǝx) : Algunos, no todos.
2. SUJETO (S)
De quien se dice algo.
3. CÓPULA, NEXO O VERBO
Establece la relación entre clases (entre sujeto y predicado).
4. PREDICADO (P)
Indica un atributo del término o clase o sujeto.
Ejemplo:
Algunos alumnos son ociosos

cuantificador sujeto cópula predicado

 CLASIFICACIÓN DE LAS
PROPOSICIONES CATEGÓRICA
1. SEGÚN SU CANTIDAD
a) Universales : Todos, ninguno. (Términos extremos o totales).
Todos los elementos de la clase sujeto son elementos de la clase predicado.
• Todo poeta es escritor.
• Ningún humano es inmortal.
b) Particulares : Algunos, no todos. (Términos medios o parciales).
Algunos elementos de la clase sujeto son elementos de la clase predicado.
• Algunos políticos son honestos.
• Algún estudiante no es aplicado.
• No todo limeño es Victoriano.
2. SEGÚN SU CUALIDAD
a) Afirmativas: Son aquellas que afirman una relación.
• Todos los perros son caninos.
• Algún sacerdote es peruano.
b) Negativas: Son aquellas que niegan una relación.
• Ningún pez es terrestre.
• Algunas personas no son cariñosas.
 TIPOS DE PROPOSICIONES CATEGÓRICAS Y SU
REPRESENTACIÓN EN LOS DIAGRAMAS DE VENN

1. UNIVERSALES AFIRMATIVAS (A)

Establecen una relación de inclusión total del sujeto en el predicado.
• Todo ingeniero es matemático.
GRÁFICA:
1ra Forma de Graficar 2da. Forma de Graficar

I M
M
I

TODOS:
Está representado por una La región sombreada representa
relación de inclusión. una región vacía (sin elemento).

El conjunto “ingeniero” está incluido totalmente en el conjunto

“matemático”.
2. UNIVERSALES NEGATIVAS (E)
Indican una relación de exclusión total entre el sujeto y el predicado.
• Ningún estudiante es ocioso.
GRÁFICA:

1ra Forma de Graficar 2da. Forma de Graficar

E O E O

NINGÚN:
Está representado por conjuntos región vacía
disjuntos.

El conjunto “estudiante” está excluido totalmente del conjunto “ocioso”.

3. PARTICULARES AFIRMATIVAS (I)
Establece una relación de inclusión parcial entre el sujeto y el predicado.
• Algunos astronautas son físicos.

GRÁFICA:

Algunos: Está representado por la intersección.

A F

El conjunto “astronautas” y
x “físicos” tienen una inclusión
parcial.
4. PARTICULARES NEGATIVAS (O)
Indican una relación de exclusión parcial entre el sujeto y el predicado.
• Algunas mujeres no son sinceras.

GRÁFICA:

Algunos No: Está representado por la diferencia.

M S

El conjunto “mujeres” está

X
excluido parcialmente del
conjunto «sinceras”.
 NEGACIÓN DE PROPOSICIONES
CATEGÓRICAS
La negación de un término extremo o universal (todos, ninguno) se realiza
con un término medio o particular (algunos o al menos con un elemento) y
viceversa. Esto se debe a que para que una afirmación sea verdadera, es
necesario que siempre sea verdadera, es decir que no exista algún
elemento que contradiga lo afirmado, caso contrario se estaría
contradiciendo y por ende negando.
Ejemplo:
• ¿Cuál es la negación de?
«Todas las aves vuelan»
Rpta:
Según esto tenemos que:
TÉRMINO NEGACIÓN LÓGICA
Todos . . . . . . son Algunos . . . . . no son
Ninguno . . . . . son Algunos . . . . . son
Algunos . . . . . son Ninguno . . . . . son
Algunos . . . . . no son Todos . . . . . . son
De se obtiene que:
~ Ξ
~ Ξ

Y viceversa en ambas.

Ejemplos:
• «Todo alumno es crítico»
• «Algunos hombres no son terrícolas»
• «Ningún provinciano es arrogante»
• «Algunas limeñas son fieles»
 Ejercicios:
1. La negación de «Todas las chicas miran a
Ricardo» es:
a) Algunas chicas miran a Ricardo.
b) Algunas chicas no miran a Ricardo.
c) Ninguna mira a Ricardo.
d) Ninguna no mira a Ricardo.
e) Todas las chicas miran a Ricardo.
2. La negación de la proposición: «Todos los
hombres son honestos» es:
a) Los hombres no son honestos.
b) Todos los hombres son deshonestos
c) Algunos hombres son deshonestos.
d) Ningún hombre es deshonesto.
e) Algunos hombres son honestos.
3. La negación de «Algunos pitagorinos son
marcianos» será:
a) Todo pitagorino es marciano.
b) Algún pitagorino no es marciano.
c) Ningún pitagorino es marciano.
d) Todo pitagorino no es marciano.
e) No todo pitagorino es marciano.
4. Si un señor afirma: que todos los chips
son hechos en Japón y yo estuviera en
desacuerdo para defender mi posición
bastaría con:
a) Mostrar un chip no hecho en Japón.
b) Mostrar varios chips no hechos en
Japón.
c) Probar que no existan chips en
Japón.
d) Probar que el señor no sabe nada
sobre chips.
e) Probar que en Japón no fabrican
chips.
5. La proposición: «No es cierto que existan
aves que no tengan plumas», es
equivalente a:
a) Toda ave no tiene plumas.
b) Algunas aves no tienen plumas.
c) Algunas aves tienen plumas.
d) Toda ave tiene plumas.
e) Ningún ave tiene plumas.
6. La proposición: «Todos los españoles no
son africanos», es equivalente a:
a) Ninguno de los españoles es africano.
b) Ninguna persona que es española es
africana.
c) Ningún español es africano.
d) Todo aquél que sea español no es
africano.
e) Los españoles no son africanos.
Son ciertas:
7. La negación de: «La mitad de los
postulantes ingresaron a la universidad».
Será equivalente a:
a) Todos ingresaron a la universidad.
b) Es falso que algunos postulantes
hayan ingresado a la universidad.
c) Algunos postulantes no ingresaron a la
universidad.
d) Algunos ingresaron a la universidad.
e) Todos se cumplen.
8. Ningún diplomático es cortés; luego:
a) Algunos descorteses son diplomáticos.
b) Todos los diplomáticos son corteses.
c) Todos los corteses son diplomáticos.
d) Todos los corteses no son
diplomáticos.
e) N.A.
9. Si sabemos que «algunos ángeles son
inmortales», entonces podemos concluir
que:
a) Todos los ángeles son mortales.
b) Algunos inmortales son ángeles.
c) Ningún ángel es mortal.
d) Ningún ángel es inmortal.
e) Todos los ángeles son inmortales.
10. De la proposición: «Algunos hombres no
son infieles», podemos inferir que:
a) Algunos fieles son hombres.
b) Hay hombres infieles.
c) Existen hombres que no son fieles.
d) Algunas personas son infieles.
e) Todas las anteriores.