এই প্রশ্নটি প্রজেকশনাল লজিক সম্পর্কে এবং "রেজোলিউশন" এর সমস্ত উপস্থিতি "প্রস্তাবের রেজোলিউশন" হিসাবে পড়া উচিত।
এই প্রশ্নটি চূড়ান্ত কিছু কিছু তবে এটি আমাকে কিছুক্ষণ বিরক্ত করছে। আমি লোকেদের দৃ .় প্রতিবেদনের প্রস্তাবটি সম্পূর্ণ হওয়ার বিষয়টি দেখতে পাচ্ছি তবে আমি লোকেদের দেখি যে রেজোলিউশন অসম্পূর্ণ। আমি বুঝতে পারি যে রেজোলিউশনটি অসম্পূর্ণ। আমি এটিও দেখছি কেন লোকেরা এটি সম্পূর্ণ বলে দাবি করতে পারে তবে প্রাকৃতিক ছাড় বা পরবর্তী ক্যালকুলাসের বর্ণনা দেওয়ার সময় "সম্পূর্ণ" শব্দটি "সম্পূর্ণ" শব্দটি ব্যবহার করার পদ্ধতি থেকে পৃথক হয়। এমনকি কোয়ালিফায়ার "খণ্ডন সম্পূর্ণ" সহায়তা করে না কারণ সূত্রগুলি সিএনএফের মধ্যে থাকতে হবে এবং তাসিটিন রূপান্তর মাধ্যমে একটি সমতুল্য সিএনএফ সূত্রে বা সমতুল্য সিএনএফ সূত্রে কোনও সূত্র রূপান্তর প্রুফ সিস্টেমের মধ্যে গণ্য হয় না।
দৃound়তা এবং সম্পূর্ণতা
আসুন আমরা ধরণের কিছু মহাবিশ্বের কাঠামোর একটি সূত্র এবং সূত্রের একটি সেট এবং কাঠামোর মধ্যে সত্যের শাস্ত্রীয় তারস্কিয়ান ধারণার মধ্যে সাথে একটি ক্লাসিকাল প্রপোজিশনাল লজিকের সেটিংটি ধরে নিই । বিবেচনাধীন সমস্ত কাঠামোর ক্ষেত্রে সত্য হলে আমরা লিখি । আমি সূত্রগুলি থেকে সূত্রগুলি জন্য একটি সিস্টেম ও গ্রহণ করব ।
সিস্টেম হয় শব্দ থেকে সম্মান সঙ্গে করলে, যখনই আমরা আছে , আমরা আছে । সিস্টেম হয় সম্পূর্ণ সম্মান সঙ্গে যদি আমরা আছে যখনই , আমরা এছাড়াও আছে ।
রেজুলেশন বিধি
আক্ষরিক একটি পারমাণবিক প্রস্তাব বা তার অবজ্ঞা। একটি ধারাটি হ'ল আক্ষরিকের বিভাজন। সিএনএফ-এ একটি সূত্র হ'ল ধারাগুলির সংমিশ্রণ। রেজুলেশন রুল এটিকে জোর দিয়েছিল
রেজল্যুশন নিয়ম দাবি যে যদি দফা একত্রে দফা সঙ্গে Satisfiable হয়, ধারা এছাড়াও Satisfiable হতে হবে।
আমি নিশ্চিত নই যে রেজুলেশন রুলটিকে একমাত্র প্রুফ সিস্টেম হিসাবে বোঝা যায় কিনা কারণ সূত্রগুলি প্রবর্তনের জন্য কোনও বিধি নেই। আমি ধরে নিয়েছি আমাদের কমপক্ষে একটি অনুমানের নিয়ম দরকার যা ধারাগুলি প্রবর্তনের অনুমতি দেয়।
রেজোলিউশনের অসম্পূর্ণতা
এটি পরিচিত যে রেজোলিউশন একটি সাউন্ড প্রুফ সিস্টেম। অর্থ, যদি আমরা রেজোলিউশন ব্যবহার করে কোনও সূত্র থেকে ক্লজ অর্জন করতে পারি তবে । রেজোলিউশনটি খণ্ডন সম্পূর্ণ অর্থও যদি আমাদের কাছে তবে আমরা রেজোলিউশন ব্যবহার করে থেকে পেতে পারি ।
সূত্রটি বিবেচনা করুন
এবং ।
Gentzen সিস্টেম এল কে বা প্রাকৃতিক সিদ্ধান্তগ্রহণ ব্যবহার, আমি করতে আহরণ সংশ্লেষ সম্পূর্ণরূপে প্রমাণ সিস্টেমের মধ্যে। রেজোলিউশন ব্যবহার করে আমি এই জড়িততাটি অর্জন করতে পারি না কারণ যদি আমি দিয়ে শুরু করি তবে কোনও সমাধান নেই।
আমি দেখতে পাচ্ছি যে রেজোলিউশন ব্যবহার করে আমি কীভাবে এই নিদর্শনটির বৈধতা প্রমাণ করতে পারি:
- সূত্রটি বিবেচনা করুন
- স্ট্যান্ডার্ড ডিস্ট্রিবিউটিভিটি রুলস ব্যবহার করে অথবা সিসিটিন রূপান্তর ব্যবহার করে উপরের সূত্রটি সিএনএফে পরিণত করুন into
- রেজোলিউশন ব্যবহার করে রূপান্তরিত সূত্র থেকে ডেরিভ ।
এই পদ্ধতিরটি আমার কাছে অসন্তুষ্টিজনক কারণ এর জন্য আমাকে পদক্ষেপগুলি (1) এবং (2) সম্পাদন করা প্রয়োজন যা রেজুলেশন প্রুফ সিস্টেমের বাইরে। সুতরাং মনে হচ্ছে একটি খুব স্পষ্ট ধারণা রয়েছে যার মধ্যে রেজোলিউশনটি আমরা যেভাবে বলি যে প্রাকৃতিক ছাড় বা পরবর্তী ক্যালকুলি সম্পূর্ণ।
প্রশ্নাবলি
উপরের সমস্তটি দেওয়া, আমার প্রশ্নগুলি হ'ল:
- রেজুলেশন আলোচনা করার সময় কোন প্রুফ সিস্টেমটি বিবেচনা করা হচ্ছে? এটা কি শুধুই রেজুলেশন রুল? অন্যান্য নিয়ম কি?
- আমার কাছে এটি খুব স্পষ্ট মনে হয়েছে যে প্রাকৃতিক ছাড় এবং ফলস্বরূপ ক্যালকুলি সম্পূর্ণ অর্থে সমাধানটি সম্পূর্ণ নয়। যে রেজোলিউশনে দৃser়ভাবে দাবি করা সাহিতাগুলি কি কেবল এই কারণে যে রেজোলিউশনটি সম্পন্ন হয় সেই অর্থে যেটি অসম্পূর্ণ তার চেয়ে বেশি আকর্ষণীয়?
- রেজোলিউশনের ক্ষেত্রে এবং অন্য কোথাও প্রয়োগ করার মতো পরিপূর্ণতার ধারণার মধ্যে এই পার্থক্য রয়েছে এবং কীভাবে তাদের মধ্যে পুনর্মিলন করা যায় তা সাহিত্যের আরও গভীরতার সাথে আলোচনা করা হয়েছে?
- আমি আরও বুঝতে পারি যে কাটা বিধি অনুসারে রেজোলিউশন পরবর্তী ক্যালকুলির মধ্যেই তৈরি করা যেতে পারে। রেজোলিউশনের "সঠিক" প্রমাণ তাত্ত্বিক দৃষ্টিভঙ্গি কি কেবল এটি সিএনএফ-এর সূত্রগুলির সন্তুষ্টি পরীক্ষা করার জন্য পর্যাপ্ত ক্যালকুলাসের একটি খণ্ড?