最近では,推論システム関係の文献をよく参照するので,論理学関係の言葉の使い分けがシビアになってきました. 特に,無矛盾性,妥当性,健全性,完全性といった概念は,推論システムに求められる要件であるため,正確に把握しておく必要があります. 妥当…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。