law of the excluded middle Принцип третього не буває закон виключеного третього Англо-український словник технічних термінів