K(Killer), H(Hate), V(Victim), RT(Rich Than)
神秘的谋杀案,有事实如下:
(1)在这栋房子里仅住有A,B,C三人。 N={A,B,C}
(2)是住在这栋房子里的人杀了A。 K∈N, V=A
(3)谋杀者非常恨受害者。 K[H]V
(5)除了B之外, A恨所有的人。 A[H]A, A[H]C
(4)A所恨的人,C一定不恨。 C[¬H]A, C[¬H]C
(6) B恨所有不比A富有的人。 B[H]X, ∀X, X[¬RT]A
(7) A所恨的人, B也恨。 B[H]A, B[H]C
(8)没有一个人恨所有的人。 ∃Y, Y[H]A, Y[H]B, Y[H]C, Y∉N
(9)杀人嫌疑犯一定不会比受害者富有。 K[¬RT]V
(10)A不等于B。 A≠B
谋杀者是谁?
(3),(4):
(11) C≠K
(5),(7),(8):
(12) A[¬H]B, B[¬H]B
(6),(12):
(13) B[RT]A
(9),(13):
(14) B≠K
(2),(10),(11),(14):
A=K
自杀。。。