カテゴリー別アーカイブ命題論理

帰納法による証明：ド・モルガンの法則と分配法則の一般化 要約この授業では、数学および命題論理における...

式の複雑さに関する数学的帰納法 要約この授業では、「式の複雑さに関する帰納法」として知られる数学的帰...

正規形とその性質 要約命題論理は、数学および情報科学における基本的なツールである。本講義では、正規形...

正規形アルゴリズムとその応用 要約この授業では、命題論理のあらゆる表現から論理的に同値な連言標準形（...