离散结构-02
离散结构 命题中的符号 常远 变元 联接词 辅助符号如（） 合式公式 定义：合法的命题公式 公式的层次 公式的解释 命题公式代表一个命题，但只有当公式中的每一个变元都用一个确定的命题带入时，命题公式才有确定值，成为命题。 成真赋值 成假赋值 公式相等证明： 列真值表法 等值演算 公式的类型 永真式 永假式 可满足式 例题： P：通过六级 Q：是英语专业学生（~代表非） R：选修这门课 P^（~Q）
每日一句
-
每一个你不满意的现在，都有一个你没有努力的曾经。
欢迎关注本站公众号,获取更多信息
相关文章
- 1. 离散数学之代数结构
- 2. 离散结构-谓词逻辑-04
- 3. 离散数学3 代数结构
- 4. 散列结构
- 5. 离散
- 6. 02-matplotlib-散点图
- 7. 【耗散结构论】耗散结构简介
- 8. 02-项目结构
- 9. 02程序结构
- 10. 离散数学