سوال ۱۰۶ کنکور ارشد علوم کامپیوتر ۱۳۹۷
اهمیت
۰/۵
چه تعداد از خواص زیر در ساختار حسابی، بیانپذیر (تعریفپذیر) است؟
- اول بودن
- فرد بودن
- مربع کامل بودن
پاسخ صحیح: گزینهٔ D — ۳
پاسخ تشریحی
The arithmetic structure is the standard model . …
ادامهٔ پاسخ تشریحی ویژهٔ مشترکان است.
مشاهدهٔ پاسخ کامل#first-order-logic#definability#model-theory#arithmetic-structure#quantifiers#predicate-logic