Identidad

Hay varias maneras diferentes de introducir la nocin de identidad en la lgica de

predicados:
La manera ms comn de introducir a la identidad es incluyendo al smbolo entre los
primitivos, y agregando axiomas que definan el comportamiento del mismo. Estos son:



Otra manera es incluir al smbolo de identidad como una de las relaciones
de la teora y agregar los axiomas de identidad a la teora. En la prctica
esta convencin es casi indistinguible de la anterior, salvo en el caso
inusual de las teoras sin nocin de identidad. Los axiomas son los
mismos. La nica diferencia es que unos se llaman axiomas lgicos y los
otros axiomas de la teora.
En las teoras sin funciones y con un nmero finito de relaciones, es
posible definir la identidad en trminos de las relaciones. Esto se hace
definiendo que dos trminos a y b son iguales si y slo si ninguna relacin
presenta cambios reemplazando a por b en cualquier argumento. Por
ejemplo, en teora de conjuntos con una relacin de pertenencia (),
definiramos a = b como una abreviacin para x [(a x) (b x)]
[(x a) (x b)]. Esta definicin de identidad automticamente satisface
los axiomas de identidad.
En algunas teoras es posible dar definiciones ad hoc para la identidad.
Por ejemplo, en una teora de rdenes parciales con una relacin de
menor o igual () podramos definir a = b como una abreviacin para (a
b) (b a).



Reglas de inferencia
La lgica de predicados tiene dos reglas de inferencia. La primera es el modus ponens,
heredada de la lgica proposicional.
En necesario recordar que el modus ponens (que significa en latn, modo que afirmando
afirma), es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:
Si est soleado, entonces es de da.
Est soleado.
Por lo tanto, es de da.
Otra manera ms formal de presentar el modus ponens es:


La segunda es la regla de Generalizacin universal, que es caracterstica de la lgica de
primer orden. La misma dice que Si una funcin proposicional tiene todos sus
casos de sustitucin por constantes de su conjunto de referencia
verdaderos, se infiere la verdad del enunciado (" x)( Px).
Ntese que la regla de generalizacin universal es anloga a la regla de Necesitacin de
la lgica modal.