(3)基本逻辑联词 ①否定（非“”） 否定式命题 若否定命题p,则得到命题“非p”,记作p。 p与p互为反命题（负判断）。又称命题的否定式。 ②合取（与、且）—联言命题 “p与q”,记作pAq。又称命题p与q的合取式。 ③析取（或）一选言命题 “p或q”,记作pvq。又称命题p与q的析取式。 Note:“不可兼或”和“可兼或”；数学上，一般讨论的析取是“可兼 惑錾整若p则q,“p→g一条件假言命题 若p,则q,记作pq三pVq=一(pAq),其中p前件， q后件。 Note: “真值性蕴涵关系”和“实质性蕴涵关系” ⑤当且仅当（等价，“p→q”)一等价性命题/充分必要蕴涵式。 p当且仅当q,记作p)q 必真值表（教材p121一表4-1~6）》 ※命题演算规则（常用的逻辑等价式）：（教材p123~124) （3）基本逻辑联词 ①否定（非“”）——否定式命题 若否定命题p，则得到命题“非p”，记作 p 。 p与p 互为反命题（负判断）。又称命题的否定式。 ②合取（与、且）——联言命题 “ p与q”，记作p  q 。又称命题 p 与 q 的合取式。 ③析取（或）——选言命题 “ p或q”，记作p  q 。又称命题 p 与 q 的析取式。 Note： “不可兼或” 和 “可兼或”； 数学上，一般讨论的析取是“可兼 或析取”。 ④蕴涵(若p,则q, “p→q”)——条件假言命题 若p,则q ，记作 p→q  p  q  （p   q），其中 p-前件， q-后件。 Note： “真值性蕴涵关系” 和 “实质性蕴涵关系” ⑤当且仅当（等价，“p  q”）——等价性命题/充分必要蕴涵式 。 p当且仅当q，记作 p  q ※真值表 （教材p121——表4 –1 ~ 6） ※命题演算规则（常用的逻辑等价式）：（教材p123~124）