Kendine göndergeli önerme

(Kendine-göndergeli önerme sayfasından yönlendirildi)

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.

phylactère (Enderg versiyonunun yerini alın)

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:

  1. Taban önerme:  
  2. Özelleme, X=P seçme:  

Örnekler

değiştir

Kaynakça

değiştir