投稿日: 2019年5月3日2025年9月13日超限帰納法 Transfinite Induction || 自然数から順序数まで拡張された数学的帰納法「無限」の範囲を証明できる強力な証明手段“超限帰納法 Transfinite Induction” の続きを読む
投稿日: 2019年4月6日2025年12月13日LKの推論規則 Logischer Kalkül || LK (論理計算) の意味は初見じゃ分からない「推件式」で整理された「推論規則」のこと“LKの推論規則 Logischer Kalkül” の続きを読む
投稿日: 2019年4月1日2025年12月15日代入規則 Substitution Rules || 記号を入れ替える時の規則「問題無く代入ができる」の具体的な中身“代入規則 Substitution Rules” の続きを読む
投稿日: 2019年4月1日2025年12月6日推論規則 Inference Rules || 推論の中でも特に正しいやつ『演繹的推論』を『形式化したもの』“推論規則 Inference Rules” の続きを読む
