در این رساله مطالعه فرمولهای علامتدار-g مجموعه ای که تعمیمی از فرمولهای علامتدار می باشند ارائه شده و ضابطه های تبدیل -g مجموعه ای به منظور فراهم آوردن منطقهای -g مجموعه ای معرفی می شوند. دسته های فرمولهای علامتدار -g مجموعه ای اشباع شده به طرف پائین یا بالای هینتی کا و کالمار جهت اثبات تمامیت منطقهای -g مجموعه ای تعمیم داده خواهند شد. به جای -g مجموعه ها یا بازه های محدب ، ساختارهای هازی محدب ...

قبیل سخنان و گشودن رازهای نهفته در آن ها، چشم اندازی جدید از مواجهة تاریخی و سپس علمی با این پدیده است. تقریباً در همة آثاری که له و علیه شطحیات به نگارش درآمده اند، آن جایی که به انکار یا دفاع عقلانی از شطحیات پرداخته شده و نشانی از اثبات و رد توجیه منطقی این قبیل سخنان و تعابیر دیده می شود، منظور از عقل، عقل ارسطویی و مراد از منطق، منطق دوارزشی ارسطویی بوده است. با آن که منشأ اشکالات و مشکلات ...

هدف از این پایان نامه، بررسی mv -مدول هاست. در پایان بعضی ساختارهای فازی روی آن نیز بررسی خواهد شد. تا از این طریق بتوانیم در جهت پیشرفت ساختارهای فازی گامی هر چند ناچیز برداریم. ایده درنظر گرفتن فرمول های زبان منطقی به عنوان عبارات جبری اولین بار توسط جورج بول مطرح شد و عمدتاً از طریق در نظر گرفتن روابط بین کلاسهای اشیاء الهام گرفته است. چانگ از طریق تجزیه و تحلیل منطق چندارزشی در سال 1958، به...

به علت برخی ویژگی های منطق سنتی ارسطویی، عدم ارتباط منطقی میان جملات از نوع «هست» و جملات از نوع «باید» بدیهی به نظر می رسد. اما منطق جدید فاقد چنین ویژگی هایی است؛ پرایور با تکیه بر این نکته طرف داران شکاف منطقی «هست» و «باید» را با یک پارادوکس مواجه می کند. در این مقاله ابتدا پارادوکس پرایور و برخی پاسخ های فلسفی به آن را بیان می کنیم، سپس به تشریح منطق چند ارزشی بیل که برای حل این پارادوکس پ...

برای استدلال در مورد فرایندهای ناشی از عملکرد چندین مرکز منطق های مختلفی ایجاد شده استکه به صورت بندی گزاره ها در زبان های تخصص یافته و بررسی مدل های متناظر و صدق کذب احکام در این مدل ها می پردازد. همچنین نرم افزارهایی برای بررسی این موارد ایجاد شده است. منطق زمانی atl برای بیان گزاره هایی در مورد آن چه ائتلافی از بازیکن ها در یک همکاری استراتژیک می توانند بدان نایل شوند ارایه شده است. دراین پ...

اهداف این پایان نامه عبارتند از: 1) ایجاد یک مدل فازی دانش و حدس برای آزمونهای چند گزینه ای و 2) ایجاد یک روش نمره دهی چند وجهی که بتواند تا اندازه ای دانش نسبی را در آزمون های چند گزینه ای مورد سنجش قرار دهد. در رابطه با اولین هدف، نگرش نظری به مفهوم دانش از منظر منطق فازی باعث پیدایش طبقه بینابینی دانش نسبی گردید. سپس برای درک طبیعت ساختاری دانش نسبی از طریق تجربی، به 10 آزمودنی دو آزمون لغت ...

هدف از قضیه بیز (bayes theorm) در فرم فازی است . بدین جهت ابتدا به بیان مطالبی در رابطه با منطق دو ارزشی می پردازیم سپس منطق دو ارزش را جبری نموده و با بسط مطلب ، روی منطق های چند ارزشی، جبرهای چند ارزشی (در فصل 2 بطور کامل به جبرهای چند ارزشی پرداخته شده است ) را مطرح می کنیم. آنگاه بحث را روی مجموعه هایی با کرانهای نادقیق (مجموعه فازی) تعمیم می دهیم. در این تعمیم از -t نرمها بعنوان رابط استفا...

چکیده سیستمهای قدرت در معرض اختلالات فرکانس پایین قرار دارند که ممکن است باعث از بین رفتن سنکرونزاسیون و از کار افتادگی احتمالی کل سیستم شود. نوساناتی که عموما در محدوده فرکانسی 0.3هرتز و 0.2 هرتز قرار دارند ممکن است توسط اختلالاتی که در سیستم و در برخی مواقع حتی ممکن است خودبخود بوجود آید. این نوسانات قابلیت انتقال توان یک شبکه را محدود می کند و در برخی مواقع باعث از بین رفتن سنکرونزاسیون و ا...

چکیده پدیده های حقوقی دائم در حال خلق، محو و تغییرند. این خصیصه حقوق، یعنی تکامل پدیده های حقوقی که تابعی از تکامل پدیده های اجتماعی است، در حقوق بین الملل که مراحل نه چندان پیش رفته از تکامل خود را پشت سر می گذارد با قوتی بیش تر رخ می نمایاند. در واقع، حقوق بین الملل از مبادی جهان شناسانه خود گرفته تا فرایندهای اداری و اجرایی محصول آن، نو به نو در فرایند تبدیل و تبدل به سر می برد. عرصه منابع ...

هر چند ملاصدرا - در منطق - متأثر از دیدگاه های حکمت سینوی است؛ اما نوآوری هایی در منطق دارد که به حق می توان منطق او را منطق صدرایی قلمداد کرد. ملاصدرا علاوه بر آن که در دو بخش تعریف و استدلال، نظرات ابتکاری ای دارد، در رابطه با علم منطق به عنوان یک مجموعه در کنار علوم بشری دیگر و نیز در مباحث مقدماتی آن، صاحب رأی است. ملاصدرا بر اساس تقسیم علوم حقیقی به حکمت نظری و حکمت عملی، علم منطق را مندرج...