Identsus: erinevus redaktsioonide vahel

[[Predikaatloogika]]s peetakse identsuse puhul silmas sellist võrdusmärgiga (=) tähistatavat suhet, mida käsitletakse loogilise konstandina ning mille jaoks on kasutusel spetsiaalsed [[aksioom]]id, mis vastavad refleksiivsele identsussuhtele ja Leibnitzi printsiibile.

 

 

==Välislingid==