(۰۷ بهمن ۱۳۹۰ ۰۴:۵۹ ب.ظ)mfXpert نوشته شده توسط:  جواب قسمت الف)

مسند $P(x)$‌: دانش آموز x نمره ۲۰ دارد.
مسند $G(x)$‌: دانش آموز x خوب است.
مسند $R(x,c)$‌: دانش آموز x در درس c رد شده است.

مسند معادل با جمله اول:
$\forall x:Student\{P(x)\Rightarrow G(x\})$
مسند معادل با جمله دوم:
$\forall x:Student\{G(x)\Rightarrow \forall c:Course.not\ R(x,c)\}$
مسند معادل با جمله سوم:
$\forall x:Student\{not\ G(x)\Rightarrow \exists c:Course.R(x,c)\}$

جملات سوم و چهارم هم که کاری ندارن.