谓词与量词的形式化 — 计算机选择题
题目
设论域为所有对象，L(x)表示“x是实验室”，M(y,x)表示“y是x的成员”，I(z)表示“z是仪器”，H(y,z)表示“y维护z”。将“每个实验室都有一台仪器，该实验室的所有成员都维护这台仪器”形式化。A. ∀x(L(x)→∃z(I(z)∧∀y(M(y,x)→H(y,z)))) B. ∀x(L(x)→∀y(M(y,x)→∃z(I(z)∧H(y,z)))) C. ∃z(I(z)∧∀x(L(x)→∀y(M(y,x)→H(y,z)))) D. ∀x(L(x)→∃z(I(z)∧∀y(M(y,x)∧H(y,z))))