第1章命数逻辑 5.双条件联结词 定义1.1.5设p和g均为命题，其复合 命题p>q称为双条件命题，读作：”p 表1.5 双条件g”或者“p当且仅当g”。定义 卫 9 p→9 为：当且仅当p和q的真值相同时，p→q 0 0 1 为T。 联结词“←→” 的真值表如表1.5所示。 0 1 0 联结词“←→”也可以理解成逻辑运算 1 0 0 它是二元逻辑运算。 双条件联结词表示的是一个充分必 1 1 1 要关系，与前面所述相同，也可以不必 顾及其前因后果，而只根据联结词的定义来确定其真值。 【例1.6】设p:张华是三好学生。 9:张华德、智、体全优秀。 pq:张华是三好学生当且仅当德、智、体全优秀。 返回章目录第1章 命题逻辑 5. 双条件联结词 定义1.1.5设p和q均为命题，其复合 命题p↔q称为双条件命题，读作：“ p 双条件q ”或者“ p当且仅当q ” 。定义 为：当且仅当p和q的真值相同时，p↔q 为T。 联结词“ ↔ ”的真值表如表1.5所示。 联结词“ ↔ ”也可以理解成逻辑运算， 它是二元逻辑运算。 双条件联结词表示的是一个充分必 要关系，与前面所述相同，也可以不必 表1.5 p q p↔q 0 0 1 0 1 0 1 0 0 1 1 1 顾及其前因后果，而只根据联结词的定义来确定其真值。 【例1.6】设p：张华是三好学生。 q：张华德、智、体全优秀。 p↔q：张华是三好学生当且仅当德、智、体全优秀。 返回章目录