sest kui puu pole suletud, siis võib lause olla ka kontingentne. Küll aga saab kasutada vastuväitelist tõestamist. Kui lause eituse puhul selgub, et tegemist on kontradiktsiooniga, siis peab uuritav lause ise olema tautoloogia ehk loogiliselt tõene. Kui aga lause eitus ei ole kontradiktsioon, siis võib see olla kas kontingentne või tautoloogia ning see ei kvalifitseeri lõplikult uuritavat lauset. Tõesuspuude tuletusreeglid määravad, kuidas tuleb tõesuspuus dekomponeerimist (lammutamist) ellu viia. Kui lammutatava lause tõesusest järeldub mõlema komponentlause tõesus, siis pannakse need ühte ja samasse harusse (nt konjunktsioon). Kui lammutatava lause tõesusest järeldub vaid ühe komponentlause tõesus, siis puu hargneb ja komponentlaused pannakse eri harudesse, kumbki haru kirjeldab üht võimalikku alternatiivi. Tõesuspuude tuletusreeglid antakse iga loogikatehte jaoks paarina, kus üks reegel vastab loogikatehtele
sest kui puu pole suletud, siis võib lause olla ka kontingentne. Küll aga saab kasutada vastuväitelist tõestamist. Kui lause eituse puhul selgub, et tegemist on kontradiktsiooniga, siis peab uuritav lause ise olema tautoloogia ehk loogiliselt tõene. Kui aga lause eitus ei ole kontradiktsioon, siis võib see olla kas kontingentne või tautoloogia ning see ei kvalifitseeri lõplikult uuritavat lauset. Tõesuspuude tuletusreeglid määravad, kuidas tuleb tõesuspuus dekomponeerimist (lammutamist) ellu viia. Kui lammutatava lause tõesusest järeldub mõlema komponentlause tõesus, siis pannakse need ühte ja samasse harusse (nt konjunktsioon). Kui lammutatava lause tõesusest järeldub vaid ühe komponentlause tõesus, siis puu hargneb ja komponentlaused pannakse eri harudesse, kumbki haru kirjeldab üht võimalikku alternatiivi. Tõesuspuude tuletusreeglid antakse iga loogikatehte jaoks paarina, kus üks reegel vastab loogikatehtele
annaabi.ee 
