Dychotomia

Ten artykuł dotyczy logiki matematycznej. Zobacz też: dychotomie w psychologii.

Dychotomia (gr. dichotomos – przecięty na dwie części) – dwudzielność; podział na dwie części, wzajemnie się wykluczające i uzupełniające do całości^[1][2][3].

Podział dychotomiczny zbioru X polega na wyróżnieniu w nim dwóch podzbiorów – A i B – które:

1. są rozłączne, tj. nie mają wspólnych elementów;
2. wyczerpują zbiór X – w skład X nie wchodzi nic spoza A i B, czyli każdy element zbioru X należy albo do podzbioru A, albo do B.