Exportation (logic)
નિકાસ એ પ્રપોઝિશનલ લોજિકમાં રિપ્લેસમેન્ટનો માન્ય નિયમ છે. આ નિયમ સંયોજી પૂર્વજો ધરાવતા શરતી નિવેદનોને શરતી પરિણામો ધરાવતા નિવેદનો દ્વારા બદલવાની મંજૂરી આપે છે અને તાર્કિક પુરાવાઓમાં ઊલટું. તે નિયમ છે કેઃ જ્યાં "" એક ધાતુશાસ્ત્રીય પ્રતીક છે જે રજૂ કરે છે "તેને સાબિતીમાં" સાથે બદલી શકાય છે. કડક પરિભાષામાં, નિકાસનો કાયદો છે, તેના માટે "નિકાસ" એ તેના પૂર્વવર્તીથી તેના પરિણામ સુધીની દરખાસ્ત છે. તેના વિપરીત, આયાતનો કાયદો, તેના પરિણામથી તેના પૂર્વવર્તી સુધી એક દરખાસ્ત "આયાત" કરે છે. ઔપચારિક સંકેતલિપી નિકાસ નિયમ ક્રમિક સંકેતલિપીમાં લખી શકાય છેઃ જ્યાં એક ધાતુશાસ્ત્રીય પ્રતીક છે જેનો અર્થ થાય છે કે અમુક તાર્કિક પ્રણાલીમાં વાક્યરચના સમકક્ષ છે; અથવા નિયમ સ્વરૂપમાંઃ, જ્યાં નિયમ એ છે કે જ્યાં પણ સાબિતીની રેખા પર "" નું ઉદાહરણ દેખાય છે, તેને "" સાથે બદલી શકાય છે અને ઊલટું; અથવા સત્ય-કાર્યાત્મક સ્વરવિજ્ઞાન અથવા પ્રસ્તાવાત્મક તર્કના પ્રમેયના નિવેદન તરીકેઃ જ્યાં, અને તે કેટલીક તાર્કિક પ્રણાલીમાં વ્યક્ત કરવામાં આવેલી દરખાસ્તો છે. કુદરતી ભાષા સત્ય મૂલ્યો કોઈપણ સમયે, જો P → Q સાચું હોય, તો તેને P → દ્વારા બદલી શકાય છે. પી → ક્યૂ માટે એક સંભવિત કેસ એ છે કે પી સાચું છે અને ક્યૂ સાચું છે; આમ પી. ક્યુ. પણ સાચું છે, અને પી. અન્ય સંભવિત કેસ પી ને ખોટા અને ક્યૂ ને સાચા તરીકે સુયોજિત કરે છે. આમ, પી-ક્યૂ ખોટો છે અને પી-ક્યૂ ખોટો છે; ખોટો-ક્યૂ સાચો છે. છેલ્લો કેસ ત્યારે થાય છે જ્યારે પી અને ક્યૂ બંને ખોટા હોય. આમ, PwQ ખોટો છે અને P → (PwQ) સાચો છે. ઉદાહરણ તે વરસાદ પડે છે અને સૂર્ય ચમકે છે તે સૂચવે છે કે એક સપ્તરંગી છે. આમ, જો વરસાદ પડે છે, તો સૂર્ય ચમકે છે તે સૂચવે છે કે એક સપ્તરંગી છે. જો મારી કાર ચાલુ હોય, જ્યારે હું ગિયરને D પર ફેરવું છું ત્યારે કાર ચાલવાનું શરૂ કરે છે. જો મારી કાર ચાલુ હોય અને મેં ગિયરને D પર ફેરવ્યું હોય, તો પછી કાર ચાલુ થવી જોઈએ. પુરાવો નીચેના પુરાવો પરિણામ મેળવવા માટે તે ક્રમમાં ભૌતિક સૂચિતાર્થ, બેવડી નકારાત્મકતા, ડી મોર્ગનના કાયદાઓ, શરતી નિવેદનની નકારાત્મકતા, જોડાણની સહયોગી મિલકત, અન્ય શરતી નિવેદનની નકારાત્મકતા અને ફરીથી બેવડી નકારાત્મકતાનો ઉપયોગ કરે છે. કાર્યો સાથેનો સંબંધ નિકાસ કરી-હોવર્ડ પત્રવ્યવહાર દ્વારા કરીંગ સાથે સંકળાયેલ છે. પ્રપોઝિશનલ લોજિકમાં અનુમાન પ્રમેયોના સંદર્ભ નિયમો