「論理学」の記事一覧
ならば（含意）の推移律（三段論法）の真理値表による証明
複数の命題の同値「A⇔B⇔C」はサイクル「A⇒B⇒C⇒A」と同値であることの証明
大学数学基礎：論理、証明、集合の記事まとめ
数学における仮定、結論とは：1次方程式を例に
論理学入門の話題探しに「認知バイアス辞典」レビュー
偶数+奇数はいつでも奇数？ 読み解き方、よくある間違いと証明
「3時間で頭が論理的になる本」レビュー
公理的集合論をわかりやすく解説：ZFC公理系を例に
形式言語、論理式、文とは：公理的集合論に向けて
述語論理、量化子とは：全称記号（∀）と存在記号（∃）、数学における例と否定
記号論理、命題論理入門：覚えるべき論理記号（否定、かつ、または、ならば、同値）とは
妥当な三段論法を導くための6つのルール・誤りについて解説
論理学におけるジレンマとは：具体例を交えて解説
選言三段論法、仮言三段論法とは：具体例を交えて解説
省略三段論法とは：具体例を交えて解説
三段論法の分類：叙法（A,E,I,O）と格、形式、妥当な15種とは
カテゴリー的三段論法とは：具体例と標準形、三段論法的推論
古典論理とは？：妥当な推論、カテゴリー的命題、クラスを解説
