β‘ Hybrid Logic Prover DeepSeek AI Powered
Automated reasoning engine combining First-Order & Propositional Tableaux with DeepSeek neural logic formalization.
Abstract Propositional Proof Engine
Enter one premise per line, specify the goal, and choose your proof strategy.
Formula Evaluation
Evaluate propositional formulas under custom variable assignments.
Truth Table Generator
Exhaustive truth table analysis with tautology / contradiction classification.
First-Order Predicate Logic & Semantic Tableau
Supports universal (forall x.) and existential (exists y.) quantifiers, multi-variable relations, and refutation tableau proofs.
π€ AI Logic Translator β Natural Language to Predicate Logic
DeepSeek Flash / V4 (Default)
Converts complex natural language word problems directly into First-Order Predicate Logic formulas.
Predicate Logic Tableau Proof Engine
Direct input for First-Order Predicate Logic formulas. Syntax: forall x. (...), exists y. (...), &, |, ->, !, <->.