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

اهمیت

۰/۵

$\Sigma$ یک مجموعهٔ نامتناهی از جملات در یک زبان مرتبهٔ اول است. فرض کنیم به هر زیرمجموعهٔ متناهی $\Sigma$ ، می‌توان یک جملهٔ دیگر اضافه کرد به‌طوری‌که مجموعهٔ حاصل سازگار باشد. چه تعداد از ادعاهای زیر لزوماً درست است؟

$\Sigma$ سازگار است.
$\Sigma$ تمام است.
$\Sigma$ مستقل است.

#first-order-logic#compactness#consistency#completeness#independence#model-theory