Logica Cuaticacional

“Lógica cuatificacional”
La lógica cuatificacional se dedica a simbolizar y dar reglas para utilizar correctamente las formas del pensamiento hechas con proposiciones simples o atómicas, esto esproposiciones que no tienen relación con otra preposición, por lo que en el lenguaje natural no usan conectivas lógicas, pero si tienen relación consigo mismas, entre sujeto y predicado, y puedenmanifestarse con proposiciones singulares, universales o particulares en forma afirmativa o negativa.

a. Para las preposiciones singulares usa las letras mayúsculas para el predicado y las minúsculaspara el sujeto, y se escriben a la inversa, primero la letra mayúscula y después la minúscula, y para leerlas también es a la inversa, primero se lee la letra minúscula y después la mayúscula.
*Ej. Antonio es mexicano= (Ma) y se va a leer: (a es M)
Para la negativa = (~Ma) se va a leer: (a no es M)
b. Para las preposiciones universales, se usa el cuantificador universal (Ɏ x) para todos(as)
c. En seguida se usan las letras mayúsculas para simbolizar el predicado y la (x) para indicar algo determinado, después se usa una conectiva lógica (→) para indicar el otro pensamiento queincluya al primero, con su otra letra predictiva mayúscula y (x) para lo indeterminado.
* Ej. Todos los gatos son pardos (Ɏx) Gx → Px
Se va a leer (Ɏx) para todo (x), si (x) es (G), entonces (x)es (P)

d. Para la universal negativa es el mismo procedimiento anterior, pero después de la condicional (→), se escribe no (~) que quiere decir que no está incluido en el segundo pensamiento* Ej. Ningún gato es pardo: (Ɏx) Gx → ~ Px
Se va a leer para toda (x) si (x) es (G), entonces (x) no es (P)

e. Para la particular afirmativa se usa el cuantificador existencial (϶x), que setraduce por algunos, como as; enseguida usa letras predictivas en mayúsculas para simbolizar el sujeto y el predicado, después de una (x) que representa algo indeterminado, y la relaciona el sujeto...