Logica Cuantificacional

1- Investigue y defina e interprete símbolo y elementos de la lógica cuántica.

Símbolo de los cuantificadores.

Para 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 componentes 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 predicativas

b) Para representar los individuos 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 individuo”.

ch) Para representar el cuantificador universal “Todo” o “Ninguno” utilizamos el siguiente símbolo: V.

d) Para representar el cuantificador existencial "algunos” utilizamos el siguiente símbolo: 3.

2- Copiar y conocer cada uno de los símbolos y elementos empleados por y en la lógica cuántica.

Elementos de lógica cuantificacíonal

Hemos visto cómo, mediante las leyes de implicación y las leyes de equivalencia, se puede de-mostrar formalmente la validez de los argumentos.

Ahora nos corresponde analizar las llamadas leyes de ejemplificación y generalización, con las que, en conjunto con las antes mencionadas, podremos demostrar que la conclusión se infiere lógicamente de sus premisas.

Estas nuevas leyes que estudiaremos pertenecen a otra. Parte de la lógica simbólica llamada lógica cuantificacional que, al igual que la proporcional, nos brinda elementos para comprobar si un razonamiento es o no es válido.

La lógica cuantificacíonal se caracteriza por el análisis que hace de los enunciados para tomar en cuenta sus elementos estructurales. Se denomina “cuantificacional” porque le da gran importancia a la cuantificación del sujeto y del predicado.

^ Es importante comenzar nuestro breve asomo a la lógica cuantificacional anotando la simbología de los cuantificadores, los cuales nos permiten identificar el tipo de proposición que estamos analizando, esto es, si es universal o si es particular, así como la ley que se debe aplicar para inferir correctamente las conclusiones.

Veamos, pues, la simbología utilizada en la lógica cuantificacional:

1. Las literales mayúsculas: A,B,C...Z, representan a los predicados (letras predicativas).

2. Las literales minúsculas: a, b, c... w, representan individuos particulares (constantes individuales).

3. Las literales minúsculas: x, y y z, representan individuos cualesquiera (variables individuales).

4. El símbolo V representa todos” o “ninguno” y se llama cuantificador universal.

5. El símbolo 3 representa “algunos” y se llama cuantificador existencial.

Veamos ahora algunos ejemplos de simbolización con base en esta simbología:

1. “La Tierra es un planeta”, se simboliza así:

Pt

2. “El Sol es un planeta”, se simboliza así:

~Ps

[Nótese que en las proposiciones negativas utilizamos el símbolo ~ dela negación que ya conocemos.]

3. “Mercurio tiene atmósfera”, se simboliza así:

Am

4. “El

...