Důkazové techniky ve výrokové logice
Loading...
Downloads
2
Date issued
Authors
Hošťálek, Marek
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
Abstract
The system, which will be the outcome of this work, will serve as proof of valid proofs of propositional logic. Proof methods used in this work are table method, semantic contradiction, resolution method, natural deduction and Hilbert principle. The work contains language of propositional logic, theory proofs methods, a details of the used technology and user manual.
Description
Import 21/10/2013
Subject(s)
Propositional logic, table method, semantic contradiction, resolution method, nature deduction, Hilbertův principle, JavaFX, design pattern Composite, design pattern Builder.