[MD-sorular] Niceleyiciler

Mutlu Güloğlu guloglu at akdeniz.edu.tr
8 Eki 2012 Pzt 23:09:24 EEST


Sayın Özkoç,

Timur Karaçay Soyut Matematiğe Giriş sayfa 39 a bakarsanız, her ikisi de
Belit yani Axiom olarak geçmektedir.

Oradaki örneğe bakacak olursak,  A insanlar kümesi ve B de kitaplar kümesi
olmak üzere,
x\in A\quad ve\quad y\in B\quad ise\quad p(x,y)\equiv (x,\quad y\quad
yi\quad okudu)
şeklinde alırsak.

i.\forall \quad insan\quad \forall \quad kitabı\quad okudu.\quad \equiv
\quad \forall \quad kitap\quad \forall \quad insan\quad tarafından\quad
okunmuştur.

ii. En az bir insan en az bir kitabı okudu. \equiv En az bir kitap en az
bir insan tarafından okunmuştur.

şeklinde ifade edilebilir. Aynı Öklid geometrisinde bir doğruya dışından
alınan bir noktadan bir tek paralel çizilmesi nasıl Belit (Axiom) ise bu da
öyle.

Umarım işe yarar.

Mutlu Güloğlu

8 Ekim 2012 12:42 tarihinde Murad ÖZKOÇ <murad.ozkoc at gmail.com> yazdı:

> İyi günler
>
> E konu evreni ve p(x,y) iki değişkenli bir açık önerme olmak üzere
>
> "(Her x eleman E)(Her y eleman E) p(x,y) denktir (Her y eleman E)(Her x
> eleman E) p(x,y)"
>
> ifadesi bir teorem midir? Yoksa aksiyom mu?
>
> Benzer şekilde
>
> "(En az bir x eleman E vardır)(En az bir y eleman vardır) p(x,y) denktir
> (En az bir y eleman E vardır)(En az bir x eleman vardır) p(x,y)"
>
> ifadesi bir teorem midir? Yoksa aksiyom mu?
>
> İlginiz için şimdiden teşekkür ederim.
>
> Murad ÖZKOÇ
>
> _______________________________________________
> MD-sorular e-posta listesi
> sorular at matematikdunyasi.org
> http://lists.math.bilgi.edu.tr/cgi-bin/mailman/listinfo/md-sorular
>
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: <http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20121008/8e8a5bcd/attachment.htm>


MD-sorular mesaj listesiyle ilgili daha fazla bilgi