Klasická výroková logika

Jakub HRBEK

Bachelor's thesis

Classical Propositional Logic

Anotácia:

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.

Kľúčové slová

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: Czech

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

Zverejniť od: 31. 12. 2999

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

• Vedúci: RNDr. Martin Kuřil, Ph.D.

JAN EVANGELISTA PURKYNĚ UNIVERSITY IN ÚSTÍ NAD LABEM

Faculty of Science

Bachelor programme / odbor:
Chemistry / CHE MA