نقیض: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
←نقیض یک گزاره: افزودن مطلب برچسبها: ویرایش همراه ویرایش از وبگاه همراه |
ویرایشهای 151.244.163.107 (بحث) با فرض حسن نیت خنثیسازی شد. (T) |
||
خط ۶:
نقیض یک گزاره، گزارهای است که ارزش آن دقیقاً مخالف ارزش گزاره اولیه باشد.
نماد معمول برای نمایش نقیض یک گزاره p~ است و نماد p! در زبان برنامهنویسی کامپیوتر کاربردی فراوان دارد.
پس به این ترتیب نقیض کردن یک گزاره عبارت است ساختن گزارهای جدید که ارزش آن دقیقاً مخالف ارزش گزاره اصلی است و این کار معمولاً با آوردن لفظ «چنین نیست» در ابتدا گزاره اصلی انجام میشود. به عنوان مثال نقیض گزاره «۷ عددی اول است» به صورت «چنین نیست که ۷ عددی اول باشد» یا «۷ عددی اول نیست» نوشته میشود
{| class="wikitable"
|+ جدول درستیِ ¬p
|