Исключенного третьего принцип

Исключенного тре́тьего при́нцип (лат. tertium non datur), принцип классической формальной логики, утверждающий, что всякое суждение или истинно, или ложно, третьего не дано. Впервые сформулирован Аристотелем.