Kui on leitud üks lõpetatud avatud haru, siis on puu avatud. Puu suletuse tõestamiseks peab lõpetama kõik harud. 1 9. SÜLLOGISMID LIITVÄIDETEGA TINGIMUSLIKEST LAUSETEST KUI-SIIS-LAUSETE TÜÜPIDEST Mis tahes liitlauset kujul „Kui p, siis q” nimetatakse tingimuslikuks lauseks (conditional). Lause p on alus ehk antetsedent (antecedent, ld antecedens), lause q on tagajärg ehk konsekvent (consequent, ld consequens). Õnnetuseks esineb siin ebamäärasus eestikeelses teadusterminoloogias: tingimusliku lause sünonüümidena on kasutatud oskussõnu „konditsionaal”, „tingimuslause” ja „kui …, siis …”-tüüpi lause. Esimene neist sünonüümidest tähistab keeleteaduses tingivat kõneviisi, teine kõrvallauset, mis sõnastab tingimuse, kolmas sünonüüm pole kasutamiseks eriti mugav. Allpool kasutatakse tingimusliku lause sünonüümina väljendit „kui-siis-lause” või „konditsionaal”.
1 9. SÜLLOGISMID LIITVÄIDETEGA TINGIMUSLIKEST LAUSETEST KUI-SIIS-LAUSETE TÜÜPIDEST Mis tahes liitlauset kujul ,,Kui p, siis q" nimetatakse tingimuslikuks lauseks (conditional). Lause p on alus ehk antetsedent (antecedent, ld antecedens), lause q on tagajärg ehk konsekvent (consequent, ld consequens). Õnnetuseks esineb siin ebamäärasus eestikeelses teadusterminoloogias: tingimusliku lause sünonüümidena on kasutatud oskussõnu ,,konditsionaal", ,,tingimuslause" ja ,,kui ..., siis ..."-tüüpi lause. Esimene neist sünonüümidest tähistab keeleteaduses tingivat kõneviisi, teine kõrvallauset, mis sõnastab tingimuse, kolmas sünonüüm pole kasutamiseks eriti mugav. Allpool kasutatakse tingimusliku lause sünonüümina väljendit ,,kui-siis-lause" või ,,konditsionaal".
annaabi.ee 
