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

اختصاصی از فایل هلپ مقاله اثبات قضیه تعدی آرمسترانگ دانلود با لینک مستقیم و پر سرعت .

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

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

 تعداد صفحات:3

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

فرم کلی قضیه  :

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

فرض :

 1- A            B    

2- B            C     

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

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