15/09/01 10:02:04.64 5LhcCh2F0.net
>>768
>既存の証明がなされたものをベースに考える。
>と言う答えでは辞書的過ぎますかね。
論理が何かを説明するのは難しいと思いますが、この切り口の説明だと公理出発点による考えの存在が抜けていますね。
単純に、公理を出発点として、演繹的な推論を重ねる、という説明でも良いと思いました。
15/09/01 10:02:04.64 5LhcCh2F0.net
>>768
>既存の証明がなされたものをベースに考える。
>と言う答えでは辞書的過ぎますかね。
論理が何かを説明するのは難しいと思いますが、この切り口の説明だと公理出発点による考えの存在が抜けていますね。
単純に、公理を出発点として、演繹的な推論を重ねる、という説明でも良いと思いました。