Identidad

I. Leyes de la lgica de la identidad

1) Reflexividad:
x (x x)
2) Simetra:
xy [(x y) (y x)]
3) Transitividad:
xyz [((x y) (y z)) (x z)]
4) Indiscernibilidad de los idnticos:
xy [(x y) (Px Py)]
O tambin: xy [(x y) P (Px Py)]
5) Identidad de los indiscernibles:
xy [P (Px Py) (x y)]

II. Reglas bsicas del clculo deductivo para identidad (Kalish-Montague)

Regla de introduccin de la identidad (IntrI):
Pt
--------------------x ((x t) Px)

Regla de eliminacin de la identidad (ElimI)

x ((x t) Px)
---------------------Pt

Reglas de inferencia leibnizianas

Las expresiones metalingsticas y estn por cualquier constante o por cualquier
trmino complejo de L, esto es, un trmino formado por smbolos de funcin y constantes.
RL1)

( )

Ley: xy [((x y) Px) Py]

P
----------P
RL2)

( )

Ley: xy [((x y) Py) Px]

P
----------P

RL3)

Ley: xy [(Px Py) (x y)]

P
-----------( )
RL4)

Ley: xy [(Px Py) (x y)]

P
-----------( )
RL5)

( )
----------(P P)

Ley: xy [(x y) (Px Py)]

Otras reglas derivadas

Distribuciones condicionadas (la variable x no debe estar libre en la frmula A)
DC1)

[(A xPx) x (A Px)]

DC2)

[(A xPx) x (A Px)]

DC3)

[(A xPx) x (A Px)]

DC4)

[(A xPx) x (A Px)]

DC5)

[(A xPx) x (A Px)]

DC6)

[(A xPx) x (A Px)]

DC7)

[(xPx A) x (Px A)]

DC8)

[(xPx A) x (Px A)]