s programom lahko tudi resujemo obstojece logicne naloge bodisi smo jih sestavili sami ali pa nasli v kaksni reviji ali na internetu resitev dobimo v obliki dokaza kjer se sklicujemo na osnovna pravila pri tabelaricnih logicnih nalogah v glavnem obrazcu najdemo gumb resevanje ki omogoca da v obrazec resevanje zapisemo podatke posebnost je tudi gumb xy ki omogoca da so podatki identicni s koordinatami kar pride prav pri demonstriranju pravil sklepanja ker bomo tokrat resevali nalogo ki smo jo najprej sestavili je postopek enak sestavljanju in v osnovni obrazec vpisemo podatke iz naloge nato preidemo na obrazec resevanje najprej pritisnemo na gumb zacni pritisk na gumb prenos nam omogoca prenos podatkov iz obrazca sestavljanje ker resujemo logicno nalogo ki smo jo ravnokar sestavili ce bom resevali drugace bomo morali vse podatke vnesti v drugo tabelo glavnega obrazca pred tem bomo pritisnili gumb resevanje in direktno presli na obrazec resevanje pomen tipk v tem obrazcu je naslednji ctrl levi miskin gumb vnos podatka ne ctrl desni miskin gumb vnos predpostavke ne alt levi miskin gumb vnos podatka da alt desni miskin gumb vnos predpostavke da shift levi miskin gumb ce smo kliknili na prazno mesto se bo vpisal ne ce ga je mozno na tem mestu izpeljati s komplementiranjem levi miskin gumb vpise da ce ga je mozno izpeljati iz vseh preostalih ne jev v vrstici oz stolpcu levi miskin gumb ce kliknemo na da ali da vpise ne je na vsa prazna mesta v vrstici in stolpcu tega da ja shift desni miskin gumb ce kliknem zaporedoma na dva da ja ki imata skupno koordinato se vpise da na mesto doloceno s preostalima koordinatama ce imamo en da in en ne pa se vpise ne gumb obnovi ce smo pri neki predpostavki izpeljali protislovje bo program to predpostavko zamenjal z njeno negacijo pritisk na gumb pa bo izbrisal vse kar je izpeljano z upostevanjem te predpostavke ki seveda ni vec v rabi to zanje nam omogoca sklepanje po pravilu reductio ad absurdum s pritiskom na gumb shrani se nam po uspesnem resevanju podatki o poteku resevanja zapisejo na datoteko katere ime smo podali v okencu ob opisanem gumbu nazaj na glavno stran last update u september th