Conditional disjunction
যুক্তিতে, শর্তাধীন বিচ্ছিন্নতা শব্দটি বোঝাতে পারেঃ শর্তযুক্ত বিচ্ছিন্নতা, অ্যালনজো চার্চ দ্বারা প্রবর্তিত একটি ত্রয়ী যৌক্তিক সংযোগ যা শাস্ত্রীয় যুক্তিতে একটি নিয়ম যে শর্তযুক্ত উপাদান বিচ্ছিন্নতার সমতুল্য, যাতে এই দুটি সূত্র বিনিময়যোগ্য হয়-নেতিবাচক দেখুন