Intuitionistic fuzzy interpretations of formula (A → B) → ((¬A → B) → B)
نویسندگان
چکیده
One of the essential formulas classical mathematical logic is (A → B) ((¬A B). In present paper, its intuitionistic fuzzy interpretation introduced, and lists all defined implications that satisfy it as a tautology an are given.
منابع مشابه
بررسی پیوند هیدروژنی در -b آمینوکتونهای غیراشباعی a-b
ترکیب -1فنیل -3آمینو -2بوتن -1 ون و کمپلکس مس (ii) آن تهیه و خالص شده اند. همچنین ترکیب فوق در موقعیتهای آمینو و آلیلی دوتره شده است . سپس طیفهای ارتعاشی مادون قرمز و رامان این ترکیبات تفسیر شده اند. علاوه بر این با استفاده از محاسبات ab initio در سطح hf/6-31g ساختمان ترکیب فوق و ایزومر ساختمانی آن، -4فنیل -4آمینو -3بوتن -2 ون، در دو طرف چاه پتانسیل هیدروژن کمینه و فرکانسهای ارتعاشی آنها محاسبه...
15 صفحه اولنامساوی های زیرجمعی ماتریسی برای (f(a+b و(f(a)+f(b
در سال 1999 اندو وژان یک نامساوی زیر جمعی برای توابع مقعر عملگری بدست آوردند. ما این نامساوی را به همه توابع مقعر توسعه می دهیم: ماتریس های نیمه معین مثبت a وb تابع مقعر غیرمنفی f روی (&,0] را در نظر می گیریم. برایس هر نرم متقرن داریم. ||| (f(a)+f(b) ||| > |||f(a+b)|||
15 صفحه اولOn Intuitionistic Fuzzy Generalized b Closed Sets
K. T. Atanassov, ?Intuitionistic fuzzy sets?, Fuzzy Sets and Systems, 20(1986), 87-96. S. S. Benchalli and Jenifer J. Karnel, ?On fuzzy b open sets in fuzzy topological spaces?, J. Comp. & Math. Sci, 1(2010), 127 – 134. C. L. Chang, ?Fuzzy topological spaces?, J. Math. Anal. Appl, 24(1968), 182-190. D. Coker, ?An introduction to intuitionistic fuzzy topological spaces?, Fuzzy Sets and Systems, ...
متن کاملروابط بین رسته های ?/b,?/a,?/a و
در این پایان نامه ابتدا رسته ی کاما e/a، وابسته به رسته e را معرفی کرده ایم. سپس تابعگون هایی بین رسته های کامای e/a و e/b بدست آورده و نشان می دهیم این تابعگون ها زوج های الحاقی اند . همچنین موند مربوط به این زوج های الحاقی را ارائه خواهیم کرد. سرانجام با استفاده از تابعگون های بین رسته e/a و رسته کامای ریخت جزئی e/a روابطی بین رسته های فوق الذکر بدست می آوریم.
15 صفحه اولبررسی منظم آرنز بودن جبر b a
در سال 1951 آر. آرنز دو ضرب روی a" تعریف نمود که به ضرب آرنز چپ و ضرب آرنز راست موسوم اند. تحت هر یک از این دو ضریب a" تبدیل به یک جبر باناخ می شود. اگر این دو ضریب روی a" بر هم منطبق باشند جبر a را منظم آرنز می گوئیم. یک مسئله مهم و طبیعی بررسی ساختارهای جدیدی از جبرهای منظم آرنز است . بدیهی است که یک زیر جبر بسته از یک جبر منظم آرنز، منظم آرنز و جبرهای خارج قسمتی از یک جبر منظم آرنز نیز منظم ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notes on IFS
سال: 2022
ISSN: ['2367-8283', '1310-4926']
DOI: https://doi.org/10.7546/nifs.2022.28.4.428-435