نفی
نَفی (negation)
در منطق به‌معنای سلب یا انکار یک قضیه که منجربه قضیه‌ای تازه می‌شود. اگر قضیۀ نخست صادق باشد نفی آن کاذب و اگر قضیۀ نخست کاذب باشد نفی آن صادق است. قضیه‌ای که از نفی قضیۀ نخست حاصل می‌شود به‌صورت زیر نمایش داده می‌شود P,¬P. نفی در منطق دیالکتیکی به‌معنای حرکت ضروری تکامل و شرط تغییرات کیفی چیزهاست.