>>454-456
ふっふ、ほっほ

下記
『存在例化』：証明の結論部にも現れてはならない！
　英 Existential instantiation：and it also must not occur in the conclusion of the proof
だってさｗｗｗ

なお、普遍例化（Universal instantiation）は、下記
また、関西大学 外国語学部紀要

(参考)
https://ja.wikipedia.org/wiki/%E5%AD%98%E5%9C%A8%E4%BE%8B%E5%8C%96
存在例化
ここでaは、その時点まで証明に現れていない新しい定数記号である。
また、証明の結論部にも現れてはならない。

https://en.wikipedia.org/wiki/Existential_instantiation
Existential instantiation
The rule has the restrictions that the constant c introduced by the rule must be a new term that has not occurred earlier in the proof, and it also must not occur in the conclusion of the proof.

https://en.wikipedia.org/wiki/Universal_instantiation
Universal instantiation

https://ja.wikipedia.org/wiki/%E6%99%AE%E9%81%8D%E4%BE%8B%E5%8C%96
普遍例化
（google訳）
アーヴィング・コピは、普遍的具体化は「1934年にゲルハルト・ゲンツェンとスタニスワフ・ヤシュコフスキが独立に考案した『自然演繹』の規則の変種から導かれる」と指摘した。 [ 4 ]

余録
https://www.kansai-u.ac.jp/fl/publication/pdf_department/17/35kato.pdf
関西大学 外国語学部
外国語学部紀要　第17号（2017年10月）
研究展望 存在命題の意味論的分析―フレーゲ再考
A Semantic Analysis of Existential Propositions: On G. Frege
加藤 雅人

つづく