açık önerme

açık önerme

a. mat. İçerisinde değişken bulunan ve bu değişkenin alacağı değerle doğruluğu veya yanlışlığı kesinleşen önerme.

açık önerme İng. open sentence, open condition

bk. önermeli işlev.

açık önerme İng. open sentence

Değişkenler içeren ve bu değişkenlere belirli değerler verildiğinde önerme olan ifade.

açık önerme İng. open sentence, propositional function

Bir önermede geçen bir ya da birden çok sayıda adın yerine bağsız olacak biçimde birer değişken koymakla elde edilen deyim: ||n-li açık önerme (…) biçiminde gösterilir. Anl. açık tamdeyim. Krş.. tek düzenli birli açık önerme, özelleme, gerçekleme. Örn. '2+2=4' önermesinde '2' sayı adı yerine 'x' değişkeni koymakla ‘x+x=4' birli açık önermesi elde edilir.

---

açık önerme ile benzer kelimeler

birli çekirdek açık önerme İng. monadic nuclear open sentence Birli yüklem olan F gibi bir değişmez ile x gibi bir değişkenden oluşan Fx biçimindeki birli açık önerme.

çekirdek açık önerme İng. nuclear open sentence ( ) . || Krş.. birli .

tekdüzenli birli açık önerme İng. uniform monadic open sentence Birli çekirdek açık önerme ya da yalınç bileşenleri birli çekirdek açık önermeler olan birli açık önerme.

açık açık zf. 1. Saklamaksızın: Açık açık anlattı. 2. Bütün ayrıntılarıyla. 3. İçtenlikle.

ağzı açık (veya bir karış açık) kalmak çok şaşırmak, şaşakalmak: “Başımı kaldırıp yukarı bakınca şaşkınlıktan ağzım açık kalıyor.” -A. Ümit.

asal ikilli önerme kalıpları İng. principal dual of a sentence schema Bir önerme kalıbının asal ikilli'si, bu önerme kalıbında geçen tüm (doğrusal ya da doğrusal olmayan) eklemler ile tanıdeyimsel değişken bağlama imlerini ikilleriyle değiştokuş etmekle elde edilen önerme kalıbı dernek...

basit önerme bk. yalınç önerme.

belirlenir önerme İng. decidable sentence Kendisi ya da değillemesi kanıtlanabilen önerme.

---