Sémantické tablo jako formální procedura důkazu v logice

Milan ROŽŇÁK

Bakalářská práce

Semantic tableau as a formal procedure of proof in logic

Anotace:

V této práci jsou zkoumány dvě odlišné koncepce realizace rozhodovacího algoritmu, a sice sémantického tabla. Analyzuji zde charakteristiky obou přístupů ke konstrukci algoritmu z hlediska přívětivosti pro uživatele a na základě patřičně zvolených kritérií se snažím o konstatování jejich možných výhod a nevýhod v rámci základní báze rozhodovacích procesů. Cílem této práce je poukázat na přednosti a úskalí obou koncepcí a určit ty rozhodovací procesy, pro něž může být z hlediska prováděné analýzy konkrétní realizace metody optimální.

Abstract:

In this thesis are researched two different conceptions of decision algorithm in this thesis, namely semantic tableau. I am analyzing the characteristics of both approaches to the construction of the algorithm in terms of user-friendliness there and I am trying to state their possible advantages and disadvantages within base of desision. The aim of this thesis is to highlight the advantages and drawbacks of both concepts and determine the decision processes for which a specific realization of algorithm may be optimal due to the analysis.

Klíčová slova

logika, sémantické tablo, normální formy, splnitelnost, tautologie, logický důsledek

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 22. 4. 2013

Zveřejnit od: 22. 4. 2013

Obhajoba závěrečné práce

• Vedoucí: RNDr. Martin Kotyrba, Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika