Důkazové techniky ve výrokové logice

Abstract

Systém, který bude výstupem této práce, bude sloužit pro dokazování platných úsudků výrokové logiky. Důkazové metody použité v této práci jsou důkazy tabulkovou metodou, sémantickým sporem, rezoluční metodou, přirozenou dedukcí a systém Hilbertova typu. Práce obsahuje jazyk výrokové logiky, teorii důkazových metod, popis použitých technologií a uživatelskou příručku.

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.