离散第一章

目录

1、命题的定义

2、命题的翻译

对蕴含的解释：

 

3.命题等价式 

4.Predicates and Quantifiers（谓词和量词）

5.嵌套量词

6.推理规则 

---

 

---

 

---

1、命题的定义

只有ef不是命题

真值分别为TFTF

 

异或

 

2、命题的翻译

1）仅当是一种条件语句

 

┓，∧，∨，→，<->

1)例题2 上海到北京的14次列车是下午五点半或六点开。

解    p：上海到北京的14次列车是下午五点半开。
q：上海到北京的14次列车是下午六点开。
在本例中，汉语的“或”是不可兼或，而逻辑联结词v是“可兼或”。因此不能直接对两命题析取。构造表如表1-3.1所示。

表1-3.1

p	q	原命题	p«q	┓（p→←q）
t	t	f	t	f
t	f	t	f	t
f	t	t	f	t
f	f	f	t	f

从表中可看出原命题不能用前述五个联结词单独写出，但是如用命题和联结词组合，可以把本命题表达为：┓（p<-