law of excluded middle

Закон виключеного третього

закон вилученого середнього