A logical statement is a dichotomy if it is a ["Proposition"].

Back to ComputerTerms