منطق سهارزشی: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
اصلاح نحوهٔ نوشتن نام Kleene به فارسی، همراه با اضافهکردن پیوند به صفحهٔ استیون کول کلینی |
|||
خط ۱:
در [[منطق]]، '''منطق سه ارزشی''' یکی از [[منطقهای چندارزشی]] است؛ که دارای سه ارزش درست، نادرست و نامشخص است. منطق سه ارزشی دارای حوزههای متفاوتی میباشد. از متداولترین حوزههای منطق چند ارزشی لوکاسیهویچ<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"
|-
خط ۵۰:
| درست
|}
مفهوم مواد برای منطق
<math> A \rightarrow B \ \overset{\underset{\mathrm{def}}{}}{=} \ \mbox{NOT}(A) \ \mbox{OR} \ B </math> [[جدول ارزش]] آن:
|