Výukový systém pro Aristotelovu logiku

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é práce je aplikace pro vyhodnocování Aristotelových sylogismů.

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 Venn´s diagrams. The main part of this bachelor thesis is the application for evaluation of Aristotelian syllogisms.