Hintikka set
ریاضیاتی منطق میں، ہنٹیکا سیٹ منطقی فارمولوں کا ایک مجموعہ ہے جس کے عناصر مندرجہ ذیل خصوصیات کو پورا کرتے ہیں: ایک ایٹم یا اس کا کنجوگیٹ سیٹ میں ظاہر ہو سکتا ہے لیکن دونوں نہیں، اگر سیٹ میں کسی فارمولے میں ایک مرکزی آپریٹر ہوتا ہے جو "کنجکٹو ٹائپ" کا ہوتا ہے، تو اس کے دو آپریڈ سیٹ میں ظاہر ہوتے ہیں، اگر سیٹ میں کسی فارمولے میں ایک مرکزی آپریٹر ہوتا ہے جو "ڈسجنٹو ٹائپ" کا ہوتا ہے، تو اس کے دو آپریڈ میں سے کم از کم ایک سیٹ میں ظاہر ہوتا ہے۔ "کنجکٹو ٹائپ" اور "ڈسجنکٹو ٹائپ" کے صحیح معنی کی وضاحت سیمنٹک ٹیبلو کے طریقہ کار سے کی جاتی ہے۔ جب سیمنٹک ٹیبلو کا استعمال کرتے ہوئے پروپوزیشنل منطق کی تکمیل کو ثابت کرنے کی کوشش کی جاتی ہے تو ہنٹیکا سیٹ پیدا ہوتے ہیں۔ ان کا نام جاکو ہنٹیکا کے نام پر رکھا گیا ہے۔ پروپوزیشنل ہنٹیکا سیٹ پروپوزیشنل منطق کے لیے ایک سیمنٹک ٹیبلو میں، ہنٹیکا سیٹ کی تعریف پروپوزیشنل ٹیبلو کے لیے یکساں نوٹیشن کا استعمال کرتے ہوئے کی جا سکتی ہے۔ پروپوزیشنل ہنٹیکا سیٹ S کے عناصر مندرجہ ذیل شرائط کو پورا کرتے ہیں: کوئی متغیر اور اس کا کنجوگیٹ دونوں S میں نہیں ہیں، S میں کسی کے لیے، اس کے اجزاء دونوں S میں ہیں، S میں کسی کے لیے، اس کے اجزاء میں سے کم از کم ایک S میں ہے۔ اگر ایک سیٹ S ہنٹیکا سیٹ ہے، تو S تسلی بخش ہے۔ حوالہ جات ذرائع ریاضیاتی منطق