Biricik

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

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

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

Örnekler

"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)

"A dan B ye giden bir bağıntı, her $a\in A$ için biricik bir $b\in B$ varsa, göndermedir." (göndermenin tanımı)

f:A\rightarrow B

\quad f(a)=b\Leftrightarrow \forall a\,\exists !b:\,(a,b)\in f\subset A\times B

Ayrıca bakınız

Matematiksel mantık
Mantıksal işlemciler
Matematiksel varlık
Önermeler mantığı

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.