Традиционная логика

СТРОГО РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ

сложное суждение, образуемое логическим союзом строгая дизъюнкция, соответствующим грамматическим союзам «или», «либо» в значении: «или то, или это, но ни то и это вместе».