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

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

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

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

هدف:اثرات سمی حاصل از استفاده ی کربن نانوتیوب ها در موارد بالینی، چالشی بزرگ را در این حوزه ایجاد کرده است. این مطالعه به منظور بررسی اثرات سلولی و سمیت احتمالی کربن نانوتیوب ها در سلول های هپاتوسلولار کارسینوما می باشد. مواد و روش ها: برای شروع این تحقیق، 5 گروه سلول های تیمار شده با غلظت های 5، 10، 20، 50 و 100 میکروگرم به ازای هر میلی لیتر از کربن نانوتیوب و یک گروه سلول های کنترل تیمار نش...

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

سابقه و هدف: گزارشاتی مبنی بر تاثیر منفی انجماد شیشه ای بر بقا و کلیواژ جنین ها وجود دارد. هدف از این مطالعه، تاثیر مدت زمان انجماد جنین های دو سلولی موش بر زنده ماندن و کلیواژ آن ها بعد از ذوب می باشد. مواد و روش ها: در این مطالعه تجربی، بعد از تحریک تخمک گذاری موش های ماده nmri، جفت شدن با موش های نر و تایید وجود پلاک واژنی، موش های ماده 48-44 ساعت بعد از تزریق hcg، قطع نخاع شدند. جنین های دو...

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

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