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