2019-04-08から1日間の記事一覧

用語対応表の予定地

ここに、論理関係の用語の対応表を書く予定です。でも、今週は無理で、来週(15日)以降。順不同、備忘のための羅列: 命題論理 述語論理 古典論理 命題 述語 証明 意味 モデル 基本、基礎 原子、アトム、個体 コンテキスト 算術 推論 演繹 論理式 推論規則 …