《逻辑学教学资料》第五节 假言1.pptVIP

复习 相容选言命题的定义、联结词、形式、逻辑特性。（一真即真；全假才假。引申：∨ 为真，选言肢至少有一真，∨ 为假，选言肢全假。 有效推理式和推理规则：否定肯定式： p ∨ q， ? p ┣ q 德摩根律： ? (p ∨ q) ? (?p ∧ ?q) ? (p ∧ q) ? (?p ∨ ?q) 复习 不相容选言命题的定义、联结词、形式、逻辑特性。（有且只有一真为真；其余为假。引申：? 为真，选言肢有且只有一真， ? 为假，选言肢全假或有二个以上为真。 有效推理式和推理规则： 1.否定肯定式（否肯式） p?q， ? p ┣ q 2.肯定否定式（肯否式） p?q，p ┣ ?q 推理规则： 否定一部分肢，则可肯定另一部分肢。 肯定一部分肢，则可否定另一部分肢。 严格析取定义律 (p ? q) ? (p ∧ ?q) ∨ (?p ∧ q) (p ? q) ? (p ∨ q) ∧ ? (p ∧ q) 否定严格析取律 ? (p?q) ? (p ∧ q) ∨ (?p ∧ ?q) ? (p?q) ? (p?q) 习题 一、填空 不相容选言命题的逻辑特性是有且只有一真为真；其余为假 。 若p取值为真，q取值为假 ，则p?q取值为 1 ，? p?q取值为 0 。 当“?p?q”取值为真时，若p取值为真，则q取值为 1 。若q取值为假，则p取值为 0 。 命