逻辑学(第6讲)
- 格式:ppt
- 大小:971.00 KB
- 文档页数:82


复合命题的否定及其等值形式(负复合命题及其等值形式)1、联言命题的否定及其真值形式﹁(p ∧q) ↔(﹁p ∨﹁q)以下用真值表证明:联言命题真值表:否定形式值p q p ∧q ﹁(p ∧q) + + + —+ ——+—+ —+———+﹁p ﹁q ﹁p ∨﹁q ————+ ++ —++ —+2、相容析取否定的真值形式﹁(p∨q) ↔(﹁p∧﹁q)以下用真值表证明:联言命题真值表:否定形式值p q p ∨q ﹁(p ∨q) + + + —+ —+ ——+ + ————+﹁p ﹁q ﹁p ∧﹁q ————+ —+ ——+ + +3、不相容析取否定的真值形式﹁(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 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 p∧﹁q + + + ———+ ——+ —+—+ —+ + ———+ ———7、对否定命题的否定﹁﹁p ↔p8、基本真值联结词及其功能1)基本真值联结词:﹁、→、∧、∨、↔2)功能:定义其他复合命题:“p ←q” 可以定义为:“﹁p →﹁q”。
证明:9、真值形式的判定三种真值形式:1)重言式(永真式:任意赋值为真)2)矛盾式(永假式:任意赋值为假)3)可真式(至少一组赋值为真)利用真值表方法的判定:((P→Q)∧﹁P)→﹁Q P赋假值,Q赋真值,则:((0 →1) ∧﹁0) →﹁1(1 ∧1) →01→0 0P赋假值,Q赋假值,则:((0 →0) ∧﹁0) → ﹁0 (1 ∧1) → 11→ 11。