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