Klasická výroková logika

Jakub HRBEK

Bakalářská práce

Classical Propositional Logic

Anotace:

Tuto práci je možné chápat jako učební text pro studenty úvodních kurzů vysokoškolského studia matematiky a pro nadané středoškoláky. Text je zpracován jako formální matematický text, což je patrné zejména u axiomatické výstavby teorie klasické výrokové logiky. Součástí jsou kapitoly o dokazatelnosti a odvoditelnosti, bezespornosti, úplnosti a kompaktnosti a závěrečná kapitola zpracovává rozšíření klasické výrokové logiky a vybrané alternativy.

Abstract:

This thesis could be understood as mathematical textbook for beginning university students of mathematics or talented high school students. The text is considered to be formal mathematical text, which is shown by system of axioms of classical propositional logic. The thesis includes chapters about provability and deducibility, consistency, completeness and compactness and the final chapter is all about non-classical logic such as intuitionistic or modal logic.

Klíčová slova

matematika, logika, matematická logika, výroková logika, klasická výroková logika, výrokový počet, výrokový kalkul, logické spojky, formule, tautologie, pravdivostní ohodnocení, dokazatelnost, odvoditelnost, formální důkaz, důkaz z předpokladů, formální odvození, věta o dedukci, bezespornost, věta o úplnosti, věta o kompaktnosti, intuicionistická logika, modální výrokový kalkul, vícehodnotový výrokový kalkul

Jazyk práce: čeština

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

Zveřejnit od: 31. 12. 2999

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

• Vedoucí: RNDr. Martin Kuřil, Ph.D.

UNIVERZITA JANA EVANGELISTY PURKYNĚ V ÚSTÍ NAD LABEM

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Chemie / Chemie-Matematika