hazelnut_x的博客

第一章 命题逻辑文章目录第一章 命题逻辑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.