Kendine Göndergeli Önerme Nedir - Kendine Göndergeli Önerme Hakkında Bilgi

'Konu Dışı Başlıklar' forumunda SeLeN tarafından 18 Mart 2011 tarihinde açılan konu

  1. SeLeN

    SeLeN Site Yetkilisi Editör

    Sponsorlu Bağlantılar
    Kendine Göndergeli Önerme Nedir - Kendine Göndergeli Önerme Hakkında Bilgi konusu Göndergeli Önerme - Matematiksel Mantık - Kendine Göndergeli Önerme Hakkında



    Bilgisayar programcılığında ve matematiksel mantıkta kendine göndergeli önerme ya da özgöndergeli önerme, bir önermenin veya fonksiyonun kendisi hakkında yargı veya çözüm içermesidir.
    Tanım

    Matematiksel mantıkta, eğer bir P tamdeyimi, değişken olarak yine P'yi içeriyorsa, bu tamdeyimlere özgöndergeli önermeler denir:
    [​IMG] burada φ, P değişkenli bir tamdeyimdir.
    Bu tanım, aslında iki adımdan oluşturulabilir:

    1. Taban önerme: [​IMG]
    2. Özelleme, X=P seçme: [​IMG]
    Örnekler


    • Epimenides Çatışkısı "Bu cümle yanlıştır"
    • Fibonacci Serisi f(1)=1 f(2)=1 olmak üzere "f(x)=f(x-1)+f(x-2)"
     

Bu Sayfayı Paylaş