LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
kindlaks teha terve liitväitega teesi tõesust, peame kõigepealt veenduma
lihtväidete tõesuses. Selleks sooritame alltõestamise protsessi, mille käigus..
i. Pean tõestama kõik lihtväited.
ii. Piisab sellest, kui tõestan vähemalt ühe lihtväite.
iii. Pean tõestama modaalses mõttes ainultkõige veenvama lihtväite.
iv. Pean tõestama modaalses mõttes ainult kõige ebaveenvama lihtväite.
v. Pean tõestama, et lihtväiteid ei vaja ole vaja tõlgendada ja tõestada
eraldi, sest tähtis on liitväite tõesus.
2) Pidades silmas nõudeid lihtväitena esitatud teesile, siis..
i. Tees ei tohi olla vaidlustatav – kui esitada tees, siis peab olema kindel,
et seda ei ole võimalik ümber lükata.
ii. Teesi tohib tõestuse ajal muuta vaid hädaolukorras, kui midagi muud
annaabi.ee 
