ここでの論理的思考とは、論理的に予想を立てることなのですか?
論理式を変換していくようなトートロジーについては範疇外なのでしょうか?