منطق سهارزشی
نوعی از منطق چند-ارزشی
در منطق، منطق سه ارزشی یکی از منطقهای چندارزشی است؛ که دارای سه ارزش درست، نادرست و نامشخص است. منطق سه ارزشی دارای حوزههای متفاوتی میباشد. از متداولترین حوزههای منطق چند ارزشی لوکاسیهویچ[۱] و کلینی[۲] معروف شدهاند. از این میان حوزه کلینی با توجه به سمبلیک و تعاریف مناسبی که برای عملگرهای پایه دارد، در دنیای علوم کامپیوتر بسیار شناخته شده و مورد قبول است.
منطق کلینی
ویرایشدر پایین جدول ارزش منطق کلینی را میبینید:
A AND B | B | |||
---|---|---|---|---|
درست | نامشخص | نادرست | ||
A | درست | درست | نامشخص | نادرست |
نامشخص | نامشخص | نامشخص | نادرست | |
نادرست | نادرست | نادرست | نادرست |
A OR B | B | |||
---|---|---|---|---|
درست | نامشخص | نادرست | ||
A | درست | درست | درست | درست |
نامشخص | درست | نامشخص | نامشخص | |
نادرست | درست | نامشخص | نادرست |
A | NOT A |
---|---|
درست | نادرست |
نامشخص | نامشخص |
نادرست | درست |
مفهوم مواد برای منطق کلینی را میتوان به صورت زیر نوشت:
جدول ارزش آن:
A → B | B | |||
---|---|---|---|---|
درست | نامشخص | نادرست | ||
A | درست | درست | نامشخص | نادرست |
نامشخص | درست | نامشخص | نامشخص | |
نادرست | درست | درست | درست |
جستارهای وابسته
ویرایشمنابع
ویرایش- ↑ J. Łukasiewicz, “O logice trójwartościowej,” (in Polish), Ruch filozoficzny 5:170–171. English translation: On three-valued logic, in L. Borkowski (ed.), “Selected works by Jan Łukasiewicz,” North–Holland, Amsterdam, 1970, pp. 87–88.
- ↑ S. C. Kleene, "Introduction to Metamathematics," Amsterdam, The Netherlands: North-Holland, 1952, pp. 332–340.
- مشارکتکنندگان ویکیپدیا. «Three-valued logic». در دانشنامهٔ ویکیپدیای انگلیسی.
🔥 Top keywords: صفحهٔ اصلیمسعود پزشکیانمصطفی پورمحمدیتب دنگیسعید جلیلیمحمدباقر قالیبافعلیرضا زاکانیویژه:جستجوسید امیرحسین قاضیزاده هاشمیرده:پوزیشنهای جنسیمهدی سناییانتخابات ریاستجمهوری ایران (۱۴۰۳)شیدا خلیقانتخابات ریاستجمهوری ایران (۱۴۰۰)محمدجواد ظریفروشهای آمیزش جنسینامزدهای انتخابات ریاستجمهوری ایران (۱۴۰۳)جام ملتهای اروپا ۲۰۲۴لحظه گرگ و میشرده:فیلمهای سکسی-کمدی آمریکاییآمیزش جنسی بدون دخولناصر مکارم شیرازیسید ابراهیم رئیسیسکس شاپناهید مسلمیدادگاه حمید نوریآمیزش جنسی دهانیسید علی خامنهایفرجلیسیدر انتهای شب (مجموعه نمایش خانگی ۱۴۰۳)کریستیانو رونالدوابراهیم متقیسید محمد خاتمیگرجستانآمیزش جنسیخودارضاییجام ملتهای اروپاقضیبلیسیآمیزش جنسی مقعدی