述語論理や定理証明を使って結論を導くモデル領域。 直下の一覧 ファイル history.md - 論理と定理証明の歴史的背景 overview.md - 論理・定理証明の概要（本領域と周辺との違い） 関連 ルールベースモデル ルールベースモデル史 ロジックプログラミング