問 を分数で表せ． (解答) 仮定 と置く．このときすなわち ∀-除去 を考え，との差をとれば より ⇒-導入 i.e. ここで，論証に仮定はないので，に対して∀-導入適用可能である．すなわち ∀-導入 を得る．▢

問 1個80円の消しゴムと1個120円のペンを合わせて16個買うと，その代金は1560円になる．それぞれ何個ずつ買ったか？ (解答) 仮定 仮定 とする．このとき次のような方程式を立てる． ∀-除去 ∀-除去 これを解けば ⇒-導入 ⇒-導入 であるから i.e. ∀-導入 ∀-導入…