1、数理逻辑

作者：whj95

导读

命题逻辑 (Propositional Logic)

　　非(negation)：$\lnot$ 真值相反
　　合取/与(conjuction)：$\land$ 全真才真
　　析取/或(disjunction)：$\lor$ 有真即真
　　蕴含(conditional statement)：$\to$ 条件假即真，条件真结论真才真
　　双条件(biconditional statement)：$\leftarrow\rightarrow$ 条件结论同步真假才真
　　异或(exclusive)：$\oplus$ 真假值不一样才为真
　　
　　运算优先级：
　　

　　判断复合命题真假值：可用真值表来判断
　　
　　

命题等价 (Propositional Equivalence)

　　判断方法：①真值表法；②逻辑等价法。重点介绍第二种——逻辑等价法
　　
　　逻辑等价法：逻辑等价以为着这两种算式表达的是同一种意思。下图即为常见的逻辑等价：
　　
　　其中比较特殊的有：无论如何都是真的永真式/重言式(tautology)，以及无论如何都是假的矛盾式(contradiction)
　　

谓词与量词 (Predicate and Quantifier)

　　谓词： P(x)= “computer x is under attack by an intruder”。将语句公式化，x为变量，x的变化决定P(x)真值的变化，而P就是谓词。
　　
　　量词：
　　
　　
　　量词否定：
　　
　　
　　翻译：注意存在量词$\exists$ 不可用 蕴含$\to$，应该用等价的$\lnot$a$\lor$b 或 a$\land$$\lnot$b（否定情况下）
　　例子：
　　
　　
　　第二句可译为：不是所有的狮子都喝咖啡，然后a->b等价$\lnot$a$\lor$b，再运用量词否定。

嵌套量词 (Nested Quantifier)

　　嵌套量词：
　　
　　
　　嵌套量词否定：与普通量词类似，但是逐步向内变化
　　

推理规则 (Rules of Inference)

　　定义： 本质是蕴含$\to$中的特殊情况，即 对$\to$对
　　
　　常见的推理规则：运用下列推理规则可以进行消解(Resolution)
　　
　　
　　带量词的推理规则：