قاعدة استنتاج

قاعدة استدلال در چارچوب نظامی صوری که با به‌کارگیری آن، نتیجه در طی گام‌های استدلال به‌ دست می‌آید