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

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

سنتز آنزیم لیپاز در فرایند تخمیر حالت جامد با استفاده از میکروارگانیسم rhizopus oryzae و سوبسترای تفاله نیشکر (باگاس) مورد بررسی قرار گرفت. یک بیوراکتور سینی دار جدید با کنترل دقیق پارامترهای فرایندی شامل دما و رطوبت طراحی شده و به منظور تولید آنزیم بیرون سلولی مورد استفاده قرار گرفت. فرایند تخمیر به مدت 120 ساعت انجام شد و میزان لیپاز تولیدی به فاصله زمانی 24 ساعت در دماهای مختلف مورد بررسی قر...

خواص عجیب گرافین مانند بیشترین میزان رسانایی الکتریکی در بین مواد شناخته شده،دنیای علمرا تکان داده¬است.گرافین ماده ای منحصربه¬فرد با پایه ی کربنیودانسیته ی اتمی بالااست.خواص گرافین ازطریق عامل-دار¬کردن شیمیایی موردتوجه خاصمحققان قرارگرفته¬¬است واین واقعیت که شیمیدانان به سختی می توانند جایگزینی برایگرافین پیدا کنندسبب شده که این مادهبه دلیل داشتن خواص فیزیکی و الکترونی منحصربه-فرد، کاندیدای منا...

مقاله حاضر به بررسی و داوری نظرات منطق دانان سینوی درباره شرایط انتاج قیاس استثنائی (با تأکید بر شرطی متصل) اختصاص دارد. پس از بررسی متون متعدد منطق سینوی، مجموعه نظرات در شش دسته تقسیم بندی شده است. در دسته اول، شرطی در قیاس استثنائی به صورت مهمله استفاده می شود که با مبانی منطق سینوی در شرطیات هماهنگ نیست. با کنار گذاشتن این نظر درمی یابیم همه منطق دانان سینوی درباره ضرورت لزومی بودن شرطی در ...