Samprotavimas

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.