öncülsüz çıkarım kuralı

öncülsüz çıkarım kuralı İng. premiss-free inference rule

Sıfır sayıda öncülü olan ya da başka bir deyişle hiç bir öncülü kapsamayan çıkarım kuralı.

öncülsüz çıkarım kuralı ile benzer kelimeler

öncülsüz çıkarım

İng. premiss-free inference

Öncüllerinin sayısı sıfıra eşit olan, başka bir deyişle hiç bir öncülü olmayan (...) p biçiminde bir çıkarım. || p önermesinin geçerliliği, öncülsüz (...) p çıkarımının geçerli olmasıyla tanımlanabilir.

çıkarım kuralı

İng. inference rule

() || Krş.. ilkel , türetilmiş , geçerli çıkarım kuralları kümesi, örneği, ilk , türetilmiş , giriş kuralı, çıkış kuralı, ayırma kuralı, ikilem, tümel özelleme kuralı, tikel özelleme kuralı,niceleyici değillemesi, mantıksal . Örn. () ...

çıkarım kuralı örneği

İng. instance of an inference rule

Bir çıkarım kuralının ilişkin olduğu çıkarım kalıbının (kuralın öngördüğü koşulu yerine getiren) herhangi bir örneği. || Örn. ()

ilkel çıkarım kuralı

İng. primitive inference rule

Dizimbilim ilksavı olan çıkarım kuralı.

mantıksal çıkarım kuralı

İng. logical inference rule

Mantıksal önerme kalıplarına ilişkin çıkarım kuralı. || Örn. ()

türetilmiş çıkarım kuralı

İng. derived inference rule

Dizimbilimde kanıtlanabilen ilkel olmayan çıkarım kuralı.

ardıl çıkarım üstikileri ortalaması

İng. mean-square successive difference

Evren değişkesinin, () bağımsız gözlemler dizisinde ardı ardına gelen gözlemler arası çıkarıma dayalı kestirimi :() .

ayrık çıkarım

Osm. munfasıl istidlal

Öncüllerinden biri -> ayrık yargı olan çıkarım. // Özellikle ayrık tasımlar şu iki biçimdedir: Modus tolendo-ponens: Ya A doğrudur, ya B doğrudur; A doğru değildir; Öyleyse B doğrudur. Modus ponendo-tollens: Ya A doğrudur, ya B d...

"öncülsüz çıkarım kuralı" karakter analizi

öncülsüz çıkarım kuralı, 23 karakter ile yazılır.
ö harfi ile başlar, ı harfi ile biter.

Karakter dağılımı

'ö', 'n', 'c', 'ü', 'l', 's', 'ü', 'z', ' ', 'ç', 'ı', 'k', 'a', 'r', 'ı', 'm', ' ', 'k', 'u', 'r', 'a', 'l', 'ı', şeklindedir.
öncülsüz çıkarım kuralı kelimesinin tersten yazılışı ' ılaruk mırakıç züslücnö' diziliminde gösterilir.