問 太郎の組には33人いる．男は女よりも3人多い．男女の人数をそれぞれ求めよ． (解答) とする．このとき，次のような方程式 を書ける．いま ∃-仮定 ∃-仮定 に対して と表し，これらを解けば i.e. i.e. を得る． したがって であるから すなわち ∃-導入，∃-…