Nástroj pro dokazování platnosti úsudku ve výrokové logice

Abstract

Cílem této práce je navrhnout a implementovat nástroj pro podporu dokazování platnosti úsudků a tautologičnosti formulí ve výrokové logice, za použití tabulkové metody, metody sémantického sporu a rezoluční metody. Nástroj je implementován za použití HTML a JavaSriptu, a zároveň poskytuje uživatelsky přívětivé prostředí pro zadávání a testování různých logických formulí.

Celkově nástroj poskytuje zdroj pro studenty, kteří potřebují ověřit platnost logických úsudků. Díky implementaci systému v HTML a JavaScriptu je také snadno dostupný a přenosný na různých platformách.

The objective of this study is to design and implement a system/tool to help users prove the validity of statements and formulas being tautology using truth tables, dispute, and resolution methods. The tool is implemented using HTML and JavaScript, and it provides a user-friendly interface for inputting and testing various logical expressions.

Overall, the tool provides a resource for students, who need to verify the validity of logical arguments. The system's implementation in HTML and JavaScript also makes it easily accessible and portable across different platforms.