Закон исключенного третьего: Примеры и Доказательства