谓词逻辑推理 — 计算机填空题

设个体域为某图书馆的全部藏书，谓词 C(x) 表示「x 是经典著作」，T(x) 表示「x 被翻译成中文」，R(x) 表示「x 被陈列在一层书架」。已知前提均为真：(1) ∀x(C(x)→T(x))；(2) ∀x(T(x)→R(x))；(3) ∃x(R(x)∧¬C(x))。则由 (1)(2) 可得 ∀x(C(x)→R(x))，由 (3) 可知「所有被陈列在一层书架的书都是经典著作」的真值为____（填「真」或「假」），从 (1)(2)(3) 能推出的最确切结论形如 ∃x(____∧¬C(x))（用谓词符号填写）。