问答题
2分
猫必捕鼠。
参考解析: 解:设C(x):x是猫;M(y):y是老鼠;S(x,y):x捕y。原句可形式化:评分说明:设的符号形式可以不同,但必须设3项。如缺少设置或逻辑符号使用有错
误则只给1分(如S(X,Y)之前用的是∧)。