文献案内

本記事では拙著『反証図とカウンターモデル』をご紹介させていただきます。『記号論理精選問題集』の名の下、著者（管理人）は既に２冊の問題集を出版しています。本書は３冊め、そして『記号論理精選問題集』の最終巻となります。反証図とは？反証図とは上掲...

本記事では拙著『記号論理入門【命題論理】後編』をご紹介させていただきます。本書は『記号論理【命題論理】前編』と題された、記号論理の入門書の続編になります。内容紹介『前編』では記号論理の基本的な概念が取り上げられました。論理接続詞の紹介、推論...

本記事は拙著『記号論理入門【命題論理】前編』の紹介になります。記号論理は、主に哲学の専攻者と、数学の専攻者にかかわりのある分野です。次のような表現をみたことがあるでしょうか？p∧¬q⋁(r→¬p)こういった表現で、論理学を扱うのが記号論理に...

本記事では拙著『記号論理精選問題集【述語論理】編』についてご紹介させていただきます。記号論理の『問題集』というのは、あるようで実はありません。それもそのはず、記号論理を資格勉強などに集中して行う人はいないからです。つまり、記号論理自体がマイ...

本記事では『記号論理精選問題集【命題論理】編』をご紹介させていただきます。本書『記号論理精選問題集【命題論理】編』は、命題論理についての純粋な問題集です。丁度、受験世界史に一問一答の問題集があるように、記号論理についても問題集あっていいんじ...