一般的参考書に書いてあるかどうかは知りませんけど割と疎かというか雑に扱われているような気もします。当たり前といえばそれでおしまいなのですが… ①式と②式があって①式を②式に代入して③式が出てきたとき ①かつ② ⇄ ①かつ③ が成立する。 というものですね。…