仮定 仮定 とする．このとき (1) (2) (3) (4) の値を求めよ． (解答) ∀-除去 ∀-除去 に対して である． (1)について (ア) より ⇒-導入 ⇒-導入 という操作をする． (イ) より ⇒-導入 ⇒-導入 である．(ア),(イ)の論証に仮定はないので，∀-導入適用可能である．…