Hintikka set
गणितीय तर्क में, एक हिन्तिक्का समुच्चय तार्किक सूत्रों का एक समुच्चय है जिसके तत्व निम्नलिखित गुणों को संतुष्ट करते हैंः एक परमाणु या उसका संयुग्म समुच्चय में दिखाई दे सकता है लेकिन दोनों नहीं, यदि समुच्चय में एक सूत्र में एक मुख्य प्रचालक होता है जो "संयुग्म-प्रकार" का होता है, तो उसके दो प्रचालक समुच्चय में दिखाई देते हैं, यदि समुच्चय में एक सूत्र में एक मुख्य प्रचालक होता है जो "विसंगत-प्रकार" का होता है, तो उसके दो प्रचालक में से कम से कम एक समुच्चय में दिखाई देता है। "संयुग्म-प्रकार" और "संयुग्म-प्रकार" का सटीक अर्थ शब्दार्थिक झांकी की विधि द्वारा परिभाषित किया जाता है। शब्दार्थिक झांकी का उपयोग करके प्रस्तावात्मक तर्क की पूर्णता को साबित करने का प्रयास करते समय हिन्तिक्का सेट उत्पन्न होते हैं। इनका नाम जक्को हिन्तिक्का के नाम पर रखा गया है। प्रस्तावक हिन्तिक्का सेट प्रस्तावक तर्क के लिए एक शब्दार्थ झांकी में, हिन्तिक्का सेट को प्रस्तावक झांकी के लिए समान संकेतन का उपयोग करके परिभाषित किया जा सकता है। एक प्रस्तावक हिन्तिक्का समुच्चय एस के तत्व निम्नलिखित शर्तों को पूरा करते हैंः कोई भी चर और इसका संयुग्म दोनों एस में नहीं हैं, एस में किसी के लिए, इसके घटक दोनों एस में हैं, एस में किसी के लिए, इसके घटकों में से कम से कम एक एस में है। यदि एक समुच्चय एस एक हिन्तिक्का समुच्चय है, तो एस संतोषजनक है। संदर्भ स्रोत गणितीय तर्क