LGICA DE CONJUNTOS

Prof. Widman Gutirrez

CUANTIFICADORES
Los cuantificadores clasifican a las proposiciones por su cantidad en: universales y existenciales(particulares), complementariamente stas pueden ser por su calidad: afirmativas o negativas.
U. AFIRMATIVOS (Todos) UNIVERSALES U. NEGATIVOS (Ninguno) CUANTIFICADORES E. AFIRMATIVO (Algunos) EXISTENCIALES E. NEGATIVO
(Algunosno No todos No es el caso que..)

CUANTIFICADORES Ejemplos:
1. Todos los nios son inteligentes Universal afirmativa 2. Ninguna ballena es azul Universal negativa 3. Algunas gallinas son azules Particular afirmativa 4. Cada alumno recibi un libro Universal afirmativa 5. Ms de uno se qued sin libro Particular afirmativa

CUANTIFICADORES
Pautas que se deben tener en cuenta para representar los conjuntos en lgica
Denominacin
Conjunto vaco

Representacin

Significado
Aquel conjunto que carece de elementos Conjunto que por lo menos tiene un elemento En este conjunto no se puede determinar la existencia o no existencia de elementos

Conjunto no vaco

Falta informacin

CUANTIFICADORES
Graficamos a manera de ejemplo algunas proposiciones que presentan cuantificadores:
Todos los gatos son felinos
Gatos Felinos

Ningn pollo es felino

Pollos Felinos

Algunas aves son voladoras

Aves

Algunos peces no son marinos

Peces Marinos

Voladoras

NEGACIN DE PROPOSICIONES

Para negar una proposicin que presente centralmente un cuantificador universal positivo es necesario usar una proposicin que contenga un cuantificador particular negativo; es decir deben ser propiamente opuestos en calidad(signo) y cantidad, es decir: Debemos considerar () ( ( ( ( +) +) ) ) = = = = = + +

NEGACIN DE PROPOSICIONES

Halle usted la negacin de:

1. Algunos animales son perezosos Ningn animal es perezoso 2. Todos los cerdos son sucios Algunos cerdos no son sucios 3. Ningn mago viste de negro Algunos magos visten de negro 4. Todas las gallinas son amarillas Algunas gallinas no son amarillas 5. Algunos chicos no obedecen a sus padres Todos los chicos obedecen a sus padres

NEGACIN DE PROPOSICIONES Cuando el cuantificador es universal y la negacin afecta al verbo copulativo ser o estar entonces la negacin funciona como si negara al cuantificador

Ejemplo:
Todos los alumnos no son estudiosos Equivale a: No todos los alumnos son estudiosos

Algunos alumnos no son estudiosos

LGICA DE CONJUNTOS

Forma tpica de una proposicin

Clasificacin Smbolo
Cuantitativa Cualitativa

Diagrama de Venn S P

Frmula Booleana

"Todo S es P"

Universal

Afirmativa S

= P = P

"Ningn S es P"

Universal

Negativa S

"Algn S es P"

Particular

Afirmativa S

"Algn S no es P"

Particular

negativa

LGICA DE CONJUNTOS
Ejemplo1: Ningn hombre es inmortal. Todo racional es hombre. Entonces se puede afirmar que: A) Ningn racional es inmortal. B) Todo racional es inmortal. C) Ningn irracional es inmortal. D) Todo irracional es mortal.

E) Ningn mortal es irracional.

LGICA DE CONJUNTOS
Ningn hombre es inmortal Todo racional es hombre
Hombres Inmortales Hombres R

Luego:
Hombres R Inmortales

Ningn racional es inmortal

LGICA DE CONJUNTOS
Ejemplo2: Algunos mamferos son rumiantes. Todo mamfero es vertebrado. Entonces se puede afirmar que: A) Algunos rumiantes son invertebrados. B) Todo rumiante es vertebrado. C) Algunos vertebrados son rumiantes. D) Algunos vertebrados son mamferos.

E) Algunos rumiantes son mamferos.

LGICA DE CONJUNTOS

Algunos mamferos son rumiantes Todo mamfero es vertebrado

Mamferos Rumiantes Vertebrados M

Luego:
Vertebrados M Rumiantes

Algunos rumiantes son vertebrados