1.3.2 范式.pptVIP

范 式 复习 蕴涵式 定义 →和?的区别和联系 性质 蕴涵式与等价式的关系 蕴涵式的证明方法 真值表 等值演算 假定前件为真 假定后件为假 复习(Cont.) 联结词的扩充 合取非（与非） 析取非（或非） 条件非 双条件非（异或）? 只有你走我才留下 这一命题是说：“若你不走，则我不留”；也是说：“如若我留则你得走”。因此，它的正确翻译是：令P为“你走”,Q为“我留”，则原命题的真值形式是：?P→?Q,亦即：Q→P。 与原命题类似的命题还有： 仅当你走我才留下； 仅当你走我将留下； 我留下仅当你走。 Tips 在一般的命题表述中，“仅当”是必要条件，译成条件命题时其后的命题是后件；而“当”是充分条件，译成条件命题时其后的命题是前件。 我今天进城，除非下雨 这一命题是说：“若不下雨，则我今天进城”,或者是说：“我今天不进城，仅当要下雨”。因此，它的正确翻译是：令P为“我今天进城”,Q为“今天下雨”，则原命题可以符号化为?Q→P,亦可: ?P→Q。 “除非”，表示唯一的条件，原命题相当于“只有天下雨我才不进城”。 Tips 单用“除非”的命题，“非...”是充分条件，译成条件命题时，“非…”是前件。要是“除非…，否则…”的命题，其真值形式就是双条件了 e.g. 除非敌人投降,否则他们没有出路 欲寄君衣君不还，不寄君衣君又寒。 寄与不寄间，