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

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

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

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