Lógica de predicados: ¿Por qué es mejor usar la lógica de predicados que la de enunciados?

La lógica de enunciados tiene muchas limitaciones, ya que termina siendo muy simple para poder abarcar todo el significado de la oración en la cual se está trabajando. Por ejemplo, en la siguiente oración:

“Hoy es el cumpleaños de los que nacieron el 6 de enero” (p), “Alex Turner nació el 6 de enero” (q). Entonces “Hoy es el cumpleaños de Alex Turner” (r).

p	q	r	(p^q)	→	r
V	V	V	V	V	V
V	V	F	V	F	F
V	F	V	F	V	V
V	F	F	F	V	F
F	V	V	F	V	V
F	V	F	F	V	F
F	F	V	F	V	V
F	F	F	F	V	F

Si se realiza la tabla verdad, el razonamiento es inválido, ya que existe la posibilidad de que sea falso en algún caso. Sin embargo, en la realidad, este argumento es totalmente válido. La conclusión se sigue de las premisas y es verdadera. 

Por ello, se opta por utilizar la lógica de predicados. Está trata de una manera más profunda y es fiel al texto que se desea analizar, ya que es un lenguaje más expresivo. En este caso, ya no se debe partir de los enunciados para analizar la validez del argumento, sino que se debe usar los predicados del argumento.

A continuación: Nociones básicas sobre lógica de predicados.