「Category:同値 (数学)」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
| 5行目: | 5行目: | ||
{{wikt|∽|≈|≃|≅}} |
{{wikt|∽|≈|≃|≅}} |
||
[[数学]]における[[同値]]、[[等価]]、[[同等]]に関するカテゴリ。 |
[[数学]]における[[同値]]、[[等価]]、[[同等]]に関するカテゴリ。 |
||
:'''Equivalence''' (イクイヴァレンス)は、[[論理学]]や数学では、[[同値]]と訳され、関係が[[反射関係|反射 |
:'''Equivalence''' (イクイヴァレンス)は、[[論理学]]や数学では、[[同値]]と訳され、関係が[[反射関係|反射的]] ([[:en: reflexive|reflexive]])、[[対称関係|対称的]]（[[:en:Symmetry (disambiguation)|symmetrical]])、[[推移関係|推移的]]（[[:en:transitive|transitive]]）、[[論理包含|条件的]] ([[:en:biconditional|biconditional]])などがある。 |
||
*2つの[[命題]]が共に真であるか、共に偽であるかの関係は、[[:en:Implication| material implication]]。 |
*2つの[[命題]]が共に真であるか、共に偽であるかの関係は、[[:en:Implication| material implication]]。 |
||
*2つの命題が互いに論理的に他を包含する関係は、[[論理包含]] (material equivalence)。 |
*2つの命題が互いに論理的に他を包含する関係は、[[論理包含]] (material equivalence)。 |
||
2019年11月29日 (金) 12:20時点における版
- Equivalence (イクイヴァレンス)は、論理学や数学では、同値と訳され、関係が反射的 (reflexive)、対称的（symmetrical)、推移的（transitive）、条件的 (biconditional)などがある。
- 2つの命題が共に真であるか、共に偽であるかの関係は、 material implication。
- 2つの命題が互いに論理的に他を包含する関係は、論理包含 (material equivalence)。