A parser of relational predicate logic & truth tree solver, written in Rust.

Be your own journalist!

🧮 validation methods of propositional logic

Complete proof that odd perfect numbers do not exist. Structured by σ-function constraints, logical contradiction, and density elimination. 奇数完全数が存在しないことをσ関数の制約・背理法・密度除去により証明。構成不能性を三重に包囲。

Applying NLP models and traditional machine learning models for Automatic Ticket assignment