کدام گزینه، صورت منطقی تعریف تابع بیکران f : X → R است؟ ( M را مقید به اعداد مثبت میگیریم.)

∀ M ∃ x (x ∈ X ∧ f(x) > M)

∀ x ∃ M (x ∈ X ⇒ f(x) > M)

∃ M ∀ x (x ∈ X ⇒ f(x) > M)

∃ x ∀ M (x ∈ X ∧ f(x) > M)

سوال ۳۶ کنکور ارشد علوم کامپیوتر ۱۴۰۲

اهمیت

۰/۵

کدام گزینه، صورت منطقی تعریف تابع بی‌کران $f : X \to \mathbb{R}$ است؟ ( $M$ را مقید به اعداد مثبت می‌گیریم.)

#predicate-logic#quantifiers#fol-translation#restricted-quantification#quantifier-order#existential-quantifier