закон исключенного третьего

Law of excluded middle