önerme

önerme

a. 1. Önermek işi. 2. Kabul edilmesi için öne sürülen düşünce, teklif. 3. man. Bir savı öne süren veya bir durumu dile getiren cümle, belli bir yorumda belli bir doğruluk değeri kazanan düzgün deyim, kaziye.

önerme İng. proposition

(Klasik mantıkta).-5- Yargının sözlerle dile gelişi; doğru ya da yanlış olabilen bir anlatım. // Modern mantıkçılar doğru ya da yanlış olabilen anlatım yanında belirsiz kalan bir anlatım da bulunduğuna dikkati çekmişlerdir. Önerme mantıksal terim olarak temel anlamını modern mantıkta kazanmıştır. B. Russell önermeden "İlk planda bir şeyi ya doğru olarak ya da yanlış olarak dile getiren sözler kuruluşu."nu anlar; örneğin: 2x2=4 de 2x2=5 de birer önermedir; "Sokrates bir insandır." "Sokrates bir insan değildir." de birer önermedirler; önemli olan önermeden önerme görevini ayırmaktır. Önerme görevi bir anlatımda bu anlatımı kuran bir ya da daha çok belirsiz parçayı, bu parçalara değer yüklendiğinde bir önerme kılacak olan anlatımdır. Ör. "X bir insandır." X belirsiz kaldığı sürece bu önerme ne doğrudur ne yanlış; X e bir değer verilirse bundan doğru ya da yanlış bir önerme çıkar.

önerme İng. proposition

Bir yargı içeren, doğru ya da yanlış olabilen sav.

önerme Osm. kaziye

1. bk. sav. 2. Kaıntlanımı ile bir sav ya da çözümü ile birlikte bir sorun. 3. Ya doğru ya da yanlış olan bir sav öne süren bildirim,

önerme, İng. 1. sentence, 2. statement, 3. proposition

1. Bir savı öne süren ya da bir durumu dile getiren (genellikle bildiri kipinde olan) bir tümce; belli bir yorumda belli bir doğruluk değeri kazanan düzgün deyim. || Bir önermenin kaplamı kendi doğruluk değeri, içlemi de öne sürdüğü sav ya da dile getirdiği durumdur. Dizimsel türü: p. Anl. bildirsel tümce, kapalı tamdeyim, kapalı önerme, sıfırlı yüklem, sıfırlı tamdeyim. Krş.. çekirdek önerme, yalınç önerme, bileşik önerme, tekil önerme, genel önerme, doğru önerme, yanlış önerme, geçerli önerme, tutarlı önerme. 2. Önesürüş. 3. Sav ya da durum.

önerme Osm. kaziye

(matematik)

önerme İng. proposition

Bir mantık dizgesine göre çeşitli doğruluk değerleri alabilen dilsel deyişler.

---

önerme ile benzer kelimeler

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. İng. open sentence, open condition bk. önermeli işlev. İng. open...

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.

belirlenmez önerme İng. undecidable sentence Kendisi de değillemesi de kanıtlanamayan önerme.

bileşik önerme a. man. En az iki önermeden oluşan yeni önerme. İng. compound proposition İki ya da daha çok sayıda önermenin bağlaçlarla birbirlerine bağlanmasıyla oluşan önerme. İng. compound ...

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.

büyük önerme a. fel. ve man. Tasımın öncüllerinden büyük olanı, majör. İng. major (premiss) (Klasik mantıkta) Tasımın öncüllerinden büyük olanı; büyük terimi içinde bulunduranı ve önce geleni. Koşullu tasımda: Koşulun öne sür...

---