KonkurStudy

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

اهمیت
۰/۵

چه تعداد از خواص زیر در ساختار حسابی، بیان‌پذیر (تعریف‌پذیر) است؟

  • اول بودن
  • فرد بودن
  • مربع کامل بودن
#first-order-logic#definability#model-theory#arithmetic-structure#quantifiers#predicate-logic