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