inference

(логічне) доведення

завершення

висновок