Conditional disjunction
ತರ್ಕಶಾಸ್ತ್ರದಲ್ಲಿ, ಷರತ್ತುಬದ್ಧ ವಿಚ್ಛೇದನ ಎಂಬ ಪದವು ಈ ಕೆಳಗಿನವುಗಳನ್ನು ಸೂಚಿಸಬಹುದುಃ ಷರತ್ತುಬದ್ಧ ವಿಚ್ಛೇದನ, ಶಾಸ್ತ್ರೀಯ ತರ್ಕದಲ್ಲಿ ಷರತ್ತುಬದ್ಧವಾದ ವಸ್ತುವು ವಿಚ್ಛೇದನಕ್ಕೆ ಸಮನಾಗಿರುತ್ತದೆ ಎಂಬ ನಿಯಮವನ್ನು ಅಲೊಂಜೊ ಚರ್ಚ್ ಪರಿಚಯಿಸಿದ ತ್ರಿಕೋನ ತಾರ್ಕಿಕ ಸಂಯೋಜಕ, ಆದ್ದರಿಂದ ಈ ಎರಡು ಸೂತ್ರಗಳು ಪರಸ್ಪರ ಬದಲಾಯಿಸಬಹುದಾದವು-ನೋಡಿ ನಿರಾಕರಣೆ