Jakub HRBEK
Bachelor's thesis
Klasická výroková logika
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í …moreAbstract:
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 …moreKeywords
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.
Citation record
The right form of listing the thesis as a source quoted
HRBEK, Jakub. Klasická výroková logika. Ústí nad Labem, 2022. bakalářská práce (Bc.). UNIVERZITA JANA EVANGELISTY PURKYNĚ V ÚSTÍ NAD LABEM. Přírodovědecká fakulta
Full text of thesis
Accessibility: Autor si nepřeje zpřístupnění práce veřejnosti
Contents of on-line thesis archive
Published in Theses:- Soubory jsou nedostupné.
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA JANA EVANGELISTY PURKYNĚ V ÚSTÍ NAD LABEM, Přírodovědecká fakultaJAN EVANGELISTA PURKYNĚ UNIVERSITY IN ÚSTÍ NAD LABEM
Faculty of ScienceBachelor programme / field:
Chemistry / CHE MA
Theses on a related topic
-
Efektové algebry a kvantové logiky
Roman Štěpánek -
Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)
Radek LIPENSKÝ -
Kvantová logika
Petr DVOŘÁK -
Efektové algebry a kvantové logiky
Roman Štěpánek -
Modální logika
Pavla Míznerová