نقیض: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جز ویرایش Iran Wiki Edit (بحث) به آخرین تغییری که Writersfinger انجام داده بود واگردانده شد
برچسب: واگردانی
Rezabot (بحث | مشارکت‌ها)
جز ربات ردهٔ همسنگ (۳۰.۱) +نشانی+مرتب+تمیز (۱۴.۹ core): + رده:مفهوم‌های منفی
خط ۶:
نقیض یک گزاره، گزاره‌ای است که ارزش آن دقیقاً مخالف ارزش گزاره اولیه باشد.
نماد معمول برای نمایش نقیض یک گزاره 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>.
{| class="wikitable"
|+ جدول درستیِ ¬p
خط ۱۷:
|}
مشاهدی می‌کنید در همه حالات منطقی گزاره p~ ارزشی دقیقاً مخالف p دارد.
حال می‌خواهیم به عنوان تمرین گزاره‌ی زیر را نقیض کنیم:{{سرخطسخ}}
گزاره : 3 < 7{{سرخطسخ}}
نقیض گزاره : 3 > 7
 
== منابع ==
خط ۴۴:
[[رده:رابط‌های منطقی]]
[[رده:معناشناسی]]
[[رده:مفهوم‌های منفی]]
[[رده:منطق]]
[[رده:منطق ریاضی]]