离散--繁琐的定义
来源:互联网 发布:淘宝卖教程选什么类目 编辑:程序博客网 时间:2024/05/18 00:07
联结词
否定联结词
合取联结词 合取式pq:pq为真当且仅当p与q同时为真
析取联结词 析取式pq:pq为假当且仅当p与q同时为假
蕴涵联结词 蕴涵式pq: pq为假 当且仅当 p为真q为假 ,其他情况都为1
等价联结词等价式pq: pq为真当且仅当p与q同时为真或同时为假
命题公式
命题变项:取值为0或1的变元,也用p,q,r等表示.
命题公式:用联结词和圆括号把命题和命题变项按照一定
规则连接起来的符号串, 常用A,B,C等表示.
例如,A=(pq)(rp)
公式的赋值:对公式中每一个命题变项给定一个值(0或1).
公式的成真赋值:使公式为真的赋值.
公式的成假赋值:使公式为假的赋值.
例如,p=1,q=1,r=1是A的成真赋值,
p=0,q=1,r=0是A的成假赋值.
重言式,矛盾式与可满足式
重言式(永真式):无成假赋值的命题公式 ---就是不管怎么赋值,都是真的式子。
矛盾式(永假式):无成真赋值的命题公式 ---就是不管怎么赋值,都是假的式子。
可满足式(可真可假):不是矛盾式的命题公式 ---也就是不可能一直是假的,大多数是这个式子。
例如, A= (pq)(rp)是可满足式,但不是重言式,
B= (pq)(pq)(pq)(pq)是重言式,
C=p(pq)(pq)是矛盾式.
AB:蕴涵式AB是重言式的简记.
否定联结词
合取联结词 合取式pq:pq为真当且仅当p与q同时为真
析取联结词 析取式pq:pq为假当且仅当p与q同时为假
蕴涵联结词 蕴涵式pq: pq为假 当且仅当 p为真q为假 ,其他情况都为1
等价联结词等价式pq: pq为真当且仅当p与q同时为真或同时为假
命题公式
命题变项:取值为0或1的变元,也用p,q,r等表示.
命题公式:用联结词和圆括号把命题和命题变项按照一定
规则连接起来的符号串, 常用A,B,C等表示.
例如,A=(pq)(rp)
公式的赋值:对公式中每一个命题变项给定一个值(0或1).
公式的成真赋值:使公式为真的赋值.
公式的成假赋值:使公式为假的赋值.
例如,p=1,q=1,r=1是A的成真赋值,
p=0,q=1,r=0是A的成假赋值.
重言式,矛盾式与可满足式
重言式(永真式):无成假赋值的命题公式 ---就是不管怎么赋值,都是真的式子。
矛盾式(永假式):无成真赋值的命题公式 ---就是不管怎么赋值,都是假的式子。
可满足式(可真可假):不是矛盾式的命题公式 ---也就是不可能一直是假的,大多数是这个式子。
例如, A= (pq)(rp)是可满足式,但不是重言式,
B= (pq)(pq)(pq)(pq)是重言式,
C=p(pq)(pq)是矛盾式.
AB:蕴涵式AB是重言式的简记.
AB:等价式AB是重言式的简记,
称A与B等值,AB是等值式.
称A与B等值,AB是等值式.
幂集P(A):A的所有子集组成的集合,即P(A) = { x |xA}
如果 |A| = n, 则|P(A)| = 2n
(1)中B是A的逻辑结论,但不是正确结论; 0 0 1
0 0
- 离散--繁琐的定义
- php 繁琐的问题
- 一个比较繁琐的导航
- EXT稍微繁琐的页面
- 解决bean的繁琐配置
- 【原创】利用PHP5的类定义自动载入代替繁琐低效的的外部文件包含方式
- 离散余弦变换定义
- 求解较繁琐的式子的值
- 游戏的窗口制作..太繁琐..
- 用通配符解决mappingResources的繁琐配置
- 寻找制作帮助的繁琐过程
- VBA解决繁琐的比较问题
- 用通配符解决mappingResources的繁琐配置
- 踏入社会的繁琐和天真
- 没有难度却繁琐的一trigger
- 一次冗长繁琐的排错经历
- 拒绝一切繁琐的if...else...
- Android万能适配器 简化繁琐的开发
- logback学习
- Undefined symbols for architecture armv7问题
- Word自动目录字体过大,如何全选并修改样式
- 结构体初始化
- php模块memcache和memcached区别分析
- 离散--繁琐的定义
- linux下的stdin,stdout和stderr理解
- dazhongdianping招聘
- CentOS系统启动流程和系统初始化
- 【bzoj2749】【HAOI2012】【外星人】【数论】
- 给jdk写注释系列之jdk1.6容器(10)-Stack&Vector源码解析
- 区分ROM RAM DRAM SRAM DDRAM FLASH NOR FLASH
- RGB-D
- 根据centos系统启动过程定位故障位置