| |||
principle of excluded middle | |||
law of excluded middle | |||
Russian thesaurus | |||
| |||
лат. tertium non datur принцип классической формальной логики, утверждающий, что всякое суждение или истинно, или ложно, третьего не дано. Впервые сформулирован Аристотелем. Большой Энциклопедический словарь |