【PDF】「命題論理の健全性と完全性」をリリース

新しいPDF書きました

命題論理の健全性と完全性を5ページでコンパクトに, しかも厳密に示したPDFを公開しました.

以前書いた「命題論理シリーズ」をきちんとした数学文書にまとめたものです.

これからもこのようにPDFとブログ記事をうまく使い分けた解説をしていけたらいいなと思います.

PDF：
命題論理の健全性と完全性
命題論理の健全性と完全性