Loogika
kehtiv(nt lauseloogika, predikaatloogika vms kehtivad järeldamised)
TINGIMUSLIK TÕESTUS ehk IMPLIKATSIOONI SISSETOOMINE
Vajadus tingimusliku tõestuse järele ilmneb siis, kui on vaja tõestada tingimuslik
lause p—)q ja seda on raske(või võimatu)teha põhiliste reeglite abil.
Tingimusliku(konditsionaalse) tõestuse puhul sisaldab tuletuse jada lõike, mis
sõltuvad lisaks üldistele eeldustele ka hüpoteesist p kui täiendavast eeldusest.
Sellist lõiku nimetatakse ALAMTULETUSTEKS ning seda tähistatakse
PÜSTJOONEGA VASAKUL POOL.
ALAMTULETUSE sees VÕIB OLLA veel ALAMTULETUSI.
TÕESUSPUU abil kontrollitakse, kas saab olla nii, et arutluse eeldused on tõesed,
aga järeldus on väär.
Kui kõik puus esinevad valemis on lammutatud literaalideni, siis nimetatakse
seda puud LÕPETATUKS.
SÜLLOGISMID LIITVÄIDETEGA
Kui p, siis q nimetatakse TINGIMUSLIKUKS LAUSEKS
Lause p on alus ehk ANTETSEDENT
Lause q on tagajärg ehk KONSEKVENT
HÜPOTEETILISED SÜLLOGISMID
annaabi.ee 
