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

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

== منطق کلینی ==
در پایین [[جدول ارزش]] منطق کلینی را می‌بینید:
{| class="wikitable"
|-
! rowspan="2" colspan="2" | ''A'' '''AND''' ''B'' !! colspan="3" | ''B''
|-
! درست !! نامشخص !! نادرست
|-
! scope="row" rowspan="3" style="padding:0px 10px"| ''A''
! scope="row" | درست
| درست|| نامشخص || نادرست
|-
! scope="row" | نامشخص
| نامشخص || نامشخص || نادرست
|-
! scope="row" | نادرست
| نادرست|| نادرست|| نادرست
|}

{| class="wikitable"
|-
! rowspan="2" colspan="2" | ''A'' '''OR''' ''B'' !! colspan="3" | ''B''
|-
! درست!! نامشخص !! نادرست
|-
! scope="row" rowspan="3" style="padding:0px 10px"| ''A''
! scope="row" | درست
| درست|| درست|| درست
|-
! scope="row" | نامشخص
| درست|| نامشخص || نامشخص
|-
! scope="row" | نادرست
| درست|| نامشخص || نادرست
|}

{| class="wikitable"
|-
! A !! '''NOT''' A
|-
! scope="row" | درست
| نادرست
|-
! scope="row" | نامشخص
| نامشخص
|-
! scope="row" | نادرست
| درست
|}
مفهوم مواد برای منطق کلینی را می‌توان به صورت زیر نوشت:

<math> A \rightarrow B \ \overset{\underset{\mathrm{def}}{}}{=} \ \mbox{NOT}(A) \ \mbox{OR} \ B </math> [[جدول ارزش]] آن:

{| class="wikitable"
|-
! rowspan="2" colspan="2" | ''A'' '''→''' ''B'' !! colspan="3" | ''B''
|-
! درست!! نامشخص!! نادرست
|-
! scope="row" rowspan="3" style="padding:0px 10px"| ''A''
! scope="row" | درست
| درست|| نامشخص|| نادرست
|-
! scope="row" | نامشخص
| درست|| نامشخص|| نامشخص
|-
! scope="row" | نادرست
| درست|| درست|| درست
|}

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

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

{{خرد|منطق}}

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