دانلود تحقیق رشته کامپیوتر گرایش نرم افزار با عنوان منطق فازی
یک فرمول منطقی درمنطق سه-ارزشی که بدون توجه به قرار دادن ارزش درستی به فضایای جزئیه ان ارزش درستی صفر(غلط) رافرض نکند راشبه تاتولوژی گویند.عبارتی که ضرورتا صحیح نیست . همینطور یک فرمول منطقی که ارزش درستی یک (صحیح ) را فرض نکند یک شبه تناقص [1] گویند . برای مقایسه اثرات هریک از اثرات هر یک از منطق های سه ارزشی روی تاتولوژی
کلاسیک‘ جداول (3) ‘ (4) ‘(5) را که نمایانگر جداول درستی برای هر یک از
قوانین دمورگان بوده ودر منطق های بوچوار و کلن بکار رفته ملاحظه نمائید.
از مشخصات مشترک بین جداول درستی بوچار وکلن این است که در بعضی از سطور زیر ادات اصلی تساوی در هر جدول ارزش 2/1 را قرار می دهد . بنابر این در این منطق قانون دمورگان یک تاتولوژی کلاسیک نیست . انها در سطوری که قضایا دارای ارزش 2/1 هستند متفاوتند :
در سطر دوم جداول درستی مربوطه بطور وضوح بوچوار در شرایطی که عطف امکان صحت داشته باشد لیبرال تر از کلن بوده لیکن در شرایط درستی فصل تحدید کننده تر است . برعکس ‘ در منطق لاکازویکز‘ همه ارزشهای زیرتساوی برابر یک بوده و بنابراین منطق فوق قانون دمورگان رابهمان روش منطق دو ارزشی ارزیابی می کند . منطق لاکازویکر شبیه منطق کلن در وضعیتی که یک عطف را صحیح بشمارد تحدید کننده تر است . شبیه منطق کلن‘ منطق لاکازویکر لیبرال تر از منطق بوچوار درشرایط درستی فصل است . لیکن حتی هنگامیکه هر دو عنصر دارای ارزش 2/1 باشند ‘ منطق لاکزویکز علیرغم منطق های بوچوار وکلن به تساوی ارزش درستی یک رااختصاص می دهد.
ارزشهای درستی میانی نه تنها بر مفاهیم تاتولوژی وتناقص تاثیرگذار بوده بلکه تحول عظیمی در چگونگی تفکر روی قواعد استنتاج ایجاد نموده است . قابل ذکر
است که قاعده استنتاج قیاسی را می توان با یک قضیه تاتولوژی بیان نمود . مثلا قاعده وضع مقدم[2] را می توان بصورت قضیه زیر بیان نمود :
و ...
در فرمت ورد
در 42 صفحه
قابل ویرایش
دانلود تحقیق رشته کامپیوتر گرایش نرم افزار با عنوان منطق فازی