お知らせ 保護中: 「論理学」の進め方（2026年4月6日）
このコンテンツはパスワードで保護されています。閲覧するには以下にパスワードを入力してください。 パスワード:
論理学
お知らせ 
論理学 【集合論や数学記号】Word（MS明朝体）での記号の出し方
Wordを使って文章を作っている時，わざわざCambriaMathを使うなどして記号を入力するのが面倒なひと（例えばメールのやり取り）のために，集合論の記号を枚挙しておきます。記号論理は☟こちらを参照してください。共通部分・積集合・交わり ...
Unicode（ユニコード） Unicode【数学】
発音記号についてのUnicode覚書を非常に重宝しています（管理人が）。なので今度は論理・数学の記号を枚挙してゆきます。補集合の上付きバー = 0305上付きCや，/で補集合を表さずに、上付きバーで補集合を表したい時のUNICODEは、03...
論理学 【命題論理の証明問題】⊢ p→(p→(p⋁q))
文型理系に限らず，記号論理の証明問題ができない人はびっくりする位います。本記事では，その考え方を伝えたいと思います。真理表があれば命題論理の証明問題（いわゆる構文論）を解く必要はない、と考えるのは間違いです。なぜ間違いなのかは、それなりに論...
論理学 多重量化について（数学的ルーツの大切さ）
多重量化について講義した際、質問して頂いた問題について取り上げたいと思います。多重量化で次の構文を取り上げました。∃x∀yR (x, y) 誰かがみんなを愛している（能動態）∀y∃xR (x, y) 誰もが誰かによって愛されている（受動...
Unicode（ユニコード） Unicode【論理・記号論理】
証明体系についてはこの記事をご参照ください。論理記号のパソコンにおける出し方を以前、記事化しました。本記事は、その続編となります。説明はUnicodeについての記事と同じ方法を採用します。随時更新してゆきます。ト記号 = 22A2ト記号，T...
文献案内 記号論理入門【述語論理】後編
記号論理入門【述語論理】前編の続編として『後編』を出版しました。本記事は、その紹介になります。記号論理の入門シリーズを執筆しています（管理人が）。１．記号論理入門【命題論理】前編２．記号論理入門【命題論理】後編３．記号論理入門【述語論理】前...
IT（Information Technology：情報技術） テストの採点について（一般論）
暖かいご支援ありがとうございます。アマゾンの拙著レビュー岸菜雄大さんから大学生が勉強しない、講義に出ない、というのは今始まったことではなく、特に親元を離れたなら、当然起こり得ることだと考えられます。勉強しないのだから、当然テストで良い点は取...
論理学 空疎に真（vacuously true）の説明
ウィトゲンシュタインが真理表を考えた。かなりたくさんの人に質問される論理学の概念、空疎に真(vacuously true)について説明したいと思います。拙著では下記のページに載っています。記号論理入門【命題論理】前編 §9文系のための記号論...