türetilebilme önermesi

türetilebilme önermesi İng. derivability sentence

p önermesinin K önerme kümesinden türetilebildiğini dile getiren dizimsel sözeden dil önermesi: K|-p.

türetilebilme önermesi ile benzer kelimeler

doğrudan türetilebilme kuralı

İng. direct derivability rule

İlkel çıkarım kuralı.

p önermesinin K önerme kümesinden 'si, K kümesinin öğesi olan öncüllerden p sonucunun çıktığının bir türetimle gösterilebilmesi demektir. || p nin K dan türetilebildiği K|-p biçiminde dile getirilir. Krş.. imi, önermesi.

türetilebilme imi

İng. sign of derivability

p önermesinin K gibi bir önerme kümesinden türetilebildiğini belirtmek amacıyla K ile p arasına konulan dizimsel sözeden dildeki 2-li yüklem imi: |-

türetilebilme katsayısı

İng. coefficient of reproducibility

Yığışımlı bir ölçekte yanılgıların (kalıba uymayan yandaş yanıtlar) toplam yanıt sayısına bölünmesiyle elde edilen ve ölçeğin tekboyutluluk düzeyini gösteren ölçüm.

Bayes önermesi

İng. Bayes theorem

Tümden gelimci bir mantıkla sonuçları belli olan bir olayın nedenlerinin olasılıklara dayanarak sıralanması.

Bernoulli önermesi

İng. Bernoulli Hypothesis

St. Peterburs çelişkisinin çözümüne yönelik Bernoulli tarafından geliştirilen, bireyin herhangi bir şans oyununda kazanabileceği paranın sağlayacağı fayda ile o oyun için ödeyeceği paranın yol açacağı fayda kaybını karşılaştırarak ...

Bertrand önermesi

İng. Bertrand's postulate

"n > 3 olduğunda, n ve 2n - 2 sayıları arasında bir asal sayı vardır," önermesi. Bu önermeyi 1852 yılında Tshebyshev ispatlamıştır.

bileşik mal önermesi

İng. composite commodity theorem

Göreli fiyatları değişmediği için bir mal kümesinin tek bir mal gibi ele alınabileceğini ileri süren ve J.R. Hicks tarafından geliştirilmiş önerme. krş. bileşik mal

"türetilebilme önermesi" karakter analizi

türetilebilme önermesi, 22 karakter ile yazılır.
t harfi ile başlar, i harfi ile biter.

Karakter dağılımı

't', 'ü', 'r', 'e', 't', 'i', 'l', 'e', 'b', 'i', 'l', 'm', 'e', ' ', 'ö', 'n', 'e', 'r', 'm', 'e', 's', 'i', şeklindedir.
türetilebilme önermesi kelimesinin tersten yazılışı ' isemrenö emlibeliterüt' diziliminde gösterilir.

(b,e,i,l,m,n,r,s,t,ö,ü) harflerinden ile oluşan bazı kelimeler

Brüksel yöntemi İng. brussel's expansion bk. evrensel onlu sınıflama yöntemi.