Nástroj pro dokazování platnosti úsudků pomocí Vennových diagramů

Abstract

The goal of this thesis is the creation of an interactive tool for proving argument validity in first-order predicate logic using Venn diagrams. The thesis first describes the language of propositional and predicate logic, the formalization of natural language in PL1, and the proof of arguments using Venn diagrams. Syntactic analysis of input strings is also discussed. The second part focuses on the design and implementation of a tool that allows users to enter logical arguments and display Venn diagrams to visually support the reasoning for their validity.