Question

$\forall !$ ne anlama gelir

Answer 1

Bir $E$ evrenine ilişkin bir $P(x)$ açık önermesi, $x$ yerine  $E$ ’ den bir eleman geldiği  zaman bir önerme olur. $P(x)$ gibi bir açık önermeden bir önerme elde edebilmenin bir yolu da, bunun önüne bazı niceleyiciler getirmektir. $E$ konu evreni, $\mid E \mid$ evrenin kardinalitesi (eleman çokluğu), $P(x)$ evrenle ilgili bir açık önerme, $E$ ' nin $P(x)$ ’ i doğru kılan ve yanlış kılan elemanlarının kümeleri,

$$A=\{x\mid P(x)\} \text{ ve } B=\left\{x\mid \overline{P(x)}\right\}$$

olmak üzere  kardinaller kümesinde

$$\alpha =\{(\mid A\mid , \mid B\mid) \mid \,\  \mid A\mid +\mid B\mid = \mid E\mid \}$$

ikili bağıntısının boş olmayan her $\beta$ alt bağıntısına $E$ evrenine dair bir niceleyici denir.

$\forall !$ sembolü ile gösterilen niceleyiciye çokluk niceleyicisi denir. $E$ konu evreni olmak üzere

$$\forall !:=\{(\mid A\mid ,\mid B\mid ) \mid \,\  \mid A\mid + \mid B\mid =\mid E\mid , \mid B\mid <\mid A\mid )\}$$

şeklinde tanımlanır.

Comments

Hocam ben soyut II dersinizi alıyorum siz sormuştunuz derste ama hiçbir yerde bulamamıştım buradan öğrenirim derken siz cevapladınız :)

---

teşekkürler hocam :)

---

Bu notasyonun gectigi ve tanimlanma amacinin oldugu bir referans oneriniz var mi? 

---

Var. İzin dönüşü hemen cevap yazacağım.

---

Tamamdır, teşekkür ettim, iyi izinler.

---

Söz konusu notasyonun geçtiği kaynağı henüz bulamadım. Bulduğum an size tekrar buradan cevap yazacağım. İyi çalışmalar