GCT逻辑题,要通俗易懂的.

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/08 18:52:05

GCT逻辑题,要通俗易懂的.
GCT逻辑题,要通俗易懂的.
 

GCT逻辑题,要通俗易懂的.
藏獒是世界上最勇猛的狗,一只壮年的藏獒能与5只狼搏斗.
所有的藏獒都对自己的主人忠心耿耿,而所有忠实于自己主人的狗也为人所珍爱.
假设
藏獒,Tibetan Mastiff的集合为T
世界上最勇猛的狗The bravest dog的集合为B
忠实于自己主人,Faithful to their masters 的集合为F
为人所珍爱, cherished by human的集合为 C
x为所有狗Dog,
∀x∈D
隐含的前提
∃x∉T
有些狗不是藏獒
已知条件
藏獒是世界上最勇猛的狗
∀x∈T↔∀x∈B
T=B
所有的藏獒都对自己的主人忠心耿耿
∀x∈T→∀x∈F
而所有忠实于自己主人的狗也为人所珍爱.
∀x∈F→∀x∈C
therefore
∀x∈T→∀x∈F→∀x∈C
定理
∀x∈T=B→∀x∈C ⇔
∀x∉C → ∀x∉T=B ⇔
¬(∃x∉T=B→∀x∈C)
所有的藏獒(世界上最勇猛的狗,不是之一)都为人所珍爱

∃x∈T=B→∀x∈C
至少有一些的藏獒(世界上最勇猛的狗,不是之一)为人所珍爱
有些为人所珍爱的狗是藏獒,必然为真
如果以上陈述为真,以下陈述都必然为真,除了:
A 有些为人所珍爱的狗不是藏獒
当T=C时,
不存在,选项A是假
当T≠C是
选项A才真,
B 任何不为人所珍爱的狗都不是藏獒
∀x∉C → ∀x∉T=B
选项B必然为真
C 有些世界上最勇猛的狗为人所珍爱
∃x∈T=B→∀x∈C
选项C必然为真
D有些忠实于自己主人的狗是世界上最勇猛的狗
∃x∈T=B
选项D必然为真
综上答案为A