استواره فشردگی

هنگرد گزاره‌های رایه یکم Γ هیچ مدلی ندارد، اگر و تنها اگر برخی زیرهنگردهای پایان‌دار از Γ هیچ مدلی نداشته باشند. آشنایی با Compactness Theorem چیست؟معنی Compactness Theorem یعنی چه؟ آشنایی با استواره فشردگی چیست؟معنی استواره فشردگی یعنی چه؟ آشنایی با قضیه ی فشردگی چیست؟معنی قضیه ی فشردگی یعنی چه؟ آشنایی با قضیه‌ی فشردگی چیست؟معنی قضیه‌ی فشردگی یعنی چه؟ برابر پارسی قضیه‌ی فشردگی معادل فارسی قضیه‌ی فشردگی

استواره فشردگی

همچنین شناخته شده با: قضیه‌ی فشردگی

برابر انگلیک (انگلیسی): Compactness Theorem

ویمند [=تعریف]

هنگرد [=مجموعه] گزاره‌های رایه یکم [=درجه اول] Γ یک مدل دارد، اگر و تنها اگر هر زیرهنگرد [=زیرمجموعه] پایان‌دار از Γ یک مدل داشته باشد.

ویمند [=تعریف] ۱

هنگرد گزاره‌های رایه یکم Γ هیچ مدلی ندارد، اگر و تنها اگر برخی زیرهنگردهای پایان‌دار از Γ هیچ مدلی نداشته باشند.

جستارهای پیونددار نگره‌ی نمونه