どら焼きの分配方法 - 情報統合思念体への手紙

問　140個のどら焼きを太郎と次郎で分ける．太郎のどら焼きが次郎のどら焼きの3倍になるように分けたい．このとき次郎のどら焼きはいくつだろうか？

(解答)

$x,y,z,......：束縛変数$

$a,b,c,......：パラメタ$

に対して次郎の量を $x$ と置く．　　仮定

いま

$a:=［次郎の量］$ 　　∀-除去

とすれば

$a=［次郎の量］　⇒　［太郎の量］+［次郎の量］=［全体の量］$

i.e.　

$3a+a=140$ 　　⇒-導入

より

$4a=140$ 　i.e.　 $a=35$

を得る．この論証に仮定は無いので，∀-導入適用可能である．したがって

$x=35$ 　　∀-導入

である．