Usuario:Fercho/introducción 2
Antes de resolver cualquier ejercicio en el cálculo de predicados quisiera hacer una pequeña introducción para aclarar ciertas dudas que se generan frente a este tema debemos tener en cuenta las diferencias y relaciones que existen entre el tema del cálculo de predicados y el cálculo proposicional ya que de una proposición sólo puedo decir que es una afirmación que es o bien verdadera o falsa, no ambas al tiempo mientras que en un predicado primero que todo existe Universo de discurso o dominio es decir un conjunto de elementos que bien pueden ser individuos, cosas, ideas, estructura de datos, etc., que afectan el argumento lógico que se está considerando; Es cierto que se tiene una proposición pero de la cual yo puedo decir la frecuencia con la que es cierta dicha expresión que se compone de proposiciones, es decir si se cumple para todos los casos o sólo en algunos, entonces aparecen los cuantificadores universal (Archivo:Pensamiento algorítmico cuantificadoruniversal.jpg) y existencial (Archivo:Pensamiento algorítmico cuantificadorexistencial.jpg). En este sentido en los predicados las proposiciones dejan de ser proposiciones y se convierten en expresiones.
Además en el cálculo de predicados se habla de aridad que es el número de elementos que hay en la lista del predicado que cumplen con cierta relación entre ellos de acuerdo a la expresión que se tenga, se puede decir que es un subconjunto del universo de discurso porque toma casos ejemplares.
Por otro lado en el cálculo de predicados existe la particularización y generalización, la sustitución es un proceso que hace parte de ellas y consiste en la asignación de variables, cosa que no existe en las proposiciones, tenemos que los argumentos de un predicado son constantes individuales que de acuerdo a dicha asignación de variable la fórmula resultante puede ser o bien verdadera o bien falsa.