LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
TÕESTAMINE
FORMAALSELT: tõestus (proof) on tõesest väitest (või tõestest väidetest) kehtiva arutluse
abil tõese järelduse saamine.
INFORMAALSELT: kommunikatsioonis esinevat protseduuri (dialoogi) nimetatakse mingi
väite tõestuseks (argument, demonstration)5, kui protseduuri (dialoogi) eesmärk on tekitada
dialoogipartneril veendumus, et tõestatav väide on tõene, ning see tõestus põhineb mingil
kontekstil, järjekindlal arutlusskeemil ning eeldustel, mille tõesust antud protseduuri
(dialoogi) raames kahtluse alla ei seata. Kahtluste tekkimisel võib tekkida vajadus täpsustada
konteksti ja eraldi tõestada nii eeldusi kui ka loogilist skeemi.
Lühemalt: tõestus on protseduur, mille jälgimine tekitab kuulajas veendumuse, et tõestatav
väide või tõestatavad väited on tõesed või tõenäoliselt tõesed.
Allpool käsitletakse peamiselt ratsionaalsusele pretendeerivat argumenteerimist, mille puhul
annaabi.ee 
