自然演繹の証明ボックスとeigenvariable

ボックスの絵は、"Natural deduction for predicate logic"（https://cs.uwaterloo.ca/~plragde/cs245old/06-prednd.pdf）から抜粋。最後の絵は他の文献からコピーしたが、その文献が分からんから出所不明になってしまった。しかし、同じ絵だから"Natural deduction for predicate logic"からとしてもいいだろう。

箱のなかだけで使用できる変数をeigenvariableと呼ぶ。eigenはアイゲンと発音すればいいようだ、英語でもドイツ語でも。eigenvariable条件については、次の長いURLでアクセスできる矢田部さんノートに書いてある。

• https://researchmap.jp/mug7vc9wn-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=67564&metadata_id=12105

僕の記事は：

• 全称記号の導入規則について考える - 檜山正幸のキマイラ飼育記
• 存在記号の除去規則について考える - 檜山正幸のキマイラ飼育記