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