∀導入・除去の問題で、自由変数aがF(x), G(x)に含まれない理由

「記号論理入門」前原本のP48 ∀の導入・除去の問題です。
この論理式の最後に
＜＜以上で、aはF(x)およびG(x)に含まれない自由変数であります。＞＞
と、ありますが、何ゆえaが自由変数なのかわかません。

ご教授よろしくお願いします。

No.1 ベストアンサー 回答者： ありものがたり 回答日時： 2020/03/28 14:34

「何ゆえ」って...

そのように仮定したからです。

写真の考察によって a が自由変数であると結論したのではなく、
a が自由変数であることを前提に証明図を書いたのでしょう？

この回答へのお礼

ありがとうございました。

お礼日時：2020/03/28 14:39