原创力文档离散数学
DiscreteMathematics
第1章命题逻辑1.1命题及联结词1.2命题公式及真值表1.3命题公式的等值式及蕴含式1.4联结词的全功能集1.5命题公式的范式1.6推理理论1.7命题逻辑的应用2
1.1命题及联结词第1章数理逻辑命题的定义命题的表示命题变元联结词3离散数学
命题的定义4定义1.1能判断真假的陈述句叫做命题。离散数学例如：别的星球上有人类存在。虽然目前我们还没有确切的依据来判断真假，但这句话描述的是一个事实，要么真，要么假。命题的定义包含两层含义：首先，从语法上命题必须是陈述句，因此疑问句、祈使句、感叹句
文档评论（0）