lähtuvalt implikatsiooni tõeväärtuse reeglist; c) kolmanda tehte saime nii: eitasime eelmise tehte tõeväärtust; d) neljanda tehte saime nii: vaatasime tulba A ja eelmise tehte tõeväärtust ning arvutasime nende konjunktsiooni tõeväärtuse. 4) Neljas samm vaatame, milline on valemi peatehte alune tõeväärtus. Valemi peatehte tõeväärtus väljendab kogu valemi tõeväärtust (antud juhul on see alati väär, mistõttu võime öelda, et tegu on kontradiktsiooniga): 4 3 2 1 A B C A & ¬(B (A C) tt t v v t t t t v v v t t t v t v v t t t v v v v t t v t t v v t t v t v v t v v v v t v v t t v v v v v t v see tulp näitabki valemi tõeväärtust Lisad. Tabelid.
(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 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
(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 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)
annaabi.ee 
