Identsus: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
46. rida:
* iga x, y ja z väärtuse korral: kui x = y ja y = z, siis x = z ([[transitiivsus]]).
[[Predikaatloogika]]s peetakse identsuse all silmas sellist võrdusmärgiga (=) tähistatavat suhet, mida käsitletakse [[loogiline konstant|loogilise konstandina]] ning mille jaoks on kasutusel spetsiaalsed [[aksioom]]id, mis vastavad refleksiivsele identsussuhtele ja Leibnizi printsiibile.
==Vaata ka==
| |||