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