LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
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. See võimaldab talle omistada tõeväärtuse või
tõesusastme (see ei välista väite muid tunnuseid kohane, eksitav, viisakas,
teravmeelne jne);
· teesi ei tohi tõestuse ajal muuta. See ei puuduta üksnes väite kui terviku tähendust, ka
väite terminite sisu või maht ei tohi muutuda;
· modaalsete väidete puhul saab lisaks teesi tõesusele või väärusele rääkida veel ka teesi
annaabi.ee 
