Logica

Ministerio de Educación

Dirección Regional de San Miguelito, Las Cumbres y Chilibre

Instituto Dr. Alfredo Cantón

XI ° B

Asignatura:
Lógica

Tema:
Lógica Cuantificacional

Integrantes:
Saavedra Roberto
Salvatierra Blas
Samaniego Rogelio
Sánchez Juan

Profesor:
Héctor Trujillo

Introducción
La lógica cuantificaciones estudia la composición íntima de las proposiciones,utiliza nuevos símbolos, leyes y métodos para establecer la validez de los razonamientos.

Índice

Introducción
Lógica Cuantificacional
* Función proposicional y Cuantificación
* Símbolos de los cuantificadores
* Proposiciones singulares
* Proposiciones generales
* Proposiciones particulares
Conclusión
Bibliografía

Lógica Cuantificacional

Funciónproposicional y cuantificación.
A través de la función proposicional y cuantificación hacemos uso de los símbolos para representar la estructura interna de las proposiciones. Esto símbolo Cuantificacional puede combinarse con los de la función de verdad para construir un poderoso lenguaje simbólico, que nos permitirá analiza mejor las proposiciones y argumentos.
Símbolo de los cuantificadores. NotaciónPara simbolizar la estructura interna de las proposiciones es necesario utilizar los símbolos de las conectivas lógicas y otros símbolos adicionales para representar las partes componente de las proposiciones.
a). Para representar los predicados de las proposiciones utilizamos las letras mayúsculas A, B, C… Z; estas literales mayúsculas se denominan “letras predicadas”.
b) Para representar losindividuos particulares de las proposiciones se usan las letras minúsculas a, b, c hasta la letra w. Estas literales minúsculas se denominan “constantes individuales o constante de individuo”.
c) Para representar cualquier individuo no especificado en una proposición, usamos las letras minúsculas x, y, z. Estas literales minúsculas se denominan “variables individuales o variables de individuos”.
Ch)Para representar el cuantificado universal “Todo” o “Ninguno” utilizamos el siguiente símbolo
d) Para representar el cuantificador existencial “algunos” utilizamos el siguiente símbolo:
Proposiciones Singulares
Las proposiciones singulares pueden ser afirmativas o negativas.
Las proposiciones singulares afirmativas
Estas clases de proposiciones las podemos representar simbólicamente segúnel siguiente ejemplo:
El mono es un primate (Pm)
El predicado de esta proposición lo simbolizamos con la literal mayúscula P, que representa el término primate, luego simbolizamos el sujeto con la literal minúscula m, la “m” representa al sujeto individual mono en la proposición.
La inversión del orden de los términos de la proposición (Pm), da lugar al hipérbaton en forma simbólica de laproposición.
Así pues, la proposición “El mono es un primate”, se simboliza de la forma “Pm” pero se lee dentro su orden lógico “eme es pe”.
En resumen, la letra “P” representa el predicado y la letra “m” minúscula representa la constante individual.
Veamos ahora las siguientes representaciones simbólicas de las proposiciones singulares afirmativas y su lectura.
1. La casa es nuevaNc (se lee “ce es ene”)
2. El maní es un vegetal Vm (eme es ve)
3. El oxígeno es un elemento Eo (o es e)
4. África es un continente Ca (a es ce)

Las proposiciones singulares negativas
Las proposiciones negativas no son más que, la negación de una proposición afirmativa.
Ejemplo
La ballena es un pez. La negación de esta proposiciónes: La ballena no es un pez. Esta proposición se simboliza así: -Pb (se lee “be no es pe”). Aquí se antepuso el símbolo de la negación a los símbolos que representan la proposición afirmativa.

Proposiciones generales
Las proposiciones generales puedes ser universales afirmativas y universales negativas.
Las proposiciones universales afirmativas
Estas clases de proposiciones surgen de la...