提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档
前言
本文章是对《离散数学》一书的归纳总结,希望能帮助读者建立知识点之间的联系,适合有一定离散数学基础的同学学习。
一、命题公式及其赋值
前面说到的简单命题(原子命题)有称为命题常项(命题常元),相对的有命题变项、命题变元。就好像初等数学中有常量和变量一样。
将命题变项和逻辑联结词按一定的逻辑关系联结起来的符号串称作合式公式又称为命题公式或命题形式,简称为公式。
若B为A中的一部分,且B为合式公式,则B为A的子公式。
公式的层次:若A为单个命题变项,称A为0层公式
A是n+1层公式为以下情况:﹁p,p∧q,p∨q,p→q,p↔q
将A中命题变项各指定一个真值,称为对A的赋值或解释,若指定的值使得A为1,则称这组值为成真赋值发,反之称为成假赋值。
含n个命题变项的公式共有2^n个不同的赋值。
若A在所有赋值下取值均为真,则称A为重言式或永真式。
若A在所有赋值下取值均为假,则称A为矛盾式或永假式。
若A有一个成真赋值,则称A为可满足式。
总结
文章以初等数学中的常量变量引出离散数学中的命题变项,然后说到由命题变项和联结词组合成的合式公式,然后讲到公式的子公式、层次和赋值,最后说到赋值的特殊情况,全为真则为重言式,全为假则为永假式。