数学とか 順序の認識
自分で定義した関数を使って、∃∀の認識について遊びながらま学びます。 順序の認識 大小関係の演繹 5>1を証明します。簡易版だとこんな感じ 1.∃x(5=x+1)(仮定)2.5=4+1(∃除去)3.5=5(加法定義)4.∃x(5=x+1)(...
数学とか
トレーニング
よもやま話
プライベート
メンタル
よもやま話
技術
よもやま話
よもやま話
トレーニング
よもやま話
トレーニング