规则23 否定后件式