«نقیض یک قضیه صادق یک قضیه کاذب است، اما نقیض یک حقیقت ژرف گاهی حقیقت ژرف دیگری است.»    – نیلز بور – در منطق و یا ریاضیات، نقیض یک عملگر منطقی یکتایی است، که نتیجه آن در صورتی که گزاره تحت آن نادرست باشد درست خواهد بود و در غیر این صورت نادرست است.