منطق سه‌ارزشی

در منطق، منطق سه ارزشی یکی از منطق‌های چندارزشی است؛ که دارای سه ارزش درست، نادرست و نامشخص است. منطق سه ارزشی دارای حوزه‌های متفاوتی می‌باشد. از متداول‌ترین حوزه‌های منطق چند ارزشی لوکاسیه‌ویچ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. معروف شده‌اند. از این میان حوزه کلینی با توجه به سمبلیک و تعاریف مناسبی که برای عملگرهای پایه دارد، در دنیای علوم کامپیوتر بسیار شناخته شده و مورد قبول است.

 منطق کلینی 
در پایین جدول ارزش منطق کلینی را می‌بینید:
 A AND B  B درست  نامشخص  نادرست A درست درست نامشخص  نادرست نامشخص نامشخص  نامشخص  نادرست نادرست نادرست نادرست نادرست

 A OR B  B درست نامشخص  نادرست A درست درست درست درست نامشخص درست نامشخص  نامشخص نادرست درست نامشخص  نادرست

 A  NOT A درست نادرست نامشخص نامشخص نادرست درست
مفهوم مواد برای منطق کلینی را می‌توان به صورت زیر نوشت:

 جدول ارزش آن:

 A → B  B درست نامشخص نادرست A درست درست نامشخص نادرست نامشخص درست نامشخص نامشخص نادرست درست درست درست

 جستارهای وابسته 
 منطق
 جبر
 منطق‌های چندارزشی

 منابع 



رده:ریاضیات
رده:منطق‌های چندارزشی