Académique Documents
Professionnel Documents
Culture Documents
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
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
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
LGICA DE CONJUNTOS
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.
LGICA DE CONJUNTOS
Ningn hombre es inmortal Todo racional es hombre
Hombres Inmortales Hombres R
Luego:
Hombres R Inmortales
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.
LGICA DE CONJUNTOS
Luego:
Vertebrados M Rumiantes