۰
subtitle
جواب قسمت الف)
مسند P(x): دانش آموز x نمره ۲۰ دارد.
مسند G(x): دانش آموز x خوب است.
مسند R(x,c): دانش آموز x در درس c رد شده است.
مسند معادل با جمله اول:
∀x:Student{P(x)⇒G(x})
مسند معادل با جمله دوم:
∀x:Student{G(x)⇒∀c:Course.not R(x,c)}
مسند معادل با جمله سوم:
∀x:Student{not G(x)⇒∃c:Course.R(x,c)}
جملات سوم و چهارم هم که کاری ندارن.
مسند P(x): دانش آموز x نمره ۲۰ دارد.
مسند G(x): دانش آموز x خوب است.
مسند R(x,c): دانش آموز x در درس c رد شده است.
مسند معادل با جمله اول:
∀x:Student{P(x)⇒G(x})
مسند معادل با جمله دوم:
∀x:Student{G(x)⇒∀c:Course.not R(x,c)}
مسند معادل با جمله سوم:
∀x:Student{not G(x)⇒∃c:Course.R(x,c)}
جملات سوم و چهارم هم که کاری ندارن.