填空题

【参考答案】

exists ∧ a:in