Lógica de predicados: Pasos para formalizar razonamientos en el lenguaje de la lógica de predicados

De manera general, para poder formalizar los razonamientos en lógica de predicados, se deben seguir los siguientes pasos:

1) Determinar el dominio de los predicados: Se necesitará identificar cuáles son los nombres a los cuales se va a referir el razonamiento y, para poder identificar cual es el dominio del predicado, se preguntará: “¿de qué se habla?”.

2) Determinar predicados atómicos: Para poder determinar los predicados atómicos, se deberán de realizar las siguientes dos preguntas:

¿Qué subconjuntos o características pueden ser considerados como parte de los diferentes nombres?

¿Qué se dice del nombre? ¿Cuáles son las características que posee el nombre? ¿Qué conjuntos engloban al nombre?

3) Elementos concretos: Determinar si el nombre es identificable con los predicados que le atribuyen en la oración, a cada predicado le corresponde un nombre.

4) Formalización: Se debe unir cada predicado atómico con su respectivo nombre. De esta unión debe resultar una fórmula bien formada sin variables libres.

5) Determinar el tipo de cuantificador adecuado: Para poder decidir, se debe prestar atención al sentido del cuantificador. Si se habla en un sentido general (“Para todo…”, “para cualquiera…”, “para cada…”, “todo el mundo que…”), es un cuantificador universal (∀). Si se habla en un sentido particular (“Para algún…”, “algunos”, “hay…”, “hay quien…”), es un cuantificador existencial (∃). Antes de formalizar los predicados y nombre con los cuantificadores, se debe saber cual es el dominio de los cuantificadores y ,para realizar esta distinción, se debe preguntar:

¿A qué subconjunto del dominio hace referencia?

A continuación: Simbolización de oraciones con cuantificadores.