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

Back to ComputerTerms