Interaktivní nástroj pro dokazování za pomocí přirozené dedukce
Loading...
Files
Downloads
0
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská – Technická univerzita Ostrava
Location
Signature
Abstract
This thesis aims to develop an interactive tool for supporting proofs using natural deduction in propositional and predicate logic. It is designed for students of classical logic, helping them verify their skills in logical reasoning. The core part of the thesis is the design and implementation of a user-friendly interface that facilitates the input of logical formulas and the execution of deduction steps.
Description
Delayed publication
Available after
Subject(s)
Propositional logic, Predicate logic, Natural deduction, Interactive tool