ここに、論理関係の用語の対応表を書く予定です。でも、今週は無理で、来週(15日)以降。順不同、備忘のための羅列: 命題論理 述語論理 古典論理 命題 述語 証明 意味 モデル 基本、基礎 原子、アトム、個体 コンテキスト 算術 推論 演繹 論理式 推論規則 …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。