Sözlükte önerme değişmezi kelimesinin manası:
- Biçimsel bir dilde tek bir imden oluşan önerme; başka bir deyişle dizimsel türü p olan özdeğişmez.
önerme değişmezi ile alakalı bazı sözcükler ve anlamları
- belirtik tanım ( ) biçimsel dizgesinin abecesinde bulunmayan t gibi bir değişmezin Dz0 dabelirtik tanım'ı, t ile Dz0 in değişmezlerinden başka hiç bir…
- önerme değişkeni Değer alanı, önerme kaplamlarından ya da başka bir deyişle doğruluk değerlerinden oluşan bireysel olmayan değişken. Değer alanı, önerme içlemlerinden ya…
- kendiyle çelişik önerme Kendinden bir çelişme türetilebilen önerme. || Anl. dizimsel tutarsız önerme. Bir çelişmeyi içeren önerme. || Anl. yorumsal tutarsız önerme.
- ilksavlı kuram (i) bir kuram, (ii) kuramdaki mantıkça kapalı önerme kümesinin bir altkümesi olarak seçilen özel ilksavlar kümesi, (iii) özel ilksavlar kümesinden…
- savunulur önerme kümesi Bilgisel sanısal mantıkta bir çözümleyici kümenin altkümesi olan, başka bir deyişle tutarlı olan önerme kümesi.
- en büyük tutarlı küme Hiç bir dizimsel tutarlı önerme kümesinin öz altkümesi olmayan dizimsel tutarlı önerme kümesi, || Temel mantıklı dizimsel tutarlı bir kuramın…
- bileşik önerme En az iki önermeden oluşan yeni önerme. Bir ya da birden çok önermeden eklem yardımıyla oluşturulan önerme, bir ya da…
- içerme kalıbı ( ) önerme kalıplarından oluşup yorumsal sözeden dilde bir açık önerme olan ( ) biçimindeki deyim.
- savunulmaz önerme kümesi Savunulur olmayan, başka bir deyişle hiç bir çözümleyici kümenin altkümesi olmayan önerme kümesi. || Krş.. savunulur önerme kümesi.
- im yorumlayıcı izerge Bir biçimsel dilin her ilkel değişmezine anlam olarak belli bir dildışı nesne bağlayan izerge.|| İm yorumlayıcı izerge içlemsiz yorumda herhangi…
- dizimsel tutarsız önerme Kendisinden çelişme türetilebilen önerme, kendisinden dilin tüm önermeleri türetilebilen önerme.
- temel önerme Değişik önermelerin özünü oluşturan önerme. Kendisinden başka önermelerin çıkarıldığı, kendisi daha fazla geri götürelemeyen önerme, bk. belit
- değillemeli ikil önerme kalıpları Bir önerme kalıbımın değillemeli ikilli'si, bu önerme kalıbının gerek tümünün gerek içinde geçen tüm çekirdek önerme kalıplarının değillemesi ile elde…
- tamkipsel önerme İçinde geçen her çekirdek önerme, bir kipsel yönetilenin altdeyimi olan önerme. || Örn. ( )
- tutarsız önerme Tutarlı olmayan önerme. || Anl. mantıkça yanlış önerme. Krş.. dizimseltutarsız önerme Örn. ( )