سوال ۱۰۰ کنکور ارشد علوم کامپیوتر ۱۴۰۳ — فرض کنیم ⟨ M_n : n ∈ N ⟩ دنباله‌ای از L- ساختارها (L-structure) باشد…

Question

فرض کنیم ⟨ M_n : n ∈ N ⟩ دنباله‌ای از L- ساختارها (L-structure) باشد که M_n زیرساخت مقدماتی M_(n+1) باشد. قرار می‌دهیم M = bigcup_n M_n و ساخت M را با عالم سخن M به‌صورت طبیعی تعریف می‌کنیم. کدام مورد، صحیح است؟

Accepted Answer

هر M_n زیرساخت مقدماتی M است.

Answer

همه M_n ها زیرساخت M هستند ولی ممکن است هیچ‌کدام زیرساخت مقدماتی M نباشند.

Answer

همه M_n ها زیرساخت M هستند ولی حداقل یکی از M_n ها زیرساخت مقدماتی M است.

Answer

ممکن است هیچ‌کدام از M_n ها زیرساخت M نباشند.