Biricik

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

Biricik, matematiksel mantıkta bir öğenin (küme, sayı, vb.) tek türlü, eşsiz olması anlamına gelen mantıksal bir işlemcidir. "belirlenen özelliği sağlayan en az iki öğenin birbirine eşit olma" durumunun kısaltması olarak tanımlanır. \exists ! simgesi ile gösterilir. Matematiksel gösterimle

\exist ! x : \, \wp (x) \Leftrightarrow \exist x,y :\, \wp(x,y) \wedge (x=y)

olarak tanımlanır (burada \wp(x), x öğesine bağlı bir özelliktir).

Örnekler[değiştir | kaynağı değiştir]

  • "Bir doğrunun dışındaki bir noktadan, o doğruya paralel biricik bir doğru geçer" (Paralellik beliti)
\forall P \, \forall d \, \exists ! m  : \, ( P \not\in d ) \wedge ( d \parallel m )
f:A \rightarrow B
 \quad f(a)=b \Leftrightarrow \forall a \, \exist ! b : \, (a,b) \in f \sub A \times B

Ayrıca bakınız[değiştir | kaynağı değiştir]