تالار گفتمان مانشت

سلام
از دوستا کسی هست خاصیت یکنواختی رو در فصل 7راهیان برام توضیح بده!
این جمله تو کتاب راهیان که گفته نمیفهمم:
جستجو اثبات معمولا کارامدتر از شمارش مدلهاست چون درصورت وجود خاصبت یکنواختی،می تواند گزاره های نامربوط را نادیده بگیرد

خاصیت یکنواختی یعنی مثلاً ما در پایگاه دانش، یک سری دانش موجود داریم؛ خاصیت یکنواختی بیان می‌کنه که با اضافه شدن جملات جدید، درستی جملات قبلی همچنان پابرجاست.

در این جمله‌ای که شما نوشتید، منظور اینه که:
شمارش مدل‌ها یک کار تقریباً بیهوده هست و نمیشه در حالت‌های پیچیده همه‌ی حالت‌ها و شرایط را بررسی کرد و شمارش مدل‌ها ممکن به شدت ناکارامد باشه.
بنابراین ما از روش‌های جستجو استفاده می‌کنیم و در این بین خاصیت یکنواختی که در بالا گفتم، به ما در یافتن سریع‌تر جواب کمک میکنه.

[attachment=17530]
چرا تو این سوال ک گزینه 2درسته پاسخنامه راهیان ربطش داده ب خاصیت یکنواختی؟؟!!
این توضیحی ک راهیان از خاصیت یکنواختی داده کجاش به این ربط داره؟