Vyhodnocení formulí výrokové logiky

Lucie ŠURÁŇOVÁ

Bakalářská práce

Evaluation of formulas of propositional logic

Anotace:

Práce je zaměřena na různé metody vyhodnocování formulí klasické výrokové logiky. Kromě klasické tabulkové metody bude ukázáno, jak lze s formulemi pracovat analogicky jako s algebraickými výrazy. První kapitola pojednává o vybraných termínech výrokové logiky, jejichž znalost je pro vyhodnocování nezbytná. Druhá kapitola se zabývá různými metodami vyhodnocování formulí. Poslední kapitola je věnována aplikacím výrokové logiky a slovním úlohám, které lze prostřednictvím výrokové logiky snadno vyřešit.

Abstract:

Bachelor's thesis focuses on various methods of evaluation formulas of classical propositional logic. To evaluate formulas of classical propositional logic will be used the following methods: expression tree, truth table, numerical evaluation of formulas, rules of replacement. The first chapter describes the terms of propositional logic, whose knowledge is very important to evaluations. The next charter contains some examples of formulas that are evaluated using mentioned methods. The last charter deals with applications of propositional logic.

Klíčová slova

výrok, výrokové spojky, logické funkce, formule výrokové logiky, formační strom, tabulka pravdivostních hodnot, numerické vyhodnocování formule, věta o nahrazení, tautologie, kontradikce, splnitelná formule

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 5. 5. 2016

Zveřejnit od: 5. 5. 2016

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

• Obhajoba proběhla 1. 6. 2016
• Vedoucí: RNDr. Miloslav Závodný

UNIVERZITA PALACKÉHO V OLOMOUCI

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Aplikovaná matematika / Matematika-ekonomie se zaměřením na bankovnictví/pojišťovnictví