TautoTeacher 2.0 is an educational desktop application for learning propositional logic. It accepts both formal logical formulas and plain Spanish sentences, translates them into symbolic logic, classifies them as tautologies, contradictions, or contingencies, and generates truth tables and step-by-step explanations to help students understand the reasoning behind each result.Documentation Index
Fetch the complete documentation index at: https://mintlify.com/AngelMoralesChazari/TautoTeacher-2.0/llms.txt
Use this file to discover all available pages before exploring further.
Introduction
Learn what TautoTeacher 2.0 is, its goals, and how it evolved from version 1.0.
Quickstart
Compile and run TautoTeacher 2.0 in minutes with working examples.
Architecture
Explore the modular design separating logic, NLP, UI, and LogicScript layers.
Core Logic Engine
Understand how formulas are parsed, evaluated, and classified.
NLP Pipeline
See how Spanish natural language is tokenized and mapped to logic formulas.
LogicScript DSL
Learn how to extend lemmas, morphological rules, and semantic patterns in
.lgs files.What TautoTeacher 2.0 Does
TautoTeacher 2.0 bridges the gap between everyday language and formal logic. A student can type a sentence like “si llueve entonces llevo paraguas” and instantly see it translated to the formula(llover → llevar), classified as a contingency, and displayed in a full truth table — no prior knowledge of logical symbols required.
Enter a formula or sentence
Type a propositional formula using logic symbols (∧, ∨, ¬, →, ↔) or switch to natural-language mode and type a sentence in Spanish.
Translate and evaluate
The LogicScript engine normalizes the text, applies lexical and semantic rules from
core.lgs, and produces a formal propositional formula. The logic engine then evaluates every possible truth assignment.Inspect results
The application displays the classification (TAUTOLOGÍA, CONTRADICCIÓN, or CONTINGENCIA), a complete truth table, and an educational explanation of the reasoning process.
Key Features
Tautology Detection
Evaluates all 2ⁿ truth assignments and classifies formulas as tautology, contradiction, or contingency.
Truth Tables
Generates structured truth tables for formulas with up to four propositional variables.
Evaluation Trees
Builds step-by-step evaluation trees to visualize how sub-expressions contribute to the result.
Spanish NLP (no ML)
Translates Spanish sentences to logic formulas using rule-based tokenization and pattern matching — no machine learning required.
LogicScript CLI
Run natural-language translation and evaluation from the command line for scripting and testing.
Declarative DSL
The
.lgs format lets you declare lemmas, morphological rules, and semantic patterns in plain text.