数学とか 同値関係の議論
同値関係は長濱式では下のように定義しています。前提の同値関係が成立しない場合の議論はどんな風に結論されるのかなあと。同値関係A⇔B≔A→B∧B→A≔は定義するの記号。((A→B)→T∧(B→A)→T)→T(前提)¬((A→B)→T∧(B→A...
数学とか
技術
よもやま話
よもやま話
トレーニング
トレーニング
トレーニング
数学とか
技術
よもやま話
よもやま話
運動理論