Hintikka set
ગાણિતિક તર્કશાસ્ત્રમાં, હિંટિકા સમૂહ એ તાર્કિક સૂત્રોનો સમૂહ છે, જેના તત્વો નીચેના ગુણધર્મોને સંતોષે છેઃ એક અણુ અથવા તેના સંયુગ્મ સમૂહમાં દેખાઈ શકે છે પરંતુ બન્ને નહીં, જો સમૂહમાં સૂત્રમાં મુખ્ય સંચાલક હોય જે "સંયુગ્મ-પ્રકાર" નું હોય, તો તેના બે ઓપરેન્ડ સમૂહમાં દેખાય છે, જો સમૂહમાં સૂત્રમાં મુખ્ય સંચાલક હોય જે "અવ્યવસ્થિત-પ્રકાર" નું હોય, તો તેના બે ઓપરેન્ડમાંથી ઓછામાં ઓછું એક સમૂહમાં દેખાય છે. "કોન્જેક્ટિવ-પ્રકાર" અને "ડિસજેક્ટિવ-પ્રકાર" નો ચોક્કસ અર્થ સિમેન્ટીક ટેબ્લોની પદ્ધતિ દ્વારા વ્યાખ્યાયિત કરવામાં આવે છે. સિમેન્ટીક ટેબ્લોઝનો ઉપયોગ કરીને પ્રપોઝિશનલ લોજિકની સંપૂર્ણતા સાબિત કરવાનો પ્રયાસ કરતી વખતે હિન્ટિકા સેટ ઉત્પન્ન થાય છે. તેનું નામ જાક્કો હિન્તિકાના નામ પરથી રાખવામાં આવ્યું છે. પ્રપોઝિશનલ હિન્તિકા સમૂહો પ્રપોઝિશનલ લોજિક માટે સિમેન્ટીક ટેબ્લોમાં, પ્રપોઝિશનલ ટેબ્લો માટે સમાન સંકેતનો ઉપયોગ કરીને હિન્તિકા સમૂહોને વ્યાખ્યાયિત કરી શકાય છે. પ્રપોઝિશનલ હિન્ટિકા સમૂહ S ના ઘટકો નીચેની શરતોને સંતોષે છેઃ કોઈ ચલ અને તેનો સંયુગ્મ બંને S માં નથી, S માં કોઈપણ માટે, તેના ઘટકો બંને S માં છે, S માં કોઈપણ માટે, તેના ઘટકોમાંથી ઓછામાં ઓછો એક S માં છે. જો સમૂહ S એક હિન્ટિકા સમૂહ છે, તો S સંતોષકારક છે. સંદર્ભો સ્ત્રોતો ગાણિતિક તર્ક