【正确答案】解：设W(x): x 是事情；M( y): y 是机器；C(x, y)：x 能由y 来完成。原句可形式化为以下两种形式之一： （1）??x ?y (W(x) ∧M(y) → C(x, y)) （2）?x ?y (W(x) ∧ M(y) ∧?C(x, y))

【答案解析】说明：写出上述任一种形式均可得满分。但如缺少设置的内容，则只给1 分。