Up
6 論理
6.1 理論としての論理
6.2 命題論理
6.2.1 文生成システム
6.2.2 文変形システム
6.2.3 推論システム
6.3 述語論理
6.3.1 “一般化規則”の排除
6.3.1.1 “一般化規則”の所在
6.3.1.2 一般化規則と演繹定理との非両立性
6.3.2 文生成システム
6.3.3 自由変項，束縛変項
6.3.4 “式",“文”
6.3.5 文変形システム
6.3.6 推論システム
6.3.7 簡約記号∃ の導入
6.4 等号をもつ述語論理
6.4.0 イントロ
6.4.1 文生成システム
6.4.2 文/テクスト変形システム
6.5 関係/関数記号をもつ述語論理
6.5.0 イントロ
6.5.1 文生成システム
6.5.2 文/テクスト変形システム
6.6 等号をもつ述語論理の構成一覧
6.7 命題/述語論理の上の理論
6.8 メタ定理，定理シェマ
6.8.1 メタ定理
6.8.2 定理の証明と定理シェマの証明
6.8.3 命題論理の定理シェマの証明例
6.8.4 述語論理の定理シェマの証明例