inferencing

(логічний) висновок

процес (логічного) висновку

одержування (логічного) висновку

формування (логічного) висновку