等价词
真值联结词
等价词(equivalence),亦称等值词、双条件词,是真值联结词之一。通常用“≡”“↔” ,“E”等符号来表示。
如果p,q均为命题,则p≡q(或p↔q,Epq,读“p当且仅当q”)表示由p和q组成的命题“p当且仅当q”,其直觉含义是说命题p与q的真值完全相同,即同为真或同为假。例如,由命题“苏格拉底是人”和“二加二等于五” 及等价词可以组成命题“苏格拉底是人,当且仅当二加二等于五”。等价词可由右面的真值表来定义。形如p≡q的式子,称为等价式,此处p,q是命题。在等价式中,位于等价词符号左边(右边)的部分称为左端(右端)。
参考资料
最新修订时间:2023-05-13 21:35
目录
概述
参考资料