Hintikka set
গাণিতিক যুক্তিতে, হিন্টিকা সেট হল যৌক্তিক সূত্রের একটি সেট যার উপাদানগুলি নিম্নলিখিত বৈশিষ্ট্যগুলি সন্তুষ্ট করেঃ একটি পরমাণু বা তার কনজুগেট সেটটিতে উপস্থিত হতে পারে তবে উভয়ই নয়, যদি সেটের কোনও সূত্রের একটি প্রধান অপারেটর থাকে যা "কনজাকটিভ-টাইপ" হয়, তবে তার দুটি অপারেন্ড সেটে উপস্থিত হয়, যদি সেটের কোনও সূত্রের একটি প্রধান অপারেটর থাকে যা "ডিজানটিভ-টাইপ" হয়, তবে তার দুটি অপারেন্ডের মধ্যে কমপক্ষে একটি সেটে উপস্থিত হয়। "কনজেক্টিভ-টাইপ" এবং "ডিসজেক্টিভ-টাইপ"-এর সঠিক অর্থ শব্দার্থিক ট্যাবলো পদ্ধতি দ্বারা সংজ্ঞায়িত করা হয়। শব্দার্থিক ট্যাবলো ব্যবহার করে প্রস্তাবনামূলক যুক্তির সম্পূর্ণতা প্রমাণ করার চেষ্টা করার সময় হিন্টিকা সেটগুলি উদ্ভূত হয়। এগুলির নামকরণ করা হয়েছে জাক্কো হিন্টিকার নামে। প্রস্তাবনামূলক হিন্টিকা সেট প্রস্তাবনামূলক যুক্তির জন্য একটি শব্দার্থিক ট্যাবলোতে, প্রস্তাবনামূলক ট্যাবলোগুলির জন্য অভিন্ন স্বরলিপি ব্যবহার করে হিন্টিকা সেটগুলি সংজ্ঞায়িত করা যেতে পারে। একটি প্রস্তাবনামূলক হিন্টিকা সেট এস-এর উপাদানগুলি নিম্নলিখিত শর্তগুলি পূরণ করেঃ কোনও পরিবর্তনশীল এবং এর সংমিশ্রণ উভয়ই এস-এ নেই, এস-এর যে কোনওটির জন্য, এর উপাদানগুলি এস-এ রয়েছে, এস-এর যে কোনওটির জন্য, এর উপাদানগুলির মধ্যে কমপক্ষে একটি এস-এ রয়েছে। যদি একটি সেট এস একটি হিন্টিকা সেট হয়, তবে এস সন্তোষজনক। তথ্যসূত্র উৎস গাণিতিক যুক্তি