逻辑推理与真值表

知识点 · 要点

• 命题：可以判断真假的陈述句；真值表列出所有可能的真假组合。
• 「且」：两者都真才真；「或」：至少一个真就真；「非」：真假互换。
• 「如果 p 那么 q」：只有「p 真 q 假」时为假，其余都为真。
• 推理方法：假设法、排除法、列表法。

拓展延伸

• 德摩根定律：¬(p∧q) = ¬p∨¬q，¬(p∨q) = ¬p∧¬q。
• 逻辑是数学的基础语言，也是计算机电路设计（与门、或门、非门）的原理。