とする．このとき を計算せよ． (解答) ∀-除去 ここで 仮定 と置き，次のような操作をする． ⇒-導入(仮定落ち) そして，その他に仮定は無いので，∀-導入適用可能である．したがって ∀-導入 と書ける． ☆ 予めを決めているのなら，単に定数項同士の足し算をす…

問題 これは最低なクイズです． の次数と係数をいえ． (解答) 与えられた単項式を量化して表せばと書けるので，この閉式について述べる．まず ∃-仮定① ∃-仮定② ∃-仮定③ と置く．このとき各々次数と係数を求めれば 次数 0 係数 192 ∃-導入，除去③ 次数 2 係数…