萩原雪歩
ここってどういう答えでしょう?
真壁瑞希
これはそんなに難しくないです。x^2を微分するんですよね?
萩原雪歩
はい
真壁瑞希
(x+⊿x)^2ーx^2=2x⊿x+⊿x^2です。これを⊿xで割ると2x+⊿xですね
萩原雪歩
はい
真壁瑞希
⊿xを0に近づけると2xになるので答えは2xです
萩原雪歩
わかりました
箱崎星梨花
あのー、私の宿題の答えを教えてもらえますか?
萩原雪歩
問題の意味からわからないんですけど
真壁瑞希
問題の意味ですが、排中則から背理法を導け、ですか…
箱崎星梨花
x∨￢xが仮定なしに成り立つことから￢xを仮定して矛盾が導けたら
箱崎星梨花
￢xという仮定を除去してxが成り立つということを言えばいいんですけど…
真壁瑞希
まず￢xを仮定します。それで矛盾が導けたら矛盾ルールでxを導きます
真壁瑞希
次にxを仮定します。そうしたらxを仮定しても￢xを仮定してもxが導けるので
真壁瑞希
￢xとxの仮定を除去してx∨￢xを仮定してxが導けます。そしてx∨￢xは排中則から
真壁瑞希
仮定なしに導けるので、背理法が無事に導けました、と
萩原雪歩
…(沈黙)
(台詞数: 17)