Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education
teknopedia

teknopedia

teknopedia

teknopedia

teknopedia

teknopedia
teknopedia
teknopedia
teknopedia
teknopedia
teknopedia
  • Registerasi
  • Brosur UTI
  • Kip Scholarship Information
  • Performance
url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url url
  1. Weltenzyklopädie
  2. نقیض - ویکی‌پدیا، دانشنامهٔ آزاد
نقیض - ویکی‌پدیا، دانشنامهٔ آزاد
از ویکی‌پدیا، دانشنامهٔ آزاد
نقیض
NOT
Venn diagram of نقیض
تعریف x ¯ {\displaystyle {\overline {x}}} {\displaystyle {\overline {x}}}
جدول درستی ( 10 ) {\displaystyle (10)} {\displaystyle (10)}
دروازه منطقی
فرم‌های نرمال
فرم فصلی x ¯ {\displaystyle {\overline {x}}} {\displaystyle {\overline {x}}}
فرم اشتراکی x ¯ {\displaystyle {\overline {x}}} {\displaystyle {\overline {x}}}
چند جمله‌ای ژگالکین 1 ⊕ x {\displaystyle 1\oplus x} {\displaystyle 1\oplus x}
مشبکه پست
نگهداری 0خیر
نگهداری 1خیر
یکنواخیر
همگربلی
  • ن
  • ب
  • و

در منطق، نقیض (به انگلیسی: Negation) یک عملگر منطقی یکتایی است، که نتیجه آن در صورتی که گزارهٔ تحت آن نادرست باشد، درست خواهد بود و در غیر این صورت نادرست است.

نقیض یک گزاره

[ویرایش]

نقیض یک گزاره، گزاره‌ای است که ارزش آن دقیقاً مخالف ارزش گزارهٔ اولیه باشد. نقیض یک گزاره مانند p {\displaystyle p} {\displaystyle p}، به‌صورت ∼ p {\displaystyle {\mathord {\sim }}p} {\displaystyle {\mathord {\sim }}p} یا ¬ p {\displaystyle \neg p} {\displaystyle \neg p} نمایش داده می‌شود (که البته ¬ p {\displaystyle \neg p} {\displaystyle \neg p} رایج‌تر است) و نماد ! p {\displaystyle !p} {\displaystyle !p} در زبان برنامه‌نویسی کامپیوتر کاربردی فراوان دارد. پس به این ترتیب، نقیض کردن یک گزاره عبارت است از ساختن گزاره‌ای جدید که ارزش آن دقیقاً مخالف ارزش گزارهٔ اصلی است و این کار معمولاً با آوردن لفظ «چنین نیست» در ابتدای گزارهٔ اصلی انجام می‌شود. به عنوان مثال، نقیض گزارهٔ «۷ عددی اول است» به‌صورت «چنین نیست که ۷ عددی اول باشد» یا «۷ عددی اول نیست» نوشته می‌شود.[۱]

جدول درستیِ ∼ P {\displaystyle {\mathord {\sim }}P} {\displaystyle {\mathord {\sim }}P}
P {\displaystyle P} {\displaystyle P} ∼ P {\displaystyle {\mathord {\sim }}P} {\displaystyle {\mathord {\sim }}P}
درست نادرست
نادرست درست

مشاهده می‌کنید که در همهٔ حالات منطقی، گزارهٔ ∼ p {\displaystyle {\mathord {\sim }}p} {\displaystyle {\mathord {\sim }}p}، ارزشی دقیقاً مخالف p {\displaystyle p} {\displaystyle p} دارد. حال می‌خواهیم به عنوان تمرین، گزارهٔ زیر را نقیض کنیم:
گزاره: 7 > 3 {\displaystyle 7>3} {\displaystyle 7>3}
نقیض گزاره: 7 ≤ 3 {\displaystyle 7\leq 3} {\displaystyle 7\leq 3}

منابع

[ویرایش]
  1. ↑ https://web.archive.org/web/20171030110217/http://daneshnameh.roshd.ir/mavara/mavara-index.php?page=%DA%AF%D8%B2%D8%A7%D8%B1%D9%87&SSOReturnPage=Check&Rand=0. بایگانی‌شده از اصلی در ۳۰ اکتبر ۲۰۱۷. دریافت‌شده در ۱۴ ژوئن ۲۰۱۷. پارامتر |عنوان= یا |title= ناموجود یا خالی (کمک)
  • ریچارد جانسون با (۱۳۸۰)، ساختمان‌های گسسته، ترجمهٔ حسین ابراهیم‌زاده قلزم (ویراست پنجم)، سیمای دانش
  • ن
  • ب
  • و
رابط‌های منطقی
  • همان‌گویی (منطق)/True  ⊤ {\displaystyle \top } {\displaystyle \top }
  • خط شفر (دروازه نقیض و)  ↑ {\displaystyle \uparrow } {\displaystyle \uparrow }
  • شرطی معکوس  ← {\displaystyle \leftarrow } {\displaystyle \leftarrow }
  • شرطی مادی (دروازه شرطی)  → {\displaystyle \rightarrow } {\displaystyle \rightarrow }
  • فصل منطقی (دروازه یا)  ∨ {\displaystyle \lor } {\displaystyle \lor }
  • نقیض (دروازه وارونگر)  ¬ {\displaystyle \neg } {\displaystyle \neg }
  • یای انحصاری (دروازه یای انحصاری)  ⊕ {\displaystyle \oplus } {\displaystyle \oplus }
  • دوشرطی منطقی (دروازه نقیض یای انحصاری)  ↔ {\displaystyle \leftrightarrow } {\displaystyle \leftrightarrow }
  • Statement
  • نقیض یا (دروازه نقیض یا)  ↓ {\displaystyle \downarrow } {\displaystyle \downarrow }
  • نقیض شرطی  ↛ {\displaystyle \nrightarrow } {\displaystyle \nrightarrow }
  • Converse nonimplication  ↚ {\displaystyle \nleftarrow } {\displaystyle \nleftarrow }
  • عطف منطقی (دروازه و)  ∧ {\displaystyle \land } {\displaystyle \land }
  • تناقض/کذب  ⊥ {\displaystyle \bot } {\displaystyle \bot }
Logic portal
  • ن
  • ب
  • و
علم منطق
تاریخ
    • عمومی
  • چینی
  • یونانی
  • هندی
  • اسلامی
مقالات اصلی
    • خرد
  • منطق فلسفی
  • فلسفه منطق
  • منطق ریاضی
  • فرامنطق
  • زبَر-منطق
  • منطق در علوم رایانه
مفاهیم منطق
استدلالی
  • قیاسی
  • استقرائی
  • معکوس
  • محتواگرا
      • گزاره
    • استنتاج
    • برهان
    • اعتبارمندی
    • قانع‌کنندگی
    • منطق ترم
    • تفکر نقادانه
    • مغالطه
    • قیاس
    • نظریهٔ برهان‌آوری
    ریاضی
      • عبارت
    • عبارت خوش‌ساخت
    • مجموعه
    • عنصر
    • رده
    • اصل موضوع
    • قضیه
    • برهان
    • تعبیرات
    • سازگاری
    • درستی
    • کاملیت
    • تصمیم‌پذیری
    • انجام‌پذیری
    • استقلال
    • زبان صوری
    • دستگاه صوری
    • دستگاه قیاسی
    • نظریهٔ مجموعه
    • نظریهٔ برهان
    • نظریهٔ مدل
    • نظریهٔ بازگشتی
    • نظریهٔ انواع
    • نحو
    • معناشناسی
    • دنباله معنایی
    • دنباله نحوی
    گزاره‌ای
      • توابع بولی
    • حساب مسندات تکین
    • حساب گزاره‌ای
    • ادات منطقی
    • جدول ارزش
    محمولات
      • منطق دسته یکم
    • سورها
    • منطق دسته دوم
    موجهات
      • تکلیفی
    • شناختی
    • زمانمند
    • اعتقادی
    غیرکلاسیک‌های دیگر
    • محاسبه‌پذیری
    • فازی
    • خطی
    • ربط
    • نایک‌نوا
    مجادله‌ها
      • ناهماهنگی‌پذیری
    • دودُرُستی
    • منطق شهودگرایانه
    • متناقض‌نماها
    • خلاف‌آمدها
    • تجربی بودن منطق
    افراد اصلی
    • ابن النفیس
    • ابن تیمیه
    • ابن حزم
    • ابن رشد
    • ابن سینا
    • ارسطو
    • برتراند راسل
    • اسکولم
    • بول
    • پئانو
    • پاتنم
    • پانینی
    • پولس ایرانی
    • پیرس
    • تارسکی
    • تورینگ
    • چرچ
    • دارماکیرتی
    • دیگناگه
    • شهاب‌الدین یحیی سهروردی
    • غزالی
    • فارابی
    • فخر رازی
    • فرگِه
    • کارناپ
    • کانادا
    • کانتور
    • کریپکه
    • کِنْدی
    • کواین
    • گنتزن
    • گوتاما
    • گودل
    • لطفی زاده
    • موتزی
    • ناگارجونه
    • هیلبرت
    • وایت‌هد
    فهرست‌ها
      • منطق‌دانان
    • قواعد استنتاج
    • متناقض‌نماها
    • سفسطه‌ها
    • عمومی
    • جدول نمادها
    • رده
    • نوشتارهای ناتمام
    • نوشتارهای ناتمام منطق ریاضی
    برگرفته از «https://fa.teknopedia.teknokrat.ac.id/w/index.php?title=نقیض&oldid=41076620»
    رده‌ها:
    • جبر بولی
    • دستور زبان
    • رابط‌های منطقی
    • معناشناسی
    • مفهوم‌های منفی
    • منطق ریاضی
    • منطق گزاره‌ای
    • منطق
    رده‌های پنهان:
    • صفحه‌های دارای یادکرد بدون عنوان یادکرد
    • صفحه‌های دارای ارجاعی که پیوند اینترنتی‌شان برهنه است
    • مقاله‌های دارای واژگان به زبان انگلیسی

    • indonesia
    • Polski
    • العربية
    • Deutsch
    • English
    • Español
    • Français
    • Italiano
    • مصرى
    • Nederlands
    • 日本語
    • Português
    • Sinugboanong Binisaya
    • Svenska
    • країнська
    • Tiếng Việt
    • Winaray
    • 文
    • Русский
    Sunting pranala
    Pusat Layanan

    UNIVERSITAS TEKNOKRAT INDONESIA | ASEAN's Best Private University
    Jl. ZA. Pagar Alam No.9 -11, Labuhan Ratu, Kec. Kedaton, Kota Bandar Lampung, Lampung 35132
    Phone: (0721) 702022
    Email: pmb@teknokrat.ac.id