11/08/27 23:27:53.33
>>379
勝手な偏見に過ぎないが、…を求めよっていう類の問題の答案を論理的に見た場合
…を解とするとしてその解を求める過程と
ある種の「 P ⇒ Q 」の形の論理式が真であることが証明すること
との厳密さの度合いは微妙に違うんじゃないか？
…を求めよっていう類の問題の答案にそのような証明は書いたことないんでそのあたりはよく分からないが。
…を解とするとしてその解を求める過程を書いた大抵の答案って、ああいう書き方で証明になっているのか？
11/08/27 23:27:53.33
>>379
勝手な偏見に過ぎないが、…を求めよっていう類の問題の答案を論理的に見た場合
…を解とするとしてその解を求める過程と
ある種の「 P ⇒ Q 」の形の論理式が真であることが証明すること
との厳密さの度合いは微妙に違うんじゃないか？
…を求めよっていう類の問題の答案にそのような証明は書いたことないんでそのあたりはよく分からないが。
…を解とするとしてその解を求める過程を書いた大抵の答案って、ああいう書き方で証明になっているのか？