等價詞

等價詞(equivalence)，亦稱等值詞、雙條件詞，是真值聯結詞之一。通常用“三”y;， +E”等符號來表示。

基本介紹

• 中文名：等價詞
• 外文名：equivalence
• 別名：等值詞
• 詞性：雙條件詞

如果p}q均為命題，則p=q <或p}-'q}Epq，讀p 若且唯若婦表示由p和q組成的命題“p若且唯若 q，其直覺含義是說命題p與 q的真值完全相同，即同為真或同為假.例如，由命題“蘇格拉底是人”和“二加二等於五” 及等價詞可以組成命題“蘇格拉底是人，若且唯若二加二等於五”.等價詞可由右面的真值表來定義.形如p=q的式子，稱為等價式，此處 p}q是命題.在等價式中，位於等價詞符號左邊(或右邊)的部分稱為左端(右端).