açık önerme
-
bilinmeyenin yerine yazılacak değere göre doğruluk değeri değişen önermelerdir.
2x...=6
bir hafta ... gündür. -
-
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...
belki ilginizi çeker;
(bkz: açık terim)
(bkz: açık deyim)
(bkz: açık tamdeyim) -
icinde en az bir degisken olan ve dogrulugu da bu degisken veya degiskenlere bagli olarak degisen onerme.
onerme fonksiyonu olarak da bilinir.
ornegin, denklemler ve esitsizlikler tanimli olduklari kumelerin bazi elemanlari icin sagladigindan acik onermedir.
ayrica
(bkz: dogruluk kumesi)
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap