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