作者:whj95
导读
命题逻辑 (Propositional Logic)
非(negation):
¬
真值相反
合取/与(conjuction):
∧
全真才真
析取/或(disjunction):
∨
有真即真
蕴含(conditional statement):
→
条件假即真,条件真结论真才真
双条件(biconditional statement):
←→
条件结论同步真假才真
异或(exclusive):
⊕
真假值不一样才为真
运算优先级:
判断复合命题真假值:可用真值表来判断
命题等价 (Propositional Equivalence)
判断方法:①真值表法;②逻辑等价法。重点介绍第二种——逻辑等价法
逻辑等价法:逻辑等价以为着这两种算式表达的是同一种意思。下图即为常见的逻辑等价:
其中比较特殊的有:无论如何都是真的永真式/重言式(tautology),以及无论如何都是假的矛盾式(contradiction)
谓词与量词 (Predicate and Quantifier)
谓词: P(x)= “computer x is under attack by an intruder”。将语句公式化,x为变量,x的变化决定P(x)真值的变化,而P就是谓词。
量词:
量词否定:
翻译:注意存在量词
∃
不可用 蕴含
→
,应该用等价的
¬
a
∨
b 或 a
∧
¬
b(否定情况下)
例子:
第二句可译为:不是所有的狮子都喝咖啡,然后a->b等价
¬
a
∨
b,再运用量词否定。
嵌套量词 (Nested Quantifier)
嵌套量词:
嵌套量词否定:与普通量词类似,但是逐步向内变化
推理规则 (Rules of Inference)
定义: 本质是蕴含
→
中的特殊情况,即 对
→
对
常见的推理规则:运用下列推理规则可以进行消解(Resolution)
带量词的推理规则: