Unikhet

Unikhet  är ett logiskt omdöme om den nödvändiga identiteten hos objekt som uppfyller ett givet villkor. När unikhet är uppfylld kallas ett objekt som uppfyller ett givet villkor unikt. Som sådan innebär unikhet inte existens .

I matematik förstås det unika hos ett element som uppfyller villkoret  P som

,

där ∧  är ett logiskt "och" , →  är en implikation och =  är en likhet . Satser som hävdar unikhet kallas (o)unikitetssatser .

Ur mängdteorinsynpunkt är unikhet påståendet att en mängds kardinalitet inte överstiger 1 , därav namnet.

Ofta finns det en massa "existens och unikhet", betecknad i matematiken med digrafen ∃! ( existens och unikhet kvantifierare ). Ur mängdteorisynpunkt är existens och unikhet påståendet att en mängds kardinalitet är 1. Utanför matematik och formell logik kan med ”unikhet”, i ordningen språklig försumlighet, existens och unikhet menas.

Litteratur