Discusión:Lógica bivalente

Error en el link de 'Lukasiewicz' — El comentario anterior sin firmar es obra de 83.34.127.157 (disc. • contribs • bloq). HUB (discusión) 00:10 28 abr 2008 (UTC)

Hecho. Gracias por avisar. HUB (discusión) 00:10 28 abr 2008 (UTC)

Error en principio de identidad

Me dí cuenta que había algo raro con la definición de principio de identidad. Entré en el artículo de principio de identidad y se confirmaron mis sospechas. Como tendría que editar cosas de las que no tengo un dominio completo he decidido dejarlo aquí. Copio del artículo:

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

$\forall x(x=x)$

Es decir: para toda 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:

$(A\leftrightarrow A)$

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 sus valores de verdad, mientras que el principio de identidad expresa una verdad acerca todo tipo de entidades.

Sé que wikipedia no puede ser usada como fuente, pero en este caso es evidente el error.

Sugiero que se corrija el error como corresponda y se unifique el estilo de poner las proposiciones: en vez de A<->A sea :$\forall x(x=x)$ y lo que corresponda en las demás proposiciones que hasta donde alcanza mi limitado conocimiento parecen estar bien.

Saludos--Jakeukalane (discusión) 23:19 16 sep 2010 (UTC)