用谓词公式表达： 选修离散数学的同学,必须提交所以课后作业,才能参加期末考试

Question

如题所述

Answer 1

设M(x):x是同学 R(x):x是作业 A(x):x选修离散数学
B(x,y):x提交y C(x):x参加期末考试

谓词公式为：

∀x(M(x)∧A(x)∧∀y(R(y)→B(x,y))→C(x))
【简单解释】
M(x)∧A(x) 为选修离散数学的同学
∀y(R(y)→B(x,y))为对于所有的作业，x都提交了
∀x(M(x)∧A(x)∧∀y(R(y)→B(x,y))→C(x))为所有选修离散数学的同学，并且提交了所有的作业，才能参加期末考试。

Answer 2

ASD