Основы логики и доказательства: Закон исключенного третьего