Kendine Göndergeli Önerme Nedir - Kendine Göndergeli Önerme Hakkında Bilgi konusu Sponsorlu Bağlantılar 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: burada φ, P değişkenli bir tamdeyimdir. Bu tanım, aslında iki adımdan oluşturulabilir: Taban önerme: Özelleme, X=P seçme: Ö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)"