¿Cómo podemos modelar cualquier teoría con lógica simbólica?

Answer 1

El crecimiento en una economía es una condición general para que la creciente fuerza laboral civil encuentre trabajo.

(para todos) E (x) (existe) P (y) (tal que) E (x) (implica) G (k);

(Todos) G (k) (implica) M (k);

En lenguaje, lo anterior simplemente se escribe como: “Para todas las economías en función de x, existe la función de procesos de y de tal manera que estas economías en función de x implican el crecimiento en función de k;

Para todo el crecimiento como una función de k implica el empleo como una función de k.

Ahora bien, esto es algo que los lógicos llaman una Tautología en la que si sustituimos una a las verdades individuales y cero a las negaciones, y aplicamos la operación booleana, obtendremos el resultado como 1 o Verdad, satisfaciendo así los axiomas como verdad global.

Nota: faltan las negaciones en la teoría simple de la economía anterior. Es como saciar (No todos) en el antecedente a veces o en el precedente a veces.

Por ejemplo: (No todos) los macedonios son sinceros.