[توجه به برش: بالای صورت سؤال بریده شده و بخش دیدهشده از وسط جمله آغاز میشود.] ... که در آن دامنه A ، Z ، رابطه ≤ و f تابع x-۱ باشد. کدامیک از دو فرمول زیر در این تعبیر، درست هستند؟ α = ∃ x_2 ∀ x_1 A(f(x_1), x_2) β = ∃ x_3 A(f(x_3), x_3)

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

اهمیت

۰/۵

[توجه به برش: بالای صورت سؤال بریده شده و بخش دیده‌شده از وسط جمله آغاز می‌شود.] ... که در آن دامنه $A$ ، $\mathbb{Z}$ ، رابطه $\le$ و $f$ تابع $x-۱$ باشد. کدام‌یک از دو فرمول زیر در این تعبیر، درست هستند؟

$\alpha = \exists x_2\, \forall x_1\; A(f(x_1), x_2)$

$\beta = \exists x_3\; A(f(x_3), x_3)$

#predicate-logic#first-order-logic#quantifiers#model-evaluation#existential-quantifier#truth-in-a-structure