dolaysız çıkarım kuralları
dolaysız çıkarım kuralları İng. immediate inference rules
Tek öncüllü tasımsal çıkarımlardan hangilerinin gevşek hangilerinin sıkı geçerli olduğunu dile getiren kurallar.
dolaysız çıkarım kuralları için benzer kelimeler
dolaysız çıkarım kuralları, 26 karakter ile yazılır. Ayrıca,
d harfi ile başlar, ı harfi ile biter. Tüm karakter dağılımı ise,
'd', 'o', 'l', 'a', 'y', 's', 'ı', 'z', ' ', 'ç', 'ı', 'k', 'a', 'r', 'ı', 'm', ' ', 'k', 'u', 'r', 'a', 'l', 'l', 'a', 'r', 'ı', şeklindedir.
dolaysız çıkarım kuralları kelimesinin tersten yazılışı ırallaruk mırakıç zısyalod diziliminde gösterilir.