| |
|
17 Mayıs 2012, 12:49
| #1 | |
| Çevrimdışı  IF Ticaret Sayısı: (0) | 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: 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:
Örnekler
| |
| |  |
| Etiketler |
| önerme |
| Konuyu Toplam 1 Üye okuyor. (0 Kayıtlı üye ve 1 Misafir) | |
| |
Benzer Konular | ||||
| Konu | Konuyu Başlatan | Forum | Cevaplar | Son Mesaj |
| Önerme | Kalemzede | Felsefe | 0 | 11 Temmuz 2021 15:36 |
| Önerme Türleri | Elysian | Felsefe | 0 | 23 Mayıs 2014 23:21 |
| Önerme | InTheDarK | Felsefe | 0 | 15 Nisan 2012 14:54 |
Ağaç şeklinde
