投稿日: 2019年4月6日2022年6月30日LKの推論規則 Logischer Kalkül || LKで戸惑う 最も有名で使われまくってる「推論規則」 こいつは「一階述語論理」では「完全」で「健全」です。 “LKの推論規則 Logischer Kalkül” の続きを読む
投稿日: 2019年4月1日2019年7月14日代入規則 Substitution Rules || 代わりに入れる時の規則 そのまま「代入」についての「規則」ですね。 じゃあ代入ってなに?ってなると思うんで、それやりましょう。 “代入規則 Substitution Rules” の続きを読む
投稿日: 2019年4月1日2020年2月23日推論規則 Inference Rules || 推論の規則(まんま) ざっくり言うと「論理式」から「論理式」を得る「規則」のこと。 正確には「論理式の集合」に定義できる『関係』です。 “推論規則 Inference Rules” の続きを読む