Hintikka set
கணித தர்க்கத்தில், ஒரு ஹிண்டிக்கா தொகுப்பு என்பது தர்க்கரீதியான சூத்திரங்களின் தொகுப்பாகும், அதன் கூறுகள் பின்வரும் பண்புகளை பூர்த்தி செய்கின்றனஃ ஒரு அணு அல்லது அதன் இணைவு தொகுப்பில் தோன்றலாம், ஆனால் இரண்டும் இல்லை, தொகுப்பில் உள்ள ஒரு சூத்திரம் "கான்ஜக்டிவ்-வகை" கொண்ட ஒரு முக்கிய ஆபரேட்டரைக் கொண்டிருந்தால், அதன் இரண்டு செயல்பாடுகள் தொகுப்பில் தோன்றும், தொகுப்பில் உள்ள ஒரு சூத்திரத்தில் "டிஸ்ஜன்டிவ்-வகை" கொண்ட ஒரு முக்கிய ஆபரேட்டர் இருந்தால், அதன் இரண்டு செயல்பாடுகளில் குறைந்தபட்சம் ஒன்று தொகுப்பில் தோன்றும். "கான்ஜுக்டிவ்-வகை" மற்றும் "டிஸ்ஜுக்டிவ்-வகை" ஆகியவற்றின் சரியான பொருள் சொற்பொருள் அட்டவணைகளின் முறையால் வரையறுக்கப்படுகிறது. சொற்பொருள் அட்டவணையைப் பயன்படுத்தி முன்மொழிவு தர்க்கத்தின் முழுமையை நிரூபிக்க முயற்சிக்கும்போது ஹிண்டிக்கா செட்டுகள் எழுகின்றன. அவை ஜாக்கோ ஹிண்டிக்காவின் பெயரால் அழைக்கப்படுகின்றன. முன்மொழிவு ஹிண்டிக்கா தொகுப்புகள் முன்மொழிவு தர்க்கத்திற்கான சொற்பொருள் அட்டவணையில், முன்மொழிவு அட்டவணைகளுக்கு சீரான குறியீட்டைப் பயன்படுத்தி ஹிண்டிக்கா தொகுப்புகளை வரையறுக்க முடியும். முன்மொழியப்பட்ட ஹிண்டிக்கா தொகுப்பு S இன் கூறுகள் பின்வரும் நிபந்தனைகளை பூர்த்தி செய்கின்றனஃ எந்த மாறுபாடும் மற்றும் அதன் இணைப்பும் S இல் இல்லை, S இல் உள்ள எதற்கும், அதன் கூறுகள் இரண்டும் S இல் உள்ளன, S இல் உள்ள எதற்கும், அதன் கூறுகளில் குறைந்தபட்சம் ஒன்று S இல் உள்ளது. குறிப்புகள் ஆதாரங்கள் கணித தர்க்கம்