Klasická výroková logika

Jakub HRBEK

Bachelor's thesis

Classical Propositional Logic

Abstract:

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.

Keywords

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

Language used: Czech

Date on which the thesis was submitted / produced: 29. 4. 2022

Accessible from:: 31. 12. 2999

Thesis defence

• Supervisor: RNDr. Martin Kuřil, Ph.D.

JAN EVANGELISTA PURKYNĚ UNIVERSITY IN ÚSTÍ NAD LABEM

Faculty of Science

Bachelor programme / field:
Chemistry / CHE MA