لیترال (منطق ریاضی)

شئ منطقی یا نقیض آن

در منطق ریاضی، یک لیترال، یک اتم (به انگلیسی: atom) یا شیء منطقی یا نقیض آن است. این مفهوم بیشتر در تبدیل فرم نرمال اشتراکی توسط نظریه برهان یا نظریه پروف و در منطق کلاسیک به کار برده می‌شود.

لیترال می‌تواند به دو دسته تقسیم شود:

  • لیترال مثبت: به یک اتم گویند.
  • لیترال منفی: به نقیض یک اتم گویند.

کاربردویرایش

در حساب گزاره‌ای، لیترال صرفاً یک متغیر گزاره‌ای است یا نقیض آن است.

در منطق مسند لیترال به یک اتم یا نقیض آن اطلاق می‌شود.

در جبر بولی، لیترال یک متغیر بولی یا متمم آن است. در این کاربرد لیترال برای ساخت جملات کمینه و بیان عبارت بولی به صورت شکل نرمال فصلی استفاده می‌شود.

منابعویرایش

  • مشارکت‌کنندگان ویکی‌پدیا. «Literal (mathematical logic)». در دانشنامهٔ ویکی‌پدیای انگلیسی.
  • بهروز قلی زاده (۱۳۹۱ساختمای‌های گسسته، ص. ۱۶۸، شابک ۹۷۸-۹۶۴-۶۳۷۹-۹۱-۶