三省堂 大辞林 |
 
|
どうち 1 【同値】
〔論〕 二つの命題 p、q で、p が真である時 q も真、p が偽である時 q も偽であるような場合、p と q は同値であるという。また、「 p ならば q 」という命題が真でその逆「 q ならば p 」という命題も真の場合、命題 p、q は同値であるという。等価。等値。同等。
ウィキペディア |
|
同値
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2011/06/23 07:28 UTC 版)
同値（どうち）または等価（とうか）とは、2つの命題が共に真または共に偽のときに真となる論理演算である。
英語ではequivalence (EQ)。「if and only if」を略して、iffともいう。否定排他的論理和 (XNOR) に等しい。PとQが同値であることを「PはQの（QはPの）必要十分条件である」という。なお、「必要条件」「十分条件」という用語もある。
演算子記号は ⇔、↔、≡、=、EQ などが使われる。
|
|||||||||||||||||||
)
)
) 
)
)
)
)
)
)
) 
) 
)
)[続きの解説]
「同値」の続きの解説一覧
- 1 同値とは
- 2 同値の概要
同値と同じ種類の言葉
同値に関係した商品
>> 「同値」を含む用語の索引
同値のページへのリンク
