とする． 問 太郎は前から5番目である．太郎の後ろには6人いる．全体で何人いるか？ (解答) と置く．このときより したがって全体は11人から構成される．▢

問 36人の組で，弟と妹の有無ついて調べた．弟がいる人は16人，妹がいる人は10人，弟も妹もいない人は13人だった．弟も妹もいる人は何人ですか？ (解答) i.e. 仮定 i.e. 仮定 i.e. 仮定 i.e. 仮定 とする．このとき を求めたい． ① 山積 より ⇒-導入 ⇒-導入 …

とする． 問 和菓子屋で，団子1個と煎餅3枚を買うと260円，団子2個と煎餅8枚を買うと620円である．それぞれ1つの値段はいくらか？ (解答) 団子の個数を(仮定)，煎餅の個数を(仮定)と置く．そして，条件より次のような方程式を立てる． 山積 を立てる．このと…

自由変数でしか考えていない(実質的にパラメタと変わらない限量記号による数学)数学は意味がないので，算数からやり直す． とする． 問 太郎はクイズをした．1問正解すると5点，不正解だと2点引かれる．太郎には予め40点が与えられている．そして，20問のク…

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

問 3mのひもを太郎と次郎とで分ける．太郎は次郎の2倍よりも30cm短い．次郎のひもの長さを求めなさい． (解答) 次郎のひもの長さをと置く． 仮定 このとき，太郎のひもの長さはと表される．そして全体は次の方程式 ∀-除去 で書ける．このようなについて方程…

問 140個のどら焼きを太郎と次郎で分ける．太郎のどら焼きが次郎のどら焼きの3倍になるように分けたい．このとき次郎のどら焼きはいくつだろうか？ (解答) に対して次郎の量をと置く． 仮定 いま ∀-除去 とすれば i.e. ⇒-導入 より i.e. を得る．この論証に…

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

問 あめが10個あります．何個か貰ったので30個になりました．あめを何個貰いましたか？ (解答と説明) とする．このとき，文論理は原始的で で表される．いま可能世界について真理値を考えると P Q R T T T ①T T F ②T F T ③T F F ④F T T ⑤F T F ⑥F F T ⑦F F F…