Lõplik lausete hulk on vastuoluline parajasti siis, kui selle põhjal konstrueeritud tõesuspuu on suletud. sja öeldu kehtib ka siis, kui lausete hulk koosneb vaid ühest lausest. Lause on vastuolu (kontradiktsioon ehk loogiliselt väär) parajasti siis, kui selle põhjal konstrueeritud tõesuspuu on suletud. Lause ei ole vastuolu (on kas kontingentne või tautoloogia) parajasti siis, kui selle põhjal konstrueeritud tõesuspuus on vähemalt üks avatud lõpetatud haru.6 Kuna kontradiktsiooni eitus on tautoloogia ehk loogiliselt tõene lause, siis saab tõesuspuude meetodil tõestada mõnede lausete loogilist tõesust. Seda ei saa tõestada otseselt, 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
Lõplik lausete hulk on vastuoluline parajasti siis, kui selle põhjal konstrueeritud tõesuspuu on suletud. Äsja öeldu kehtib ka siis, kui lausete hulk koosneb vaid ühest lausest. Lause on vastuolu (kontradiktsioon ehk loogiliselt väär) parajasti siis, kui selle põhjal konstrueeritud tõesuspuu on suletud. Lause ei ole vastuolu (on kas kontingentne või tautoloogia) parajasti siis, kui selle põhjal konstrueeritud tõesuspuus on vähemalt üks avatud lõpetatud haru.6 Kuna kontradiktsiooni eitus on tautoloogia ehk loogiliselt tõene lause, siis saab tõesuspuude meetodil tõestada mõnede lausete loogilist tõesust. Seda ei saa tõestada otseselt, 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
annaabi.ee 
