اکنون بدرستی می توان درک نمود که تنها قضایای مربوط به رخدادهای اینده نیستند که دارای مشکل عدم تعیین اند.دررشته هایی مثل مکانیک کوانتوم‘ارزش درستی بعضی از قضایا ذاتا دارای خواصیت عدم تعیین می باشند. یکی از علل این وضعیت ممکن است محدودیتهای پایه ای و اساسی در اندازه گیریهای پدیده های بسیار بسیار ریز باشد. این موضوع با ملاحظه اصل معروف عدم قطعیت هایزنبرگ قابل درک است . بنابراین برای قضاوت روی این قضایا بایستی چهارچوبهای منطقی که قادربه ملحوظ نمودن عدم حتمیت وعدم قطعیت باشد تدوین نمود . اینگونه منطقهارا منطق چند ارزشی نامند .
منطق سه ارزشی
منطقهای چندارزشی با تخفیف دو حالت صحیح وغلط درمنطق دو ارزشی کلاسیک وتجویز ارزشهای درستی بیشتر از این دو حد اغاز میگردند . این ارزشها را ارزشهای میانی نامند . در منطق سه ارزشی تنها یک ارزش درستی میانی وجود دارد . در منطقهای سه ارزشی موجود معمولا سه ارزش صفر‘نیم ویک بکار رفته
اند . بکار بردن ارزش درستی میانه طبیعتا روی تعاریف جدول- درستی ادات پنجگانه منطق کلاسیک تاثیرگذاربودهاست. لیکن بدلیل اتکا استدلات دراینگونه منطقها باادراکات مربوط به معانی قضایای مرکب بیانی ‘تمامی ویژگیهای ادات
پنجگانه منطق کلاسیک با تعاریف این ادات در منطق سه ارزشی کاملا سازگاری ندارند . البته عملگر نفی را که در ان متمم قضیه p(¬p) با p-1 تعریف شده را بایستی مستثنی نمود
کاربران بیان میتوانند بدون نیاز به تأیید، نظرات خود را ارسال کنند. اگر قبلا در بیان ثبت نام کرده اید لطفا ابتدا وارد شوید، در غیر این صورت می توانید ثبت نام کنید.
اگر قبلا در بیان ثبت نام کرده اید لطفا ابتدا وارد شوید، در غیر این صورت می توانید ثبت نام کنید.