نفی

از ویکیجو | دانشنامه آزاد پارسی
نسخهٔ تاریخ ‏۲۴ ژوئیهٔ ۲۰۱۹، ساعت ۰۵:۲۳ توسط DaneshGostar (بحث | مشارکت‌ها) (جایگزینی متن - '\\3' به '<!--3')
(تفاوت) → نسخهٔ قدیمی‌تر | نمایش نسخهٔ فعلی (تفاوت) | نسخهٔ جدیدتر ← (تفاوت)

نَفی (negation)

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