Kendine göndergeli önerme

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:

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

Örnekler

Kaynaklar

This article is issued from Vikipedi - version of the 8/15/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.