Логическое отрицание: основы и примеры применения в математике и логике