Výukový systém pro Aristotelovu logiku

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