Tautological consequence
প্রস্তাবনামূলক যুক্তিতে, স্বতঃস্ফূর্ত পরিণতি হল যৌক্তিক পরিণতির একটি কঠোর রূপ যেখানে একটি প্রস্তাবের স্বতঃস্ফূর্ততা একটি প্রমাণের এক লাইন থেকে অন্য লাইনে সংরক্ষণ করা হয়। সমস্ত যৌক্তিক পরিণতি স্বতঃস্ফূর্ত পরিণতি নয়। একটি প্রস্তাবকে কোনও যৌক্তিক ব্যবস্থার ক্ষেত্রে প্রমাণের ক্ষেত্রে এক বা একাধিক প্রস্তাবের (,,.,) স্বতঃস্ফূর্ত পরিণতি বলা হয় যদি কেউ বৈধভাবে ব্যবস্থার নিয়মের মধ্যে প্রমাণের একটি লাইনে প্রস্তাবটি উপস্থাপন করতে সক্ষম হয়; এবং সমস্ত ক্ষেত্রে যখন প্রতিটি (,,,) সত্য হয়, তখন প্রস্তাবটিও সত্য হয়। স্বতঃস্ফূর্ততার এই সংরক্ষণকে প্রকাশ করার আরেকটি উপায় হল সত্য টেবিল ব্যবহার করা। একটি প্রস্তাবকে এক বা একাধিক প্রস্তাবের (,,.,) একটি স্বতঃস্ফূর্ত পরিণতি বলা হয় যদি এবং শুধুমাত্র একটি যৌথ সত্য সারণির প্রতিটি সারিতে যা সমস্ত প্রস্তাবকে (,,.,) "টি" বরাদ্দ করে সত্য সারণিতেও "টি" বরাদ্দ করা হয়। উদাহরণ = "সক্রেটিস একজন মানুষ"। = "সকল মানুষই মরণশীল।" = "সক্রেটিস মরণশীল।" এই যুক্তির উপসংহার হল পরিসরের একটি যৌক্তিক পরিণতি কারণ উপসংহারটি মিথ্যা হলেও সমস্ত পরিসরের পক্ষে সত্য হওয়া অসম্ভব। সত্য টেবিলটি পর্যালোচনা করে দেখা যায় যে যুক্তির উপসংহারটি ভিত্তির একটি স্বতঃস্ফূর্ত পরিণতি নয়। প্রতিটি সারি যা প্রেক্ষাপটে টি বরাদ্দ করে তাও উপসংহারে টি বরাদ্দ করে না। বিশেষত, এটি দ্বিতীয় সারি যা টি-কে আ বি-তে বরাদ্দ করে, তবে টি-কে সি-তে বরাদ্দ করে না। সংজ্ঞা এবং বৈশিষ্ট্য স্বতঃস্ফূর্ত পরিণতি হিসাবেও সংজ্ঞায়িত করা যেতে পারে। এটি সংজ্ঞা থেকে অনুসরণ করে যে যদি একটি প্রস্তাবনা p একটি দ্বন্দ্ব হয় তবে p স্বতঃস্ফূর্তভাবে প্রতিটি প্রস্তাবকে বোঝায়, কারণ এমন কোনও সত্য মূল্যায়ন নেই যা p কে সত্য করে তোলে এবং তাই স্বতঃস্ফূর্ত প্রভাবের সংজ্ঞাটি তুচ্ছভাবে সন্তুষ্ট হয়। একইভাবে, যদি পি একটি স্বতঃস্ফূর্ততা হয় তবে পি প্রতিটি প্রস্তাব দ্বারা স্বতঃস্ফূর্তভাবে বোঝানো হয়। আরও দেখুন যৌক্তিক পরিণতি টাউটোলজি (লজিক) ট্রুথ টেবিল নোটস রেফারেন্স বারওয়াইজ, জন এবং জন এটকেমেন্ডি। ভাষা, প্রমাণ এবং যুক্তি। স্ট্যানফোর্ডঃ সিএসএলআই (সেন্টার ফর দ্য স্টাডি অফ ল্যাঙ্গুয়েজ অ্যান্ড ইনফরমেশন) প্রকাশনা, 1999। প্রিন্ট করুন। ক্লেইন, এস. সি. (1967) ম্যাথমেটিকাল লজিক, পুনঃমুদ্রিত 2002, ডোভার পাবলিকেশনস,। যৌক্তিক পরিণতি