Identidad

Solo disponible en BuenasTareas
  • Páginas : 2 (363 palabras )
  • Descarga(s) : 0
  • Publicado : 25 de mayo de 2011
Leer documento completo
Vista previa del texto
Principio de identidadDe Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
Para la identidad entre expresiones algebraicas, véase Identidad (álgebra).
El principio de identidad es unprincipio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma. Por ejemplo, Julio César es idéntico a sí mismo (a Julio César), el Sol es idéntico a sí mismo, estamanzana es idéntica a sí misma, etc. El principio de identidad es, junto con el principio de no contradicción y el principio del tercero excluido, una de las leyes clásicas del pensamiento.[1]

Enlógica de primer orden con identidad, el principio de identidad se expresa:

Es decir: para toda entidad x, x es idéntica a sí misma.

No debe confundirse al principio de identidad con la siguientetautología de la lógica proposicional:

Esta fórmula expresa que toda proposición es verdadera si y sólo si ella misma es verdadera. Por lo tanto, expresa una verdad acerca de proposiciones y susvalores de verdad, mientras que el principio de identidad expresa una verdad acerca todo tipo de entidades.
Principio de identidadDe Wikipedia, la enciclopedia libre
Saltar a navegación, búsquedaPara la identidad entre expresiones algebraicas, véase Identidad (álgebra).
El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a símisma. Por ejemplo, Julio César es idéntico a sí mismo (a Julio César), el Sol es idéntico a sí mismo, esta manzana es idéntica a sí misma, etc. El principio de identidad es, junto con el principio deno contradicción y el principio del tercero excluido, una de las leyes clásicas del pensamiento.[1]

En lógica de primer orden con identidad, el principio de identidad se expresa:

Es decir: paratoda entidad x, x es idéntica a sí misma.

No debe confundirse al principio de identidad con la siguiente tautología de la lógica proposicional:

Esta fórmula expresa que toda proposición es...
tracking img