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

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

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

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

چکیده: هدف از این مقاله، ردگیری بهینه و مقید با استفاده از راهبرد کنترل غیرخطی بهینه مبتنی بر تابع لیاپانوفی کنترل (CLF) است. رویکرد اصلی روش مزبور این است که دارای حل تحلیلی بوده و تضمین می‌کند که سیستم حلقه­بسته را پایدار نماید، ضمن اینکه رابطه صریحی برای کنترل‌کننده فراهم می­سازد. روشی که مبتنی بر تابع لیاپانوفی کنترل است و تابع هزینه را نیز در فرآیند طراحی لحاظ می‌نماید روش "کفایت صدق است. ...

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

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

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

هرگاه ? در یک ضایطه قابل قبول صدق کند توسط عملگر انتگرالی v_? (f)??_0^1???(t)? (f(tz))/t dt کلاس توابع تحلیلی نرمالیزه که در شرط ?re e?^i? ((1-?+2?)(f(z))/z+(?-2?)f^ (z)+?zf^(z)-?)>0 صدق می کند را به کلاس توابع ستاره گون تصویر می کنیم. در این پایان نامه می خواهیم شرط لازم وکافی را برای این منظور حاصل کنیم. و همچنین می خواهیم کوچکترین مقدار را برای پارامتر ? بیابیم که تحت آن تابع f که در ش...