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