Косвенные доказательства в логике: основные виды и примеры