Pythonで一階述語論理をたどる

論理式の構文木、代入と変数捕獲、論理公理と Σ-公理系、証明列、意味論をPythonで実装するシリーズです。形式的な証明と構造における真理を分け、一階述語論理の構成要素を段階的にたどります。

Stocked articles6 Articles

Published at 2026-07-30

1 likes

Author

@skrtk98 (桜武)

設計・AI活用・個人開発について書いているSIer出身のITエンジニアです。 リーダー、ITコンサル、フロントエンドからバックエンドまでの開発、詳細設計・実装・テスト・運用保守を経験。 Python / C# / Rust / TypeScript / Lean に関心があります。 数学科大学院修士卒。高次圏論・豊穣圏論を研究していました。