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

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

گسل زفره بخش جنوبی از سامانه گسلی قم- زفره با امتداد کلی nw- se یکی از مهمترین گسل های موجود در کمان ماگمایی ارومیه- دختر می باشد. گسل زفره در مسیر خود سنگ های آتشفشانی ائوسن را قطع کرده است و سنگهای آذرآواری و توده های آذرین دوران سوم را مجاور سازندهای رسوبی دوران دوم قرار داده است. گسل زفره را می توان براساس راستا به سه قطعه شمالی با راستای کلی ?135 قطعه میانی با راستای کلی ?160 و قطعه جنوبی ...

در این پایان نامه طراحی و ساخت آنتنی را توضیح می دهیم که دارای الگوی تشعشعی زین اسبی، پلاریزاسیون دایروی، بدون شبکه فید و موج برگشتی کمتر از db10- است و در ماهواره های در مدار پایین کاربرد دارد و محدوده ی فرکانسی این آنتن 68/1 تا 72/1 گیگا هرتز می باشد. ساختار این آنتن شامل یک منعکس کننده کروی است که فید آن یک آنتن حلزونی است و در پشت منعکس کننده ( سطح محدب) قرار گرفته است. این ساختار جدید و بی...

در مطالعة حاضر خواص آنتی اکسیدان پروتئین آبکافت تولیدشده با آنزیم پروتامکس از امعا و احشا و گوشت ماهی یال اسبی بررسی شد و فاکتورهای زیر طی 7 ساعت آبکافت آنزیمی سنجش شد. بیشترین میزان بازیافت نیتروژن امعا و احشا و گوشت به ترتیب 6±89% و 8±93% و بیشترین میزان درجة آبکافت نیز به ترتیب به میزان 3±65% و 7±79% در ساعت هفتم دیده شد. در پروتئین آبکافت امعا و احشا و گوشت بیشترین میزان فعالیت حذف رادیکال ...

موضوع این مقاله پژوهشی تطبیقـی دربارة رویکرد مشترک صدرالمتألهیـن و علامه طباطبایی در‌بارة نفی‌‌ کارآمدی برهان لم در قلمرو فلسفة اولی است. ملاصدرا با اتکا به نظریة بساطت حقیقت وجود و این‌که امر بسیط حد و درنتیجه برهان ندارد به این نتیجه دست یافت که برهان لم در شناخت و اثبات احوال و اوصاف وجود کارآمد نیست. صدرا برهان اِنّ را نیز، با استناد به قاعدة ذوات الاسباب، گاه به‌کلی نامعتبر و گاه با کارکردی ...

انّ بعض النقاد و مؤرخی الأدب یعتقدون أن لو نظرنا فی دیوان البارودی، لوجدنا أنه لم یأت بجدید، لا فی موضوعات الشعر، و لا فی شکله. و أنه لم یخرج عن موضوعات عصره التقلیدیة. و أنّ شعره موزع بین المدیح و الهجاء و الفخر و الغزل و ریاضة القافیة، إضافة إلی لون وجدانی ساقته أحداث حیاته. و إنّ هولاء النقاد یجعلون تجدیده فی قیاس شعره بشعر معاصریه، فی دیباجته و أسلوبه و ترک التکلف والبهرجة. أمّا إذا کان البارود...