LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
tõestajale negatiivse tulemuse. Tõestuse käigus tehtavaid vigu võib jagada teesi vigadeks,
põhjendite vigadeks ning demonstratsiooni vigadeks.
7
TEES
Kui tees on liitväide, siis tuleb kindlaks teha väite liik (nt disjunktiivne, konjunktiivne) ning
seejärel tuleb tees lammutada allteesideks (üksikväideteks)7. Seejärel käivitatakse alltõestuste
protsess, kus kõik komponentväited tuleb eraldi nende modaalsuse järgi kas tõestada või
põhjendada. Kui alltõestuse protsessid on lõppenud, tuleb saadud tulemused liitväitesse kokku
ühendada. Liitse teesi tõsikindlus ei saa olla suurem kui selle kõige nõrgema tõsikindlusega
komponendil. Nõuded üksikväitena esitatud teesile (või allteesile) ehk teesi reeglid:
· tees peab olema selge ja midagi väitma
annaabi.ee 
