نقیض: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات ردهٔ همسنگ (۲۶) +مرتب (۸.۸): + رده:رابطهای منطقی |
بدون خلاصۀ ویرایش |
||
خط ۱:
در [[منطق]] ویا [[ریاضیات]]، '''نقیض''' یک [[عملگر منطقی]] [[عمل یکتایی|یکتایی]] است، که نتیجه آن در صورتی که گزاره تحت آن ''نادرست'' باشد ''درست'' خواهد بود و در غیر این صورت ''نادرست'' است.
== نقیض یک گزاره ==
[[پرونده:Statement1.gif|بندانگشتی|جدول درستی]]
نقیض یک گزاره، گزارهای است که ارزش آن دقیقاً مخالف ارزش گزاره اولیه باشد.
نماد معمول برای نمایش نقیض یک گزاره p~ است و نماد p! در زبان برنامهنویسی کامپیوتر کاربردی فراوان دارد.
پس به این ترتیب نقیض کردن یک گزاره عبارت است ساختن گزارهای جدید که ارزش آن دقیقاً مخالف ارزش گزاره اصلی است و این کار معمولاً با آوردن لفظ «چنین نیست» در ابتدا گزاره اصلی انجام میشود. به عنوان مثال نقیض گزاره «۷ عددی اول است» به صورت «چنین نیست که ۷ عددی اول باشد» یا «۷ عددی اول نیست» نوشته میشود<ref>{{یادکرد وب|نویسنده = |نشانی = http://daneshnameh.roshd.ir/mavara/mavara-index.php?page=%DA%AF%D8%B2%D8%A7%D8%B1%D9%87&SSOReturnPage=Check&Rand=0 |عنوان = | ناشر = |تاریخ = |تاریخ بازدید = ۱۴ ژوئن ۲۰۱۷}}</ref>.
مشاهدی میکنید در همه حالات منطقی گزاره p~ ارزشی دقیقاً مخالف p دارد.
حال میخواهیم به عنوان تمرین گزارهی زیر را نقیض کنیم:{{سرخط}}
گزاره : 3 < 7{{سرخط}}
نقیض گزاره : 3 => 7
== منابع ==
{{پانویس}}
|