「Category:同値 (数学)」の版間の差分

編集の要約なし
{{wikt|∽|≈|≃|≅}}
[[数学]]における[[同値]]、[[等価]]、[[同等]]に関するカテゴリ。
:'''Equivalence''' (イクイヴァレンス)は、[[論理学]]や数学では、[[同値]]と訳され、関係が[[反射関係|反射]] ([[:en: reflexive|reflexive]])、[[対称関係|対称]]([[:en:Symmetry (disambiguation)|symmetrical]])、[[推移関係|推移]]([[:en:transitive|transitive]])、[[論理包含|条件的]] ([[:en:biconditional|biconditional]])などがある。
*2つの[[命題]]が共に真であるか、共に偽であるかの関係は、[[:en:Implication| material implication]]。
*2つの命題が互いに論理的に他を包含する関係は、[[論理包含]] (material equivalence)。
31

回編集