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

Back to ComputerTerms