とする．このとき次の式の二重根号を外して簡単にせよ． (解答の方針) に対して ∃-仮定 と置く．このとき である．ここで > i.e. > より と成る．したがって ∃-除去 を得る．

とする． のとき，次の式の値を求めよ． (1) (2) (3) (解答の方針) (1)について まず，与えられたについて有理化を行う．すなわち ∃-仮定 である．次に に対して と書ける．すなわち ∃-除去 を得る． (2)について ∃-仮定① に関して ここで ∃-仮定② と置く． …

とする．このとき をの式で表せ． (解答の方針) ∃-仮定 より与式から ∃-導入 を考え，これを展開すると である． したがって ∃-除去 と書ける．そして，その他の仮定はないので∀-導入可能であるから () ( < ) ☆ を得る． ☆について ∧と∨は使用制限しているの…

1. 平均の速さ 等速直線運動をしている電車がある 100m間隔の柱の間を4.0sで通過した この電車の速さはいくらか(m/s)？ また何km/hか？ (解答の方針) たとえば，原点Oを最初から2番目の柱に置く．このようなOから次の柱(3番目)すなわち100mまでの速さを測る…