离散数学 课件 1.3 命题公式与翻译.pptx

CHAPTER01命题逻辑1.3命题公式与翻译PROPOSITIONALFORMULASANDTRANSLATION

1.3命题公式与符号化1.3.1命题公式▌合式公式的定义

由命题变元、联结词和圆括号，按照一定规则组成的字符串，是命题逻辑中合法的表达式。▌联结词的优先级

规定运算的先后顺序：否定(?)合取(∧)析取(∨)蕴含(→)等价(?)。1.3.2命题符号化▌符号化步骤

1.分析自然语言中的原子命题与联结词；

2.用命题变元表示原子命题；

3.依据语义，用联结词连接变元构成公式。▌实例讲解

将复杂的自然语言陈述句（如“如果明天下雨，那么我就待