在谓词逻辑中构造下面推理的证明：桌上的每本书都是杰作。写出杰作的人都是天才。某个不出名的人写了桌上的某本书。因此，某个不出名的人是天才。
论域：所有书的集合，D(x):x在桌上，P(x):x是杰作，W(x,y):y写x，T(x):x是天才，a:某本书，b:某个不出名的人，则推理化形式为：[tex=30.214x1.357]Hqp/aXIns/zOAFPMLV2PNIyDXojXYRqijlmjjhw2bHLx4ZDn1eb0LXsTvHVq1WgSgLmzrMV0OFayhB1Jqg9yFhR9f2akNBywR7/BKE0wGJ+F43o7AXrRRNzQoci80qa1hvoF1DjJL9daia+qgzljZkHqMUM7taJPc1pKNgaOIw4=[/tex]，下面给出证明：[img=376x267]1788bd40fea3c47.png[/img]
举一反三
内容
- 0
在“勤奋的人就是创造奇迹的人,所以,有些创造奇迹的人是天才的人”
- 1
在谓词逻辑中构造下面推理的证明：每个喜欢步行的人都不喜欢做汽车，每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车，因而有的人不喜欢步行。
- 2
想象力丰富的人成为天才?
- 3
天才的人往往容易得精神病
- 4
“城里的人想出去，城外的人想进去。”出自《围城》，这本书的主角是：（）