命题逻辑(2012年10月22日.pptVIP

命题逻辑 复合命题（2） 假言命题 是断定事物条件与结果之间关系的命题形式。 表示条件的支判断称为“前件”，用p表示 表示结果的支判断称为“后件”，用q表示。 假言命题的种类： 充分条件假言命题 必要条件假言命题 充要条件假言命题 1、充分条件假言命题 充分条件：有p必有q，无p未必无q。 联结词有“如果，就”“只要，就”等。 判断形式：p → q 读作“如果p，那么q”。 真假：只有前件真、后件假时，整个命题才假。 真值表： 基本性质： 前件真时后件必真 前件假时后件不定