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:
, P değişkenli bir tamdeyimdir.Bu tanım, aslında iki adımdan oluşturulabilir:
- Taban önerme:
- Özelleme, X=P seçme:
