理解真值函数与命题公式真值情况之间的对应关系
掌握联结词的全功能集的定义及判断

1、复合连接词

2、真值函数

定义称定义域为{00…0, 00…1, …, 11…1}，值域为{0,1}的函数是n元真值函数，定义域中的元素是长为n的0,1串. 常用F:{0,1}n ->{0,1} 表示F是n元真值函数，共有个n元真值函数.

例如 F:{0,1}2->{0,1}，且F(00)=F(01)=F(11)=0，

F(01)=1，则F为一个确定的2元真值函数.

3、命题公式与真值函数

对于任何一个含n个命题变项的命题公式A，都存在惟一的一个n元真值函数F为A的真值表.

等值的公式对应的真值函数相同.

4、联结词的全功能集合

定义设S是一个联结词集合，如果任何n(n>=1) 元真值函数都可以由仅含S中的联结词构成的公式表示，则称S是联结词全功能集.

说明：

若S是联结词全功能集，则任何命题公式都可用S中的联结词表示.

若S1, S2是两个联结词集合，且S1S2. 若S1是全功能集，则S2也是全功能集.

离散数学（四）：命题函数与真值公式相关推荐

[离散数学]命题逻辑P_4：命题公式和真值表
[离散数学]命题逻辑P_4:命题公式和真值表前言 1. 命题变元常值命题定义例子命题变量定义注意 2. 命题公式定义关于命题公式的说明例子 3. 公式的解释定义例子注意 4. 真 ...
[离散数学]命题逻辑P_5：命题公式分类和等价
[离散数学]命题逻辑P_5:命题公式分类和等价前言 1. 真值表告诉我们什么? 例子 2. 命题公式分类定义例子 3. 公式的逻辑等价定义定理证明总结前言第五讲:命题公式分类和等价 ...
excel乘法公式怎么输入_Excel函数中的IF条件函数怎么用？四个IF函数公式带你轻松上手...
对于学习Excel的同学来说,了解Excel函数最开始接触到的应该就是IF条件判断函数.这个函数在实际运用中也是非常的普遍.作为一种逻辑判断函数,对于许多同学来说,感觉也是非常的难.今天我们就来通过四 ...
excel中if函数怎么用android,Excel函数中的IF条件函数怎么用？四个IF函数公式带你轻松上手...
对于学习Excel的同学来说,了解Excel函数最开始接触到的应该就是IF条件判断函数.这个函数在实际运用中也是非常的普遍.作为一种逻辑判断函数,对于许多同学来说,感觉也是非常的难.今天我们就来通过四 ...
离散数学实验：计算真值
一.实验目的熟悉五个常用联结词合取.析取.条件和双条件的概念,掌握真值表技术. 二.实验内容本实验要求从键盘输入两个命题P和Q的真值,求它们的合取.析取.条件和双条件的真值.用C语言或MATLAB ...
【高等数学】上册第四章不定积分公式
文章目录 1. 基本初等函数对应的不定积分 1.1. 反三角函数 1.2. 三角函数 2. 基本初等函数的不定积分 2.1. 幂函数 2.2. 三角函数 2.3. 指数函数 3. 导数.微分和不定积分 ...
离散数学【笔记】{谓词逻辑、公式的解释、等价关系、前束范式、推理形式和推理规则、综合推理方法}
公式的解释公式的解释和真值公式的分类公式的判定问题等价谓词演算中的基本等价公式其中,第4条量词分配律,任意只能是合取,而存在只能是析取前束范式前束范式的求解步骤推理形式推理规律 ...
数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二
数字符号哥德尔数配置及变元.公式和谓词散议--哥德尔读后之二十二这篇博文折腾了我近一个月,广州从8月以来几乎天天都在摄氏35度的酷热之中,满以为在秋凉之前可以完成,可你要从阅读哥德尔原著中找到些感觉 ...
离散数学笔记Discrete Mathematics
------------------------------------------------------------------- Design By 2100301629王家寧第一章集合 1 ...

离散数学（四）：命题函数与真值公式

1、复合连接词

2、真值函数

3、命题公式与真值函数

4、联结词的全功能集合

离散数学（四）：命题函数与真值公式相关推荐

最新文章

热门文章