「同値」の版間の差分
削除された内容 追加された内容
Hawkexpress (会話 | 投稿記録) m →外部リンク |
Hawkexpress (会話 | 投稿記録) m編集の要約なし |
||
4行目:
'''同値'''（どうち）または'''等価'''（とうか）とは、2つの[[命題]]が共に[[真]]または共に[[偽]]のときに真となる[[論理演算]]である。
[[英語]]ではequivalence ('''EQ''')。「if and only if」を略して、'''iff'''ともいう。'''[[否定排他的論理和]]''' ('''XNOR''') に等しい。PとQが同値であることを「PはQの（QはPの）'''必要十分条件'''である」という。なお、「必要条件」「十分条件」という用語もある。
[[演算子]]記号は ⇔、↔、≡、=、EQ などが使われる。
| |||