formal method lecture 2: propositional logic
每一个都是一个能够判断是真的还是假的
atomic是能够判断对错的
from simple to complex
p and q are formula
negation of p and negation of q are also formula
conjunction
not p and not q are formulas
(p and q) or (not p and not q )
assigning the truth value to the values
interpretation is mapping atomic propositions with truth values
assigning atomic propositios
I1§ = T
I1(q) = T
I3 = F
and
I3 = T
I assigns the truth values to the
atomic propositional
go to construtors
flip the truth value
(p->q)^(p->~q)
找真值表
如果有一个组合满足就可以
1 0
0 1
1 1
0 0
右键,两个指头按一下就行
formal method lecture 2: propositional logic相关推荐
- formal method lecture 13
抖一抖机灵 看看英国宿舍的一角
- formal method lecture 11
- formal method lecture 9
bags containing other bags function的 性质在所有的bag中都适用 这个贼有用 c is not in the domain of the function
- formal method lecture 7 文件系统
紫色的是变量的定义 红色的判断这些变量的判断 有两种方法能够做schema的操作 inclusion 有很多新的变量 说白了就是把两个schema拼在一起 这样也有很多的新的预测的点 我们能判断,这两 ...
- 第五课 formal method 的课件和翻译,原来老师用latex打印的,pdf转成markdown,之后翻译的
COMP 313 - Formal Methods Lecture 5 : FunctionsinZ MartinZimmermann(UniversityofLiverpool) Planfor t ...
- April 24, 17:30-20:00, 1479, Concentration-compactness/Rigidity method lecture 3 by Yang Lan
时间:April 24 (Wed.), 17:30-20:00 地点:理科一号楼1479 报告人:兰洋(北大本科生) 在几个报告中,兰洋将详细报告"Concentration-compact ...
- formal method revision
- formal method
- formal method online checking tool
https://www.react.uni-saarland.de/tools/online/EAHyper/
最新文章
- oracle insert汉字出错,Oracle数据库之Oracle批量插入数据SQL语句太长出错:无效的主机/绑定变量名...
- 消息总线(Spring Cloud Bus)
- Zookeeper 服务注册与发现02——服务消费者
- python相比于excel的优势_都在讨论Python能否取代Excel,那有没有人想到它
- Android编译环境(1) - 编译Native C的模块
- python处理pdf文档_pyPdf - 用Python方便的处理PDF文档
- OpenCV--二值化
- EDEM2019 实例操作教程——输送带
- LayaBox---Animation---时间轴动画
- Two Cylinders (辛普森公式处理积分)
- 视觉SLAM总结-本质矩阵E分解
- LA 3713 Astronauts
- 解决Oracle使用in语句不能超过1000问题
- 使用canvas实现贪吃蛇
- android短信分享,android 短信分享
- Android 获得 usb 权限的两种方式
- 中国都市女性抗衰洞察:Z世代抗衰意识普遍觉醒,“纹”题成抗衰重点
- Java面向对象程序设计综合练习2(编程题)
- C语言 结构体 来淄博旅游
- jquery时间网格_10个最迷人的jQuery网格