খণ্ড (যুক্তিবিদ্যা)

গাণিতিক যুক্তিতে, কোনো একটি যৌক্তিক ভাষা বা তত্ত্ব এর খণ্ড লজিক্যাল ভাষার একটি উপসেট যা ভাষায় সিনট্যাকটিক্যাল বিধিনিষেধ আরোপ করে পাওয়া যায়।. অতএব, খণ্ডের ওয়েল-ফোর্মড ফর্মুলা বা সূত্র হলো সেই মূল যুক্তির একটি উপসেট। 
তবে, খণ্ডে ও মূল যুক্তিতে সূত্রের শব্দার্থগুলি মিলে যায় এবং খণ্ডের যে কোনও সূত্র মূল যুক্তিতে প্রকাশ করা যেতে পারে।

যৌক্তিক খণ্ডের জন্য সন্তোষজনকতা বা মডেল চেকিংয়ের মতো কাজগুলির গণনামূলক জটিলতা তত্ত্ব মূল যুক্তিতে একই কাজের চেয়ে বেশি হতে পারে না, কারণ প্রথম সমস্যা থেকে অন্য সমস্যায় একটি ক্রমবর্ধমান হ্রাস পাওয়া যায়। গণনামূলক যুক্তির একটি গুরুত্বপূর্ণ সমস্যা হল পরিচিত যুক্তির খণ্ডগুলি নির্ধারণ করা যেমন প্রথম-ক্রমের যুক্তি, যা যতটা সম্ভব প্রকাশযোগ্য, তবে নির্ধারিত বা আরও দৃঢ়ভাবে কম গণনামূলক জটিলতা রয়েছে। বর্ণনামূলক জটিলতা তত্ত্বের ক্ষেত্রের লক্ষ্য হল যৌক্তিক টুকরোগুলি চিহ্নিত করে যুক্তি এবং গণনামূলক জটিলতা তত্ত্ব এর মধ্যে একটি যোগসূত্র স্থাপন করা যা নির্দিষ্ট জটিলতার শ্রেণীগুলিকে সঠিকভাবে ধারণ করে।.

তথ্যসূত্র

বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান