Cieľom mojej bakalárskej práce je vytvoriť nástroj pre overovanie platnosti úsudkov pomocou rezolučnej metódy vo výrokovej logike a v predikátovej logike prvého rádu. Tento nástroj má formu webovej aplikácie, ktoré reaguje na vstup od užívateľa a pri jeho správnom zadaní vráti správny výsledok spolu s postupom. K správnemu vstupu bude užívateľa navigovať zobrazená nápoveda a zoznam pravidiel. Prvá časť práce prinesie oboznámenie s teóriou výrokovej logiky a predikátovej logiky prvého rádu a objasníme si teóriu dokazovania pomocou rezolučnej metódy v týchto logikách. V druhej časti sa budeme venovať analýze, návrhu a implementácii tohto interaktívneho nástroja pre dokazovanie.The goal of this thesis is to create a tool for verifying the val...