क्या रूपांतरण, गर्भनिरोधक, और व्युत्क्रम हैं?

सशर्त बयान हर जगह दिखाई देते हैं। गणित या अन्य जगहों पर, “यदि ऐसा है, तो किसी भी रूप में चलने में लंबा समय नहीं लगता है पी फिर क्यू। " सशर्त बयान वास्तव में महत्वपूर्ण हैं। जो महत्वपूर्ण हैं वे भी बयान हैं जो मूल स्थिति के बयान से संबंधित हैं जो की स्थिति को बदलकर पी, क्यू और एक बयान की उपेक्षा। एक मूल कथन के साथ शुरू करते हुए, हम तीन नए सशर्त बयानों को समाप्त करते हैं, जिन्हें कांड, गर्भनिरोधक और ए श्लोक में.

इससे पहले कि हम एक सशर्त बयान के काफिले, गर्भनिरोधक और व्युत्क्रम को परिभाषित करें, हमें नकारात्मकता के विषय की जांच करने की आवश्यकता है। में हर बयान तर्क या तो सही है या गलत है। एक बयान की उपेक्षा में केवल कथन के उचित भाग में "नहीं" शब्द का सम्मिलन शामिल है। शब्द "नहीं" का जोड़ इसलिए किया जाता है ताकि यह कथन की सत्य स्थिति को बदल दे।

यह एक उदाहरण को देखने में मदद करेगा। बयान “द सही त्रिकोण समबाहु है "उपेक्षा" सही त्रिभुज समबाहु नहीं है। " "10 एक सम संख्या है" का कथन "10 सम संख्या नहीं है।" बेशक, इसके लिए अंतिम उदाहरण, हम एक विषम संख्या की परिभाषा का उपयोग कर सकते हैं और इसके बजाय यह कह सकते हैं कि "10 एक विषम संख्या है।" हम ध्यान दें कि एक बयान की सच्चाई इसके विपरीत है निषेध।

हम इस विचार की अधिक अमूर्त सेटिंग में जाँच करेंगे। जब बयान पी सच है, बयान "नहीं पी" गलत है। इसी तरह, अगर पी गलत है, इसकी उपेक्षा "नहींपी" सच हैं। नकारात्मकता को आमतौर पर एक टिल्ड ~ के साथ निरूपित किया जाता है। इसलिए लिखने के बजाय “नहीं पी“हम लिख सकते हैं ~पी.

अब हम ऐंठन, गर्भनिरोधक और एक सशर्त कथन के विलोम को परिभाषित कर सकते हैं। हम सशर्त बयान से शुरू करते हैं “यदि पी फिर क्यू.”

• सशर्त बयान का समापन "यदि है क्यू फिर पी.”
• सशर्त विवरण का गर्भनिरोधक है “यदि नहीं क्यू फ़िर नही पी.”
• सशर्त कथन का विलोम है “यदि नहीं पी फ़िर नही क्यू.”

हम देखेंगे कि ये कथन एक उदाहरण के साथ कैसे काम करते हैं। मान लीजिए कि हम सशर्त बयान से शुरू करते हैं "अगर कल रात बारिश हुई, तो फुटपाथ गीला है।"

• सशर्त विवरण का आशय "यदि फुटपाथ गीला है, तो कल रात बारिश हुई थी।"
• सशर्त बयान का गर्भनिरोधक है "यदि फुटपाथ गीला नहीं है, तो कल रात बारिश नहीं हुई।"
• सशर्त विवरण का उलटा है "यदि कल रात बारिश नहीं हुई, तो फुटपाथ गीला नहीं है।"

हमें आश्चर्य हो सकता है कि हमारे प्रारंभिक एक से इन अन्य सशर्त बयानों को बनाना क्यों महत्वपूर्ण है। उपरोक्त उदाहरण पर एक सावधान नज़र कुछ पता चलता है। मान लीजिए कि मूल कथन "यदि कल रात बारिश हुई है, तो फुटपाथ गीला है" यह सच है। अन्य बयानों में से कौन सा सही होना चाहिए?

• "अगर फुटपाथ गीला है, तो यह कल रात बारिश हुई" जरूरी नहीं है। फुटपाथ अन्य कारणों से गीला हो सकता है।
• उलटा "अगर कल रात बारिश नहीं हुई, तो फुटपाथ गीला नहीं है" जरूरी नहीं कि सच हो। फिर, सिर्फ इसलिए कि बारिश नहीं हुई इसका मतलब यह नहीं है कि फुटपाथ गीला नहीं है।
• गर्भनिरोधक "यदि फुटपाथ गीला नहीं है, तो कल रात बारिश नहीं हुई" यह एक सही कथन है।

हम इस उदाहरण से देखते हैं (और गणितीय रूप से क्या साबित किया जा सकता है) यह है कि एक सशर्त कथन का उसके गर्भनिरोधक के समान सत्य मूल्य है। हम कहते हैं कि ये दोनों कथन तार्किक रूप से समतुल्य हैं। हम यह भी देखते हैं कि एक सशर्त बयान तार्किक रूप से इसके विपरीत और व्युत्क्रम के बराबर नहीं है।

चूंकि एक सशर्त बयान और इसके गर्भनिरोधक तार्किक रूप से समतुल्य हैं, हम इसका उपयोग अपने लाभ के लिए कर सकते हैं जब हम गणितीय प्रमेय साबित कर रहे हैं। सशर्त बयान की सच्चाई को सीधे साबित करने के बजाय, हम इसके बजाय उस कथन के गर्भनिरोधक की सच्चाई को साबित करने की अप्रत्यक्ष प्रमाण रणनीति का उपयोग कर सकते हैं। गर्भनिरोधक साक्ष्य काम करते हैं क्योंकि यदि गर्भनिरोधक सत्य है, तार्किक तुल्यता के कारण, मूल सशर्त कथन भी सत्य है।

यह पता चला है कि भले ही आक्षेप और व्युत्क्रम तार्किक रूप से मूल सशर्त कथन के समतुल्य नहीं हैं, वे तार्किक रूप से एक दूसरे के बराबर हैं। इसके लिए एक आसान व्याख्या है। हम सशर्त बयान से शुरू करते हैं “यदि क्यू फिर पी”. इस कथन का गर्भनिरोधक है “यदि नहीं पी फ़िर नही क्यू। " चूँकि प्रतिलोम व्युत्क्रम का गर्भनिरोधक है, अतः व्युत्क्रम और व्युत्क्रम तार्किक रूप से समतुल्य होते हैं।