A.9 否定结构