استدلال استنتاجی کلاس فارابی