数学論理学とは何か？その基礎を探る
0 コメント on 数学論理学とは何か？その基礎を探る.
数学論理学とは？その基礎を探る 概要： この授業では、数学論理学の基本概念を学びます。これには、言語...
命題論理の言語
0 コメント on 命題論理の言語.
命題論理の言語 概要 このノートでは、2つの記号からなる基本言語を用いて妥当な表現を得るためのメタ言...
形式的演繹体系：定義と例
0 コメント on 形式的演繹体系：定義と例.
命題論理における形式的演繹体系 要約：この授業では、形式的演繹体系について再検討します。これらの体系...
命題論理の不可欠な4つの推論技法
0 コメント on 命題論理の不可欠な4つの推論技法.
不可欠な4つの推論技法を学ぼう 要約：この授業では、これまでに紹介された初歩的な命題論理の計算を発展...
命題論理における5つの対称性
0 コメント on 命題論理における5つの対称性.
命題論理における5つの対称性 要約：本講義では、二重否定、仮言三段論法、含意の対偶、推論定理、および...
古典論理技法の証明
0 コメント on 古典論理技法の証明.
古典論理技法の証明 概要この講義では、連言と選言の導入および除去のための古典論理のいくつかの技法に加...
ド・モルガンの法則、分配法則およびその証明
0 コメント on ド・モルガンの法則、分配法則およびその証明.
ド・モルガンの法則、分配法則とその証明 要約本講義では、命題論理や集合論、確率論、位相空間論、電子工...
命題論理の意味論
0 コメント on 命題論理の意味論.
命題論理の意味論 要約この講義では、命題論理の意味論を学びます。特に、命題の真理値の割り当てと、それ...
意味論的帰結と同値
0 コメント on 意味論的帰結と同値.
意味論的帰結と同値 要約この授業では、命題論理における意味論的帰結と同値を学びます。これは、これまで...
命題論理における完全性と健全性
0 コメント on 命題論理における完全性と健全性.
命題論理における完全性と健全性 要約この講義では、命題論理における完全性と健全性の関係について取り上...