Puu tüvesse tekis aluse jaatus (samm 2) ning tüve jätkuks sai ka tagajärje eitus (samm 3). Linnuke esimeses reas märgib, et valem on ära kasutatud. Seejärel lammutati teisel real paiknev konjunktsioon, komponendid paigutusid tüvesse (sammud 4 ja 5); teise rea juurde võis märkida linnukese. Kolmanda rea lammutamine toimus konjunktsiooni eituse reegli järgi, puu hargnes kaheks ning kolmanda rea võis märkida linnukesega. Sellega oli kogu valem lammutatud literaalideks. Liikudes üles piki vasakpoolset haru (mis lõpeb literaaliga ¬q), on näha, et tüves (5. real) seisab ka literaal q. See haru sisaldab vastuolu ning on suletud. Liikudes üles piki parempoolset haru (mis lõpeb literaaliga ¬p), on näha, et tüves (4. real) seisab ka literaal p. 7 Lausearvutuse reeglite tuletamist tõesuspuude abil ning tõesuspuude üldistamist predikaatloogikale vt nt Jeffrey, 1991, ja põhjalikumalt Bergmann et al., 2009. 18 Seegi haru sisaldab vastuolu ning on suletud
Puu tüvesse tekis aluse jaatus (samm 2) ning tüve jätkuks sai ka tagajärje eitus (samm 3). Linnuke esimeses reas märgib, et valem on ära kasutatud. Seejärel lammutati teisel real paiknev konjunktsioon, komponendid paigutusid tüvesse (sammud 4 ja 5); teise rea juurde võis märkida linnukese. Kolmanda rea lammutamine toimus konjunktsiooni eituse reegli järgi, puu hargnes kaheks ning kolmanda rea võis märkida linnukesega. Sellega oli kogu valem lammutatud literaalideks. Liikudes üles piki vasakpoolset haru (mis lõpeb literaaliga ¬q), on näha, et tüves (5. real) seisab ka literaal q. See haru sisaldab vastuolu ning on suletud. Liikudes üles piki parempoolset haru (mis lõpeb literaaliga ¬p), on näha, et tüves (4. real) seisab ka literaal p. 7 Lausearvutuse reeglite tuletamist tõesuspuude abil ning tõesuspuude üldistamist predikaatloogikale vt nt Jeffrey, 1991, ja põhjalikumalt Bergmann et al., 2009.
annaabi.ee 
