論理学 【集合論や数学記号】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...
文献案内 記号論理入門【述語論理】後編
記号論理入門【述語論理】前編の続編として『後編』を出版しました。本記事は、その紹介になります。記号論理の入門シリーズを執筆しています（管理人が）。１．記号論理入門【命題論理】前編２．記号論理入門【命題論理】後編３．記号論理入門【述語論理】前...
インターネット上の問題 テストの採点について（一般論）
暖かいご支援ありがとうございます。アマゾンの拙著レビュー岸菜雄大さんから大学生が勉強しない、講義に出ない、というのは今始まったことではなく、特に親元を離れたなら、当然起こり得ることだと考えられます。勉強しないのだから、当然テストで良い点は取...
論理学 空疎に真（vacuously true）の説明
ウィトゲンシュタインが真理表を考えた。かなりたくさんの人に質問される論理学の概念、空疎に真(vacuously true)について説明したいと思います。拙著では下記のページに載っています。記号論理入門【命題論理】前編 §9文系のための記号論...
哲学 論理学と哲学の違い
論理学という学問ほど一定した知見が確立していない分野はないかも知れません。本記事では、ここまで本サイトで書きこんで来たことも含め、論理学とはなにか、それはどう学べばよいのか、ということをまとめてみたいと思います。論理学と哲学は違うLudwi...