KonkurStudy

سوال ۱۱۱ کنکور ارشد علوم کامپیوتر ۱۳۹۸

اهمیت
۰/۵

در یک قطعه از یک برنامه کامپیوتری، n متغیری صحیح است و آرایه ‎A[1] ، ...، A[20]‎ به‌صورت زیر تعریف شده است:

for n := 1 to 20 do
    A[n] := n * n - n

کدام‌یک از گزاره‌های زیر صحیح است؟

#logic#quantifiers#universal-quantifier#existential-quantifier#model-evaluation