مقاله اثبات قضیه تعدی آرمسترانگ اثبات قضیه هیث حل مشکل مطرح شده در جدول SP

لینک پرداخت و دانلود *پایین مطلب*

فرمت فایل:Word (قابل ویرایش و آماده پرینت)

تعداد صفحه:3

 فهرست مطالب

1- اثبات قضیه تعدی آرمسترانگ

2- اثبات قضیه هیث

3- حل مشکل مطرح شده در جدول SP

فرم کلی قضیه  :

در رابطه R( A , B , C , … ) داریم :

فرض :

 1- A            B    

2- B            C     

اثبات اینکه :             C            A

 با استفاده از برهان خلف  داریم که اگر     C            A   در این صورت در رابطه R  در حداقل دو تاپل ، به ازاء یک مقدار A  دو مقدار متمایز از C  داریم .

اما به ازای دو مقدار متمایز C ممکن است دو مقدار متمایز یا یک مقدار باشد .