IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası - Tekil Mesaj gösterimi - Modern Mantıkta Niceleyiciler Nedir? Ne Değildir? Nasıldır?

Kalemzede · 13 Kasım 2020, 21:19

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

Modern Mantıkta Niceleyiciler Nedir? Ne Değildir? Nasıldır?

Her önermenin öznesi “Berk, Akan, Can” gibi her zaman açıkça belirli olmaz. Bir önerme, belirsiz bir kişiyi ya da nesneyi özne olarak alabilir. Bu tür önermelerde belirsiz olan özneyi göstermek için x, y, z gibi semboller kullanılır. Bu sembollere “Değişken” adı verilir. İçinde x, y, z gibi değişkenler geçen önermelere “Açık Önerme” denir. Örneğin, “z öğretmendir.”, “y + 4 = 9” gibi önermeler birer açık önermedir.

Açık önermeyi önerme haline getirmek için, içinde bulunan x, y, z gibi değişkenlerin yerine belirli bir terim konur. Böylece önerme bir doğruluk değerine sahip olur. Örneğin; “x öğretmendir.” önermesinin bir doğruluk değeri yoktur. Ancak x yerine “Ali” terimini koyduğumuzda “Ali öğretmendir.” önermesi bir doğruluk değerine sahip olacaktır.

Bir açık önermeyi, önerme hâline getirmek için kullandığımız tüm terimler kümesine “Evren” denir ve E: { } biçiminde gösterilir. Verilen evrendeki değerleri değişkenin yerine koyma işlemine “Özelleme”, bu şekilde elde edilen önermelere de “Özelleme Önermesi” adı verilir. Evrenden seçtiğimiz değerlerin bir kısmı önermeyi doğru kılarken, bir kısmı yanlış kılabilir. Evrene ait bir değerin özelleme önermesini doğru kılmasına “Gerçekleme” adı verilir.

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]