Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjaleLOE EDASI
1
Tõesuspuude abil on võimalik tõestada lausearvutuse asendusreegleid, seda tehaksegi mitmes õpikus. Lausearvutuse asendusreeglid on tautoloogiad, seega peavad nende eitused olema kontradiktsioonid. Kui meil õnnestub näidata, et mingi valemi eituse põhjal koostatud tõesuspuu on suletud, siis on asendusreegel loogiliselt kehtiv.
Tulemused kuvatakse siia. Otsimiseks kirjuta üles lahtrisse(vähemalt 3 tähte pikk). Leksikon põhineb AnnaAbi õppematerjalidel(Beta).
Andmebaas (kokku 683 873 mõistet) põhineb annaabi õppematerjalidel, seetõttu võib esineda vigu! Aita AnnaAbit ja teata vigastest terminitest - iga kord võid teenida kuni 10 punkti.