0890132人目の素数さん垢版 | 大砲2019/03/05(火) 09:17:59.68ID:jOEcx8q7 ある変数が自由変数かどうかは 限量子の限定する範囲にないというだけのこと これは文字配列上確定する概念で 論理式の論理的な意味とは関係なく定まる