【MOOC离散习题】第一部分数理逻辑(待续)

1.1命题逻辑

1.下列哪个语句是真命题（  C   ）

• A.

  我只给不刮胡子的人刮胡子。

• B.

  你喜欢滑雪吗？

• C.

  北京是中国的首都。

• D.

  禁止吸烟！

2.下列哪句话是命题（A）

• A.

  红豆生南国。

• B.

  春来发几枝？

• C.

  愿君多采撷！

• D.

  此物最相思！

3.我第一次接触《离散数学》，我就立刻 喜欢上它了。A

• A.√

• B.×

4.我正在说谎。B

• A.√

• B.×

5.1+11=100B

• A.√

• B.×

1.2命题及联结词

1

已知P为F，则P∧Q为( F  )。

请用T或F来表示。

2

已知P为F，则P→Q为(  T )。

请用T或F来表示。

3

P↔P  的真值为(  T  )。

请用T或F来表示。

4

已知P为T，则P∨Q为(  T )。

请用T或F来表示。

5

将下列命题符号化.

李平既聪明又用功.

设 P:李平聪明.  Q:李平用功.P∧Q

6

将下列命题符号化.

李平不但聪明,而且用功.

设 P:李平聪明.  Q:李平用功.P∧Q

1.3合式公式及翻译

1.选出为合式公式的选项（CD）多选

• A.P¬→R

• B.P∨（Q∧R

• C.P→R

• D.P∨ ( Q∧R)

2.说离散数学无用且枯燥无味是不对的。(¬ (¬p∧q) 或p∨¬q)

设p：离散数学是有用的。

q：离散数学是枯燥无味的。

3.小王爱打球或爱跑步。(p析取q p∨q)

设p：小王爱打球。 q：小王爱跑步。

4.我去公园，仅当天气好。(q→p)

设p：天气好。 q：我去公园。

5.派小王或小李中的一人去开会。((p∧¬q)∨(¬p∧q))

设p：派小王去开会。q：派小李去开会。

1.4等价公式

1.下列哪个式子为分配律（C）

• A.P®QÛØP∨Q 

• B.Ø(P∨Q)ÛØP∧ØQ   

• C.(P∧Q)∨(P∧R)ÛP∧(Q∨R)

• D.P∨(Q∨R)Û(P∨Q)∨R 

2.p→qÛ ¬p∨q

3.p∧(p∨q)Ûp

1.5范式

1.下列哪些选项为简单合取式（A、B、D）

• A.p

• B.p∧¬ p

• C.q∨p∨¬ p

• D.p∧¬q

2.下列哪些选项为简单析取式（A、B、C、D）

• A.P

• B.┐PÚQ

• C.PÚ┐P

• D.QÚPÚ┐P

3.下列哪些选项为析取范式（A、B、C）

• A.P∨┐Q 

• B.(P∧Q)∨(P∧┐Q∧R)

• C.Q∧┐P

• D.(P∨Q)∧(P∨┐Q∨R)

4.下列哪些选项为合取范式（B、C、D）

• A.(P∧Q)∨(P∧┐Q∧R)

• B.P∨┐Q

• C.(P∨Q)∧(P∨┐Q∨R)

• D.Q∧┐P

5.一个合式公式所求出的主析取范式为m2∨ m4∨ m5∨ m6∨ m7,那么其主合取范式可写成M0∧M1∧M3.(A)

• A.√

• B.×

1.6命题推理理论

1.如果“只有你去比赛，我才去观战”命题为真，则下列为假的一项是：A

• A.

  如果你去比赛，我就去观战

• B.

  你不去比赛，我也不去观战

• C.

  如果我去观战，你就一定比赛

• D.

  若我去观战，则你去比赛

2. (p→q)∧(q→r)⇒ (p→r) 或p→r 或p → r

提示：常用符号   ┐∨∧→↔⇒⟺

3. p∧(p→q)⇒ q

提示：常用符号   ┐∨∧→↔⇒⟺

4.┐p∧(p∨q)⇒ q

提示：常用符号   ┐∨∧→↔⇒⟺

5.┐q∧(p→q)⇒ ┐p 或┐ p

提示：常用符号   ┐∨∧→↔⇒⟺

6.p→q⟺T等价于 p⇒q

提示：常用符号   ┐∨∧→↔⇒⟺

1.7谓词及翻译

1.下面哪些选项不是合式公式(   D    )

• A.

  x∀y∃p(x)

• B.

  p

• C.

  ∀xp(x)

• D.

  p(∃x)∧q(x)∀∃x

2.翻译句子：教室里有同学在讲话

令p(x)：x是同学， q(x)：x在教室里，r(x)：x在讲话

参考符号：¬ ∨ ∧ → ↔ ⇒ ⟺ ∀ ∃

∃x(p(x)∧q(x)∧r(x))

3.翻译句子：今天有雨雪，有些人会跌跤。

令R：今天下雨， S：今天下雪，M(x)：x是人，F(x)：x会跌跤

参考符号：¬ ∨ ∧ → ↔ ⇒ ⟺ ∀ ∃

(R∧S)→∃x(M(x)∧F(x))

4.翻译句子：凡正数都大于零。

令F(x): x是正数。M(x):x大于零。

∀(x)(F(x)→M(x))

5.翻译句子：存在小于2的素数。

令E(x): x小于2。S(x):x是素数。

(∃x)(E(x)∧S(x))

1.8谓词等价式和蕴涵式

1.判断对错，(∀x)(P(x)→Q(f(x),a))其真值为F

 错

2.判断对错，(∃x)(P(f(x))∧Q(x,f(a))其真值为F

对

3.判断对错，(∃x)(P(x)∧Q(x,a))其真值为F

 错

4.判断对错，(∀x)(∃y)(P(x)∧Q(x,y))其真值为F

对

5.判断对错  ∃xA(x)→∀xB(x)⟺∀x(A(x)→B(x))

错

6.¬(∀x)P(x) ⟺

参考符号：¬ ∨ ∧ → ↔ ⇒ ⟺ ∀ ∃

提示：答案中的符号与字母之间不要有空格，括号为英文状态下的括号

(∃x)¬p(x)

7.(∀x)A(x)→B ⟺

参考符号：¬ ∨ ∧ → ↔ ⇒ ⟺ ∀ ∃

提示：答案中的符号与字母之间不要有空格，括号为英文状态下的括号

(∃x)(A(x)→B)

1.9前束范式

1. 下列公式是前束范式

 对

2.下列公式是前束范式。

错

3.下列谓词公式中为前束范式的是（）

• A.

  

• B.

  

• C.

  

• D.

  

A

（未完待续）