ö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ı, 23 karakter ile yazılır. Ayrıca, ö harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise, 'ö', '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.