E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků

Abstract

Práce shrnuje důkazové metody predikátové logiky. Definuje abecedu a gramatiku predikátové logiky. Převod z přirozeného jazyka. Dále interpretaci formulí a příklady důkazových metod – syntaktických a sémantických. Důraz je kladen na Aristotelovu logiku, sylogismy a dokazování platnosti Aristotelových sylogismů pomocí Vennových diagramů. Součástí práce je aplikace, která umožňuje vyhodnocování Aristotelových sylogismů. Aplikace se ovládá přes web.

The project summarizes the methods of the predicative logic. The alphabet and grammar of the predicative logic are defined there. Transformation from natural language. The interpretation of formulas and some examples of methods that have been proved – both syntax and semantic. Aristotel’s logic is emphasized there. Syllogism and to prove Aristotle’s syllogisms due to Venn’s diagrams. The part of the project is the application which enables to analyze Aristotle’s syllogisms. The application can be controlled via web.