25/07/20 19:52:38.51 JxJPBISF.net
>>968
命題 P→Q
これの証明は、しばしば 出発がPで
そこから 論理の道を通って 結論のQに到達することで
達成される場合が多い
P→Q の道で、最短は幾何学では しばしば2点間を結ぶ直線だ
必要ない 記号∩ を使うのは しばしば 寄り道になるよ
私がいうのは、記号∩ を使うのは 寄り道じゃね？
おっと、『寄り道の多い数学』という本があるらしい（下記）
”寄り道”も、それで見通しが良くなるならば、ありと思うけどね
どうなんだろうね？ （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)