Bir hipotezin, bilginin veya iddianın doğru olup olmadığını tesbit etmek için bilinen ve kabul gören bütün mantıksal yahut deneysel ispatlama yöntemlerinin kullanılması. Bir argümanda sonucu haklı çıkarmak için kanıt olarak ortaya konan öncüllere uygulanan mantıksal işlem.