数学とか 狭義大小関係の三分律
引用WIIS 定義 10反射律、11反対称律、12推移律、13完備律を備えののが大小関係。 狭義大小関係は、上に加えて同値関係が成り立たないもの。 x<y⇔x≤y∧x≠y 定理 x<y⇒¬(y<x) の証明。 感覚的には自明なんだけど一応。...
数学とか
技術
トレーニング
技術
技術
技術
よもやま話
数学とか
技術
戦略
技術
戦略