процес виведення висновку,що слідує з істиних вихідних припущень

визначення поняття

логічне міркування у процесі якого з аргументів(доводів) визначається істинність або хибність тези