Identeco de nediferencigeblaj aĵoj

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

Identeco de nediferencigeblaj aĵoj (latine principium identitas indiscernibilium) - en ontologio rulo, laŭ kiu objektoj, aroj, ktp. estas identeca (estas fakte sama objekto aŭ aro) tiam kaj nur tiam, kiam ĉiuj ecoj de ili estas komuna. Rulo estas uzata por pruvi multajn teoremojn pri identeco.

Verkado de rulo estas germana filozofo Gottfried Wilhelm Leibniz.

Difino[redakti | redakti fonton]

Por ĉiu x kaj y, se x kaj y havas samaj ecoj, tiam x estas identa kun y.

\forall x \forall y[\forall P(Px \leftrightarrow Py) \rightarrow x=y]

Por ĉiu x kaj y, se x ne estas identa kun y, tiam ekzistas almenaŭ unu eco per kiu povas distingi x kaj y.

\forall x \forall y [x \neq y \rightarrow \neg \forall  P(Px \leftrightarrow Py)]