Процес або результат логічного мислення, коли на основі відомих фактів, даних або припущень робляться висновки про щось невідоме; виведення нового знання з наявного.
У логіці — форма міркування, при якій думка розвивається від загальних положень до часткових висновків; дедукція.