پروفسور دکتر الفرد کوزینگ
برگردان
شین میم شین
۱
·
ماتریس حقیقت به تابلوی «ارزش های حقیقت» اطلاق می
شود که با تعیین ارزش حقیقت ممکنه، برای هر کدام از متغیرهای حکمی خویش، یک تبیین
منطقی عرضه می کند.
۲
·
در ستون های اول ماتریس حقیقت هرگویشی، ترکیبات مختلف ممکنه
از ارزش های حقیقت برای متغیرها درج می شود.
۳
·
اگر تعداد متغیرهای موجود در گویش، (ان) فرض شود، تعداد
ترکیبات ممکنه (2 بتوان ان) (۲n) خواهد بود.
۴
·
بعد، ارزش حقیقت «زیرگویش ها» و سرانجام کل گویش تعیین می
شود.
۵
·
به کمک ماتریس های حقیقت می توان در مورد هر گویش منطق حکمی،
ارزیابی های زیر را تعیین کرد:
الف
· «اعتبار
عام» داشتن آن را
ب
· «قابل
برآورده بودن» آن را
پ
· «خنثا
بودن» آن را
ت
· «کونترادیکسیون»
آن را
۶
·
مثال برای تعیین ماتریس حقیقت برای گویش (غیر پ ــــ> پ و یا غیر پ)
الف
· نخست برای متغیرهای پ و ک
ستون های لازم را تشکیل می دهیم.
ب
· سپس ستون های لازم برای
«زیرگویش های» (غیر پ)، (غیر ک) و (پ و یا غیر ک) و سرانجام ستونی برای کل گویش [ غیرپ
ـــ> (پ و یا غیر ک) ] تشکیل می دهیم.
پ
·
از آنجا که اینجا ما با دو نوع مختلف متغیر (پ و ک) سر و
کار داریم، تعداد ترکیبات ممکنه ۲ بتوان ۲ = ۴ خواهد بود.
·
یعنی ما چهار ترکیب از ارزش های حقیقت خواهیم داشت که در
ستون های اول و دوم درج می شوند.
ت
·
ماتریس حقیقت گویش [ غیرپ ـــ> (پ و یا غیر ک) ]
سرانجام هیئت زیرین را پیدا می کند
·
(دابلیو: حقیقی و اف: خطا):
|
p
|
q
|
--- p
|
---q
|
(p v --- q)
|
--- p à (p v --- q)
|
|
w
|
w
|
f
|
f
|
w
|
w
|
|
w
|
f
|
f
|
w
|
w
|
w
|
|
f
|
w
|
w
|
f
|
f
|
f
|
|
f
|
f
|
w
|
w
|
w
|
w
|
۷
·
اگر گویشی حاوی سه و یا چهار متغیر حکمی مختلف باشد،
تعیین چند و چون آن به کمک ماتریس حقیقت دشوار خواهد بود.
۸
·
اگرتعداد متغیرهای حکمی مختلف ۵ تا باشد، ما با تابلوئی
سر و کار خواهیم داشت که دارای (۲ بتوان ۵)
= ۳۲ عضو خواهد بود.
۹
·
در چنین مواردی تعیین چند و چون گویش های مبتنی بر منطق
حکمی بکمک روش های متداول «کون یونکسیون» و یا «آلترناتیو» صورت خواهد گرفت.
پایان
هیچ نظری موجود نیست:
ارسال یک نظر