【学习笔记】离散数学（Discrete Math） -命题逻辑1

离散数学（Discrete Math）-命题逻辑

目录

离散数学（Discrete Math）-第一章 命题逻辑

 

逻辑命题Def:

算子运算符Def：

事件Def：

运算定律

代数运算

---

逻辑命题Def:

Proposition 命题 ：A proposition is a declaration that is either true or false but not both.

Truth Value 真值 ：The truth value of a true (or false respectively) proposition is True (or false respectively) and denoted by T (or F respectively).

Ex:

1. 太阳的英文是sun。是命题 为真命题
2. 2+5=9   是命题     为假命题
3. X+8=0    不是命题
4. 今天天气不错哦。  不是命题
5. 请递给我课本。   不是命题

Propositional Variables命题变量：Propositional Variables are variables that represent propositions,e.q:  p,q,r…(小写)

propositions Caculus 命题运算 ：The area of logic that deals with propositions is called propositions Caculus.

Compound Propositions 复合命题 ： Compound Propositions are propositions that are formed from existing propositions using Logical Operators(逻辑算子).

Logical Operators 逻辑算子

Truth Table 真值表

logic puzzles 逻辑推理

算子运算符Def：

Negation Operator 否定运算符（横折 - ）

例：

P	非P
0	1
1	0

Conjunction Operator 连接运算符（∧ AND）

例：

p	q	p∧q
0	0	0
0	1	0
1	0	0
1