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

Abstract

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.