単位元

暇つぶしに見て

恒等式と恒偽式の定義と定理

恒等式と恒偽式(矛盾)の同値変形の定理について学びます。 恒等式と恒偽式 恒等式 【定義】ここでは古典命題論理における恒真式の定義を述べる。$\mathrm {Val}$ を命題変数の全体とする。$f:{\mathrm {Val}}\to ...
暇つぶしに見て

素人が数学に挑戦 群

群論って抽象的な議論が展開される分野です。なんでそんなこと考えるの?って感じますが、超高度な抽象化が必要な状況があったのだろうと無理やり納得させて前へ進めていきます。 とりあえず群の定義から。 群 定義 群(グループ)は集合です。群という集...