Biricik
Vikipedi, özgür ansiklopedi
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. 
simgesi ile gösterilir. Matematiksel gösterimle
olarak tanımlanır (burada 
, x öğesine bağlı bir özelliktir).
[değiştir] Örnekler
- "Bir doğrunun dışındaki bir noktadan, o doğruya paralel biricik bir doğru geçer" (Paralellik beliti)
- "A dan B ye giden bir bağıntı, her
için biricik bir 
varsa, göndermedir." (göndermenin tanımı)
[değiştir] Ayrıca Bakınız
- Matematiksel mantık
- Mantıksal işlemciler
- Matematiksel varlık
- Önermeler mantığı
