LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Iga dialoogitüübi puhul ei pruugi olla vaja kõiki reeglite tüüpe.
Nii nagu eroteetilise loogika puhulgi, ei mahu ka informaalse loogika põhjalik käsitlus
loogika algkursuse raamidesse. Allpool käsitletakse tõestamist kui veenva dialoogi vormi, mis
on teistest dialoogi vormidest ehk kõige tihedamalt formaalse loogikaga seotud. Loogika
rakendamisele väitlustes kaasati juba traditsioonilise loogika aegadel informaalset loogikat,
eelkõige tõestamise õpetusena ning arutlusvigade analüüsina.
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
annaabi.ee 
