Samprotavimas –
mastymo forma, kuria iš pradiniu teiginiu (
prielaidu), remiantis kuria nors išvedimo taisykle, daroma
išvada. Prielaidos bei išvada turi teiginiu forma. Išvedimo taisykles surandamos, formalizavus samprotavima. Teisinga išvada gaunama, kai samprotavimo prielaidos yra teisingos, o išvedimo procesas – logiškai korektiškas. Kai samprotaujant atsižvelgiama ir i mastymo turini, dalis samprotavimo prielaidu ir išvedimo taisykliu neretai buna tik numanomos, aiškiai neformuluojamos.