离散数学逻辑部分复习(一):单词,及注解
来源:互联网 发布:网络上签的合同有效吗 编辑:程序博客网 时间:2024/05/06 13:53
glossary:
1. statement: a declarative sentence that is either true or false.
2. compound statements:statements or propositional variables can be combined by logical connectives to obtain compound statements.
3. negation if p is a statement , the negation of p is the statement not p , denoted by
4. conjunction :if p and q are statements , the conjunction of p and q is the compound statement “p and q”,denoted by p
5. disjunction : if p and q are statements , the disjunction of p and q is the compound statement “p or q” , denoted by p
6. predicate,propositional function
7. universal quantification :
8. existential quantification:
9. conditional statement : if p and q are statements , the compound statement “if p then q “, denoted by p
10. converse: q
11. contrapositive: ~q
12. equivalence,biconditional : p
13. contradiction:a statement that is always false.
14. tautology: a statement that is always true.
15. contingency:depending on its propositional variables . it can be true or false.
16. logically equivalent
- 离散数学逻辑部分复习(一):单词,及注解
- 离散数学(一):逻辑与证明笔记
- 离散数学 - 逻辑
- 离散数学复习
- 《离散数学及其应用》读书笔记【一】逻辑和证明
- 2007年1月26日、离散数学复习一
- 离散数学复习笔记
- 山东大学离散数学复习纲要
- 离散数学复习笔记-1
- 离散数学复习笔记-2
- 《离散数学》备考复习
- 离散数学笔记-算法部分
- SpringMvc部分注解及用法
- 形式化方法(一) 逻辑部分概念梳理
- 离散数学关系部分错题
- 离散数学基础(一)
- 离散数学笔记一
- 离散数学核心内容及公式
- ubuntu16.04升级17.04
- java设计模式之单例模式
- Linux下多线程的简单调试技巧
- Ubuntu17.04安装友善之臂mini-tool
- Huffman编码与解码_C语言实现
- 离散数学逻辑部分复习(一):单词,及注解
- 串口波特率计算
- Android--ListView的使用与常用数据适配器(Adapter)--案例《应用市场》
- 《疯狂JAVA讲义》之九——Java数据类型分类
- java中创建string的方法
- 使用Vue.js和Laravel构建的开源博客。
- bzoj1497 NOI2006 最大获利 最小割
- BZOJ 1031 字符加密【后缀数组】
- 摄像机的跟随