Conditional disjunction
તર્કશાસ્ત્રમાં, શરતી વિચ્છેદન શબ્દ નીચેનાનો ઉલ્લેખ કરી શકે છેઃ શરતી વિચ્છેદન, શાસ્ત્રીય તર્કશાસ્ત્રમાં એલોન્ઝો ચર્ચ દ્વારા રજૂ કરાયેલ એક ત્રિમાસિક તાર્કિક સંયોજન કે જેમાં શરતી સામગ્રી વિચ્છેદનની સમકક્ષ હોય છે, જેથી આ બે સૂત્રો વિનિમયક્ષમ હોય-નકારાત્મક જુઓ