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:
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
burada φ, P değişkenli bir tamdeyimdir.
Bu tanım, aslında iki adımdan oluşturulabilir:
Taban önerme:
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
Özelleme, X=P seçme:
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
Örnekler