用語対応表の予定地

ここに、論理関係の用語の対応表を書く予定です。でも、今週は無理で、来週（15日）以降。

順不同、備忘のための羅列：

1. 命題論理
2. 述語論理
3. 古典論理
4. 命題
5. 述語
6. 証明
7. 意味
8. モデル
9. 基本、基礎
10. 原子、アトム、個体
11. コンテキスト
12. 算術
13. 推論
14. 演繹
15. 論理式
16. 推論規則
17. 公理
18. 公理シェマ
19. 命題変数
20. 導入規則
21. 除去規則
22. 証明プリミティブ
23. 証明コンビネータ
24. 証明オブジェクト
25. リーズニング・プリミティブ
26. リーズニング・コンビネータ
27. リーズニング・オブジェクト
28. 真理関数
29. 命題関数
30. 命題関数＝インデックス付き命題
31. 型関数＝インデックス付き型
32. 総称型＝パラメータ付き型
33. 総称命題＝パラメータ付き命題≒真理関数
34. 真理集合
35. コンテキスト
36. 帰納と再帰
37. 計算
38. 計算可能
39. 素朴集合論
40. 素朴論理
41. メタナントカ
42. 論理和、選言、論理OR
43. 論理積、連言、論理AND
44. 否定
45. 限量子、量化子、量記号
46. 全称、総称、普遍
47. 存在
48. 結合子
49. 含意、条件法