どう‐ち【同値】
同値
同値
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/25 04:07 UTC 版)
同値を表す結合子 ↔ {\displaystyle \leftrightarrow } は ϕ ↔ χ {\displaystyle \phi \leftrightarrow \chi } standing for ( ϕ → χ ) ∧ ( χ → ϕ ) {\displaystyle (\phi \to \chi )\land (\chi \to \phi )} の省略形として導入できる。代わりに次の公理を追加してもよい: IFF-1: ( ϕ ↔ χ ) → ( ϕ → χ ) {\displaystyle (\phi \leftrightarrow \chi )\to (\phi \to \chi )} IFF-2: ( ϕ ↔ χ ) → ( χ → ϕ ) {\displaystyle (\phi \leftrightarrow \chi )\to (\chi \to \phi )} IFF-3: ( ϕ → χ ) → ( ( χ → ϕ ) → ( ϕ ↔ χ ) ) {\displaystyle (\phi \to \chi )\to ((\chi \to \phi )\to (\phi \leftrightarrow \chi ))} IFF-1とIFF-2は一つの公理 ( ϕ ↔ χ ) → ( ( ϕ → χ ) ∧ ( χ → ϕ ) ) {\displaystyle (\phi \leftrightarrow \chi )\to ((\phi \to \chi )\land (\chi \to \phi ))} に結合できる。
※この「同値」の解説は、「直観主義論理」の解説の一部です。
「同値」を含む「直観主義論理」の記事については、「直観主義論理」の概要を参照ください。
同値
「同値」の例文・使い方・用例・文例
同値と同じ種類の言葉
「同値」に関係したコラム
-
FXのローソク足は、為替レートの始値、高値、安値、終値を図に表したものです。図に表すことにより、現在の為替レートが過去の為替レートの中のどのポジションにあるかを知ることができたり、為替レートが上昇して...
-
株式相場で用いられる高値とは、ある期間での一番高かった株価のことです。また、安値は、一番安かった株価のことです。また、高値、安値を付けた日は大商いの取引になったり、相場の転換点であったりすることがあり...
-
チャート分析でバイナリーオプションの予想をするには、ローソク足の組み合わせによりその先の値動きを予測します。ここでは、ローソク足の組み合わせからトレンドの転換点を見つける方法を紹介します。なお、トレン...
-
FX(外国為替証拠金取引)のローソク足にはさまざまなパターンがあります。ローソク足の長さや上ヒゲ、下ヒゲ、陰線、陽線などはその時の相場の動きを暗示したもので、そのパターンから今後の相場を読み取ることも...
CFDの日経225先物と日経225先物、日経225ミニ先物の比較
CFDの日経225先物と日経225先物、日経225ミニ先物は、いずれも日経平均株価(日経225)の先物取引商品です。しかし、取引の種類や必要証拠金などはそれぞれ異なります。▼取引限月CFDの日経225...
- >> 「同値」を含む用語の索引
- 同値のページへのリンク