数学の最初の方で勉強する有名な定理に Ａ＝Ｂ，Ｂ＝ＣのときＡ＝Ｃである というものがあることはよく知られていると思います。 このようなルールを定めて、論理的に「確からしい」ことを追求していくのが「演繹」（えんえき）と言われる数学的な方法です。…