Matemātiskie spriedumi, izteikumi un pierādījumi

Definīcijas
Spriedumi, kas tiek izdarīti, balstoties uz iepriekš gūtu pieredzi, tiek saukti par empīriskiem spriedumiem.
Spriešanas paņēmienu, kad secinājumi tiek iegūti, balstoties uz vairāku eksperimentu vai vērojumu laikā gūtiem rezultātiem, sauc par induktīvo spriešanu. Šādā ceļā gūtus spriedumus sauc par induktīviem spriedumiem.
Spriešanas paņēmienu, kad katrs nākamais secinājums tiek balstīts uz iepriekš pamatoto spriedumu, sauc par deduktīvo spriešanu. Šādā ceļā gūtus spriedumus sauc par deduktīviem spriedumiem.

Jēdzieni
Empīrisks-uz pieredzi balstīts
Indukcija-uzvedināšana, ierosināšana-loģisks slēdziens, pārejot no atsevišķiem gadījumiem uz vispārīgu secinājumu, no atsevišķiem faktiem uz vispārinājumu.
Dedukcija- loģisks secinājums no vispārīgā uz atsevišķo, no vispārīgiem spriedumiem uz atsevišķiem spriedumiem vai citiem vispārīgiem faktiem.
…