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

Thumbnail Image

Files

DOB0136_FEI_B0613A140014_2023.pdf (1.37 MB)
DOB0136_FEI_B0613A140014_2023_zadani.pdf (77.22 KB)
DOB0136_FEI_B0613A140014_2023_priloha.zip (25.76 KB)
DOB0136_FEI_B0613A140014_2023_posudek_vedouci_Mensik_Marek.pdf (145.99 KB)
DOB0136_FEI_B0613A140014_2023_posudek_oponent_Duzi_Marie.pdf (143.47 KB)

Downloads

1

Date issued

2023

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Vysoká škola báňská – Technická univerzita Ostrava

Location

Signature

Abstract

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.

Description

Subject(s)

bachelor thesis, propositional logic, tautology, truth table, proof by dispute, resolution method

Citation

Item identifier

http://hdl.handle.net/10084/150283

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)