çıkarım kuralı
-
Mantıkta, bir önerinin doğruluğunu saptamada kullanılan kural, öncüllerden hareketle, sentaksını inceleyerek vargı ya da vargılara ulaşma yolu.
İngilizce inference rule; rule of inference; transformation ruleFransızca règle d'inférence, fAlmanca Inferenzregel, f