Zpět na vyhledávání

Martin Blahovský

Bachelor's thesis

Výukový systém pro Aristotelovu logiku

System for Aristotelian Logic
Abstract:
Tato bakalářská práce popisuje důkazové metody predikátové logiky prvního řádu. Definuje abecedu a gramatiku predikátové logiky a převod z přirozeného jazyka do jazyka predikátové logiky. Interpretuje formule a jazyk a shrnuje dokazovací metody – syntaktické i sémantické. Především je kladen důraz na dokazování platnosti Aristotelových sylogismů pomocí Vennových diagramů. Hlavní součástí bakalářské …more
Abstract:
This bachelor thesis describes the methods of the first order predicate logic. It defines an alphabet and a grammar of the predicate logic and a transformation from natural language to the language of a predicate logic. It interprets formulas and language and summarizes methods that have been proved – syntax and semantics. The main emphasis is placed on proving Aristotelian syllogisms according to …more
 

Keywords

Aristotelova logika predikátová logika PL1 sylogismus rezoluční metoda sémantické tablo Vennovy diagramy relační struktury

Keywords

Aristotelian logic predicate logic PL1 syllogism resolution method semantic tablo Venn´s diagrams relational structure
 
Language used: Czech
Date on which the thesis was submitted / produced: 4. 5. 2012
Identifier: http://hdl.handle.net/10084/93112

Thesis defence

  • Date of defence: 29. 5. 2012
  • Supervisor: Marek Menšík
  • Reader: Marie Duží

Citation record

Cite this text

Full text of thesis

Accessibility: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita Ostrava