Question

构造下列推理的证明。 如果他是侦探，他必精通逻辑推理。如果他不是...

构造下列推理的证明。
如果他是侦探，他必精通逻辑推理。如果他不是清洁工，他必是侦探。他逻辑推理能力。所以他是清洁工。
这是一道离散数学题，工在考试中，大神帮帮忙啊。
考完一定给分

Answer 1

由条件一知 侦探必精通逻辑推理，但精通逻辑推理未必是侦探。
由条件二知 只存在两种职业，这里可理解为只存在三种人：一、精通逻辑推理的侦探，二、精通逻辑推理的清洁工，三、不精通逻辑推理的清洁工
楼主你的有问题哈...不妨推理下
假设提问一：他逻辑能力强 所以他是清洁工... 由存在的三种人知 逻辑强的人 可以是侦探和清洁工 所以该提问为伪命题
假设提问二：他逻辑推理能力弱 所以他是清洁工...由存在的三种人知 逻辑能力弱的人 只能是清洁工...该命题正确

Answer 2

如果他是侦探，他必精通逻辑推理，所以不是清洁工。
如果他不是清洁工，他必是侦探。如上！因为精通逻辑推理。
他逻辑推理能力。所以他是清洁工，也可以是侦探。