练习题1-1:逻辑_命题逻辑英文习题-CSDN博客

1-1 Worksheet Logic

问题一: 命题 (Propositions)

判断下列每个句子是否为命题. 如果是一个命题，说明它的真值，否则解释为什么他不是命题.

(1). Is this a proposition?
(2). 2 + 4 = 7
(3). x + 5 = 6
(4). The School of Computing is part of the Faculty of Engineering and Physical Sciences.
(5). Stop!!

不是命题，该句子是范围局不是陈述句
是命题，但等式不成立，真值为false
不是命题，不能判断真值为true或者false
是命题，陈述事实，真值为true
不是命题，该句子不是陈述句

问题二: 使用命题逻辑建模英语句子(Modelling English with propositional logic)

设p, q 和 r 为下列的命题。
p: I score 50% or more in Algorithms.
q: I pass the module.
r: Unicorns exist.

通过使用p, q, r 和逻辑连接词构建符合命题，为下列自然自然语言语句建模：
(1) If I score 50% or more in Algorithms then I pass the module.
(2) I score less than 50% in Algorithms and I pass the module.
(3) Either I score 50% or more in Algorithms or unicorns exist.
(4) It is not the case that unicorns exist therefore I pass the module.
(5) Unicorns exist if and only if I pass the module.

$\rightarrow q$
$\neg p \wedge q$
$\vee r)\wedge\neg(p\wedge r)$
$\neg r\wedge q$
$r\leftrightarrow q$

注意：either…or…不包含两者同时成立，使用’并’逻辑操作符时，要去掉同时成立条件。

问题三: 否定(Negation)

找出下列命题的否定形式
(1) At least 10 inches of rain fell today in Leeds.
(2) I score 50% or more in Algorithms and I pass the module.
(3) If Maria studies Algorithms, she will find a good job.
(4) All bicycles are green.
(5) All mountains are at most 8000 metres high.

Less than 10 inches of rain fell today in Leeds.
I score less than 50% in Algorithms or I do not pass the module.
Maria studies Algorithms but she does not find a good job.
At least one bicycle is not green.
There exists a mountain that is more than 8000 metres high.

问题四: 使用逻辑谓词建模英语句子(Modelling English with predicate logic)

使用逻辑谓词为下列自然语言句子建模。记住要定义谓词和定义域。

(1) All students in the class progress into the second year if they pass the exam.
(2) All students will either pass or fail.
(3) There exists a day in the week when I will not work.
(4) There exists a student who will score 100% in every module.
(5) For every natural number $x$ , $x$ is even if and only if $x^2$ is even.

$\forall x(E(x)\rightarrow P(x))$ ，这里 $x$ 的定义域由班上所有学生组成，并且 $E (x)$ 表示’x passes the exam’，而且 $P (x)$ 表示’x progesses into the second year’
$\forall x(P(x)\vee\neg P(x))$ ，这里 $x$ 的定义域由所有学生组成，并且 $P (x)$ 表示’x passes’
$\exists x\neg W(x)$ ，这里 $x$ 的定义域由包含了所有的工作日，并且 $W (x)$ 表示’I will work on x’
方法1: $\exists x(S(x)\wedge\forall y(M(y)\rightarrow H(x,y)))$ ，这里 $x$ 和 $y$ 的定义域由所有人和模块组成， $S (x)$ 表示’x is a student’， $M (x)$ 表示’x is a module’，并且 $H (x, y)$ 表示’x scores 100% in y’
方法2： $\exists x\forall y H(x,y)$ ，这里 $x$ 的定义域由所有学生组成， $y$ 的定义域由由所有模块组成，并且 $H (x, y)$ 表示’x scores 100% in y’
5. $\forall x(\exists y(x=2y)\leftrightarrow\exists z(x^2=2z))$ ，这里 $x$ 和 $y$ 的定义域为 $N$ .

问题五: 将谓词逻辑翻译成英语句子(Translating predicate logic to English)

对下列每个谓词逻辑公式，写一个自然语言句子并且表达相同的含义。
(1). $\forall x(P(x) \vee \neg P(x))$ , 其中 $x$ 的定义域是所有人的集合, 并且 $P (x) :=$ ‘为Free Software Foundation工作’。

(2). $\exist x\forall y(R(x,y) \wedge R(y,x))$ ，其中 $x$ 和 $y$ 的定义域由集合 ${Alice,Bob,Clive,Davina,Edgar\}$ 组成，并且 $R (x, y) :=$ ‘ $x$ knows $y$ ’。

(3). $(\forall x(H(x)\rightarrow M(x))\wedge H(Alex))\rightarrow M(Alex)$ ，其中 $x$ 的定义域是所有生物的集合， $H (x) :=$ ‘ $x$ 是人类’, $M (x) :=$ ‘ $x$ 是凡人’。

All people either work for the Free Software Foundation or do not work for the Free Software Foundation.
At least one of Alice, Bob, Clive, Davina and Edgar knows and is known by all the others.
If all humans are mortal and Aless is human then Alex is mortal.

问题六: 用命题逻辑建模解决问题(Modelling with propositional logic for problem solving)

有人从饼干罐里偷了饼干。嫌疑人是 $A l b er t, B e tt y$ and $Cl i v e$ ，至少其中一人犯下了罪行。只有 $A b er t$ 参与了， $Cl i v e$ 才会参加, $B e tt y$ 不会独自参加。