منطق سه‌ارزشی: تفاوت میان نسخه‌ها

در [[منطق]]، '''منطق سه ارزشی''' یکی از [[منطق‌های چندارزشی]] است.است؛ که دارای سه ارزش درست، نادرست و نامشخص است. منطق سه ارزشی دارای حوزه‌های متفاوتی می‌باشد. از متداول‌ترین حوزه‌های منطق چند ارزشی لوکاسیه‌ویچ <ref>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.</ref> و کلینی <ref>S. C. Kleene, "Introduction to Metamathematics," Amsterdam, The Netherlands: North-Holland, 1952, pp. 332–340.</ref> معروف شده‌اند. از این میان حوزه کلینی با توجه به سمبلیک و تعاریف مناسبی که برای عملگرهای پایه دارد، در دنیای علوم کامپیوتر بسیار شناخته شده و مورد قبول است.

| درست|| نامشخص || نادرست

! scope="row" | نامشخص

| نامشخص || نامشخص || نادرست

| نادرست|| نادرست|| نادرست

! درست!! نامشخص !! نادرست

| درست|| درست|| درست

! scope="row" | نامشخص

| درست|| نامشخص || نامشخص

| درست|| نامشخص || نادرست

| نادرست

! scope="row" | نامشخص

| نامشخص

! scope="row" | نادرست

! scope="row" | درست

| درست|| نامشخص|| نادرست

! scope="row" | نامشخص

* {{یادکرد ویکی|عنوان=Three-valued logic|پیوند=http://en.wikipedia.org/wiki/Three-valued_logic|زبان=انگلیسی|بازبینی=}}