【面向计算机科学的数理逻辑 系统建模与推理 笔记】命题逻辑
第一章 命题逻辑
文章目录第一章 命题逻辑1.1 判断语句1.2 自然演绎1.3 作为形式语言的命题逻辑1.4 命题逻辑的语义1.5 范式1.6 SAT 求解机
1.1 判断语句
¬\neg¬ :否定,negation
∨\lor∨ :析取,disjunction
∧\land∧ :合取,conjunction
→\rightarrow→ :蕴含,implication
约定:
¬\neg¬ 比 ∨\lor∨ 和 ∧\land∧ 具有更高的绑定优先级
∨\lor∨ 和 ∧\land∧ 比 →\ri.
原创
2020-09-27 19:23:01 ·
1248 阅读 ·
0 评论