論理和除去

A∨B⇔B∨Aに繋がりそうな考え方を学んでいきます。 仮説的導出と論理和の除去 【仮説的導出】数理論理学での一般的操作として、「仮定からの推論; reasoning from assumptions」がある。例として、次のような演繹過程を見...