Models And Counter-Examples
মেস মানে "মডেলস অ্যান্ড কাউন্টার-এক্সাম্পলস", এবং এটি একটি মডেল সন্ধানকারী। বেশিরভাগ স্বয়ংক্রিয় উপপাদ্য প্রবক্তারা প্রমাণ সমস্যার সাধারণ রূপের ধারার উপর খণ্ডন করে প্রমাণ করার চেষ্টা করে, এটি দেখিয়ে যে স্বতঃসিদ্ধ এবং নেতিবাচক অনুমানের সংমিশ্রণ কখনই একযোগে সত্য হতে পারে না, অর্থাৎ। মডেল নেই। অন্যদিকে, মেস-এর মতো একজন মডেল সন্ধানকারী ধারাগুলির একটি সেটের একটি স্পষ্ট মডেল খুঁজে বের করার চেষ্টা করেন। যদি এটি সফল হয়, তবে এটি অনুমানের একটি পাল্টা উদাহরণের সাথে মিলে যায়, অর্থাৎ। এটি (দাবি করা) উপপাদ্যকে অস্বীকার করে। গদা জি. এন. ইউ. জি. পি. এল-এর লাইসেন্সপ্রাপ্ত। আরও দেখুন ওটার (উপপাদ্য প্রবাদ) প্রবাদ 9 রেফারেন্স বাহ্যিক লিঙ্ক সিস্টেম ডাউনলোড মুক্ত উপপাদ্য মুক্ত সফ্টওয়্যার