逻辑推理：公司招聘必录取C的证明

设：

A(x)：x被录取为工作人员 B(x)：x应聘者被录取 C(x)：x为C应聘者

则：

(3)∃x(B(x)) (4)A(x)∧¬B(x)→C(x) (5)B(x)→C(x)

要证明：

∴A(C)

使用反证法：假设C没有被录取，则有¬B(C)，根据(4)得到A(C)→C(C)，再根据(3)得到∃x(B(x))，即存在人被录取，与假设矛盾。因此，公司一定录取C。

注：这里采用了自然演绎推理中的反证法，即假设要证明的命题不成立，推导出矛盾，从而得到要证明的命题成立的结论。