Una de les lleis del pensament tradicionals, la formulació l ontològica de la qual és:

«Tot ésser és idèntic a si mateix» (veure text 1 i text 2 ), mentre que en lògica es diu que

«Si un enunciat és vertader, llavors és vertader». O bé: (p ® p) o (p«p)

Aquesta obra està sota una llicència de Creative Commons.