演繹体系
数学の証明を形式化する手法
推論規則と
公理
からゴニョゴニョする
演繹体系ごとに個別の
公理
が用意されているんやな
mrsekut.icon
証明可能
性を論ずる体系
健全性
と
完全性
の性質を持つのが理想
例
ヒルベルト流
ゲンツェンの自然演繹(NK)
導出原理
シークエント計算
フィッチスタイルの自然演繹法
『論理学をつくる』
9章で紹介されているもの
Fitch-style natural deduction
https://blog.tiqwab.com/2017/04/02/propositional-logic.html