-
等價詞
鎖定
等價詞(equivalence)，亦稱等值詞、雙條件詞，是真值聯結詞之一。通常用“≡”“↔” ，“E”等符號來表示。
- 中文名
- 等價詞
- 外文名
- equivalence
- 定 義
- 是真值聯結詞之一，通常用“≡”“↔” ，“E”等符號來表示
- 別 名
-
等值詞
雙條件詞
如果p，q均為命題，則p≡q（或p↔q，Epq，讀“p當且僅當q”）表示由p和q組成的命題“p當且僅當q”，其直覺含義是説命題p與q的真值完全相同，即同為真或同為假。例如，由命題“蘇格拉底是人”和“二加二等於五” 及等價詞可以組成命題“蘇格拉底是人，當且僅當二加二等於五”。等價詞可由右面的真值表來定義。形如p≡q的式子，稱為等價式，此處p，q是命題。在等價式中，位於等價詞符號左邊(右邊)的部分稱為左端(右端)。
