Matching logic
பொருந்தும் தர்க்கம் என்பது ஒரு முறையான தர்க்கமாகும், இது முக்கியமாக கணினி நிரல்களின் சரியான தன்மையைப் பற்றி நியாயப்படுத்த பயன்படுகிறது. அதன் இயக்கிகள் நிலைகளின் தொகுப்பைக் காட்டிலும் நிலைகளின் சக்தி தொகுப்பில் செயல்பட முறை பொருத்தத்தைப் பயன்படுத்துகின்றன. இது கிரிகோர் ரோசுவால் உருவாக்கப்பட்டது மற்றும் கே கட்டமைப்பில் பயன்படுத்தப்படுகிறது. கண்ணோட்டம் பொருந்தும் தர்க்கம் வடிவங்களில் செயல்படுகிறது. அறிக்கைகள் அவற்றை "பொருந்தும்" மதிப்புகளின் தொகுப்புடன் மதிப்பீடு செய்கின்றன, உண்மை அல்லது பொய் அல்ல. கையொப்பங்களின் தொகுப்பைப் பொறுத்தவரை, ஒரு வடிவம் பின்வருமாறு இருக்கலாம்ஃ ஒரு மாறிஃ மற்ற வடிவங்களைப் பயன்படுத்தி கையொப்பத்தைப் பின்தொடரும் ஒரு அமைப்புஃ மற்றொரு வடிவத்தின் நிரப்பு இரண்டு வடிவங்களின் குறுக்கீடுஃ ஒரு பிணைப்புஃ ஒரு பொருந்தும் தர்க்கத்துடன் ஒரு வகையான தொகுப்பும் இருக்கலாம். அவ்வாறான நிலையில், ஒவ்வொரு வடிவமும் ஒரு குறிப்பிட்ட வகைக்கு சொந்தமானது. பல்வேறு வகையான வடிவங்களை ஒன்றாக இணைக்க கட்டமைப்புகளைப் பயன்படுத்தலாம். நிரல் சொற்பொருள்களுடன் பணிபுரியும் போது பயன்படுத்தப்படும் வகைகளின் சில எடுத்துக்காட்டுகள் "32-பிட் முழு எண் மதிப்புகள்", "அடுக்கு பிரேம்கள்" அல்லது "குவியல் நினைவகம்". சில பெறப்பட்ட கருத்துக்கள் பின்வருமாறு வரையறுக்கப்படுகின்றனஃ அனைத்து உறுப்புகளுடனும் பொருந்துகிறது. யாருடனும் பொருந்தவில்லை. "அடிப்படை உள்ளுணர்வுகள் ஏமாற்றக்கூடும் என்பதால், இதுபோன்ற கிளாசிக் அல்லாத தர்க்கங்களுடன் நியாயப்படுத்தும்போது ஒருவர் கவனமாக இருக்க வேண்டும்". பொருந்தும் தர்க்கத்தை விளக்கும்போது (அதாவது, அதன் சொற்பொருள் பொருளை வரையறுக்கும் போது), ஒரு வடிவம் ஒரு சக்தி தொகுப்புடன் வடிவமைக்கப்படுகிறது. அறிக்கையின் விளக்கம் என்பது வடிவத்துடன் பொருந்தக்கூடிய மதிப்புகளின் தொகுப்பாகும். பொருத்துதல் μ-லாஜிக் பொருத்தம்-லாஜிக் ஒரு நிலையான-புள்ளி ஆபரேட்டரைச் சேர்க்கிறது. பயன்பாடுகள் பொருந்தும் தர்க்கம் K கட்டமைப்பால் அடையக்கூடிய தர்க்கத்துடன் ஒரு செயல்பாட்டு சொற்பொருளைக் குறிப்பிடவும், அவர்களிடமிருந்து ஒரு ஹோர் தர்க்கத்தை உருவாக்கவும் பயன்படுத்தப்படுகிறது. பொருந்தும் தர்க்கத்தை சமத்துவத்துடன் முதல்-வரிசை தர்க்கமாக மாற்றலாம், இது கே கட்டமைப்பை ஏற்கனவே உள்ள எஸ்எம்டி-தீர்வுகளைப் பயன்படுத்தி கோட்பாடுகளுக்கான ஆதாரங்களைக் கண்டறிய அனுமதிக்கிறது. மேலும் காண்க பிரிப்பு தர்க்கம் ஹோர் தர்க்கம் வழக்கமான வெளிப்பாடு, இது சரங்களின் தொகுப்புகளுடன் பொருந்துகிறது குறிப்புகள் தர்க்கம்