جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
4. اصطلاحنامه سایر موضوعات
>
اصطلاحنامه منطق
>
منطق جدید
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
5
6
7
8
9
10
11
12
13
14
تعداد رکورد ها : 186
عنوان :
تحلیل دلالت شناسانهی منطق شهودی
نویسنده:
برزویه بگلری
نوع منبع :
مقاله
منابع دیجیتالی :
متن
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
دلالتشناسی
,
منطق فلسفی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق شهودگرا Intuitionistic Logic
چکیده :
از زمان انتشار مقالهی سوئل کریپکی با عنوان تحلیل دلالت شناسانهی منطق شهودیI، در سال 1965، تمام آنچه پیش از آن در دلالتشناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدلهای بث تحت سایهی تنقیح و پالودگیاش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفتهاست. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالتشناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالتشناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقالهی کریپکی در ادبیات شهودگرایی، ترجمه مقالهی وی آمدهاست
انتخاب :
صفحات :
از صفحه 53 تا 93
مشخصات اثر
ثبت نظر
عنوان :
واکاویِ ملاک های احتمالاتی در استنتاج بهترین تبیین
نویسنده:
سیدمحمدمهدی اعتمادالاسلامی بختیاری ؛ میرسعید موسوی کریمی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
تبیین (منطق)
,
احتمال (منطق)
,
تایید (منطق)
,
استنتاج از راه بهترین تبیین(اصطلاح وابسته)
,
منطق جدید
,
منطق کلاسیک
,
استنتاج بهترین تبیین
,
بیز
,
مزیتهای تبیینگر
چکیده :
طبق رویکرد رایج به استنتاج بهترین تبیین (IBE)، فرضیهای که بهترین تبیین را برای پدیدههای در دستِ بررسی ارائه میدهد، احتمالاً صادق است. یکی از مهمترین چالشهای پیش روی این نحوۀ استدلال” ایراد وُلتِر “ است. مطابق این اشکال، دلیلی نداریم که ملاکهای انتخاب بهترین تبیین، موسوم به مزیتهای تبیینگر، محتملترین تبیین- یعنی تبیینی که نسبت به دیگر تبیینهای رقیب از احتمال صدق بیشتری برخوردار است- را به دست دهند. هدف اصلیِ این نوشتار، واکاویِ ملاکهای احتمالاتیِ مرتبط با IBE در مواجهه با ایراد وُلتِراست. به بیان دقیقتر، در پی آنیم که چنانچه ضابطههای احتمالاتیِ ارائه شده برای ارزیابیِ فرضیههای تبیینگر، ملاک انتخاب بهترین تبیین قرار گیرند، آیا این اطمینان وجود خواهد داشت که محتملترین تبیین به دست آید؟ در این راستا، ملاکهای احتمالاتیِ مرتبط با IBE را در سه دستۀ ملاکهای معطوف به قضیۀ بیز، ملاکهای معطوف به نظریۀ تأیید و ملاکهای معطوف به مزیتهای تبیینگر بررسی میکنیم. این واکاوی نشان میدهد که هیچیک از ضابطههای ارائه شده از پس تحدید بهترین تبیین - به گونهای که محتملترین تبیین را به دست دهد- بر نمیآیند.
انتخاب :
صفحات :
از صفحه 25 تا 48
مشخصات اثر
ثبت نظر
عنوان :
منطق دیالوگ
نویسنده:
احسان ارضرومچیلر
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
بازی
,
شهود گرایی
,
منطق گفتگو
,
معناشناسی (منطق)
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
چکیده :
پذیرش یا انکار یک سمانتیک برای منطقی خاص وابسته است به پیش فرض ها و مبانی فلسفی و فرامنطقی پذیرفته شده توسط یک منطقدان. آن چه در این رساله به آن پرداخنه می شود ارائه ی منطق دیالوگ است به همراه بیان برخی از این ملاحظات فلسفی. در این رساله ابتدا منطق گزاره ای دیالوگ، منطق محمولات دیالوگ و منطق موجهات دیالوگ ارائه خواهد شد. و پس از آن بحث های فلسفی مرتبط با آن، مانند شهودگرایی و نظریه معنا از نگاه شهودگرایانه - با تکیه بر آراء مایکل دامت - آورده خواهد شد و سپس برخی از نقدها و پاسخ هایی که به منطق دیالوگ وارد شده است ارائه و در انتهای فصل نیز به نتیجه گیری کلی در این باب پرداخته خواهد شد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پارادوکس یابلو در منطق مرتبه دوم
نویسنده:
محمد امین طریقی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
سازگاری
,
پارادوکس
,
منطق ریاضی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق مرتبه دوم
,
منطق غیر صوری informal logic
چکیده :
استفان یابلو در سال 1993 پارادوکسی غیرعادی شامل لیستی نامتناهی از جملات در زبان غیرصوری ارایه کرد. بعد از معرفی دو حالت شناختهشده در بررسی تناقض در مجموعهای از عبارات، ناسازگاری لیست جملات یابلو در زبانهای مرتبه دوم بررسی شدهاست. در حالی که حالت اول لیست متناقض نیست، نسخهی مرتبه دوم لیست متناقض میباشد. ازاینرو نتیجه میگیریم که لیست یابلو متناقض است و استدلال غیرصوری یابلو معتبر میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
سوژه و صورت منطقی در تراکتاتوس
نویسنده:
حامد زمانی پزوه
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
سوژه
,
شی (منطق)
,
ویتگنشتاین متقدم
,
صورت منطقی
,
تراکتاتوس (فلسفه تحلیلی)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معنا ( Semantic )
,
منطق جدید
,
منطق کلاسیک
چکیده :
ویتگنشتاین متقدم، با گرهزدن زبان به ضرورت، معنا را از ایدههای ذهنی صرف جدا میکند. بهنظر او، زبان ساختاری منطقی دارد که روگرفتی از ضرورتهای موجود در عالم است. او برای تبیین ضرورتهای موجود در عالم تعریف خاصی از مفهوم شیء ارائه میدهد، بهازای هر شیء نشانهای را در زبانِ ممکن واجدِ معنا میداند، و روابط بین اشیا را حاصل بالفعلشدن امکانهای ترکیبیِ خاص هر شیء می انگارد. در نظر او، ساختار منطقی زبان برآمده از چهارچوبِ عالم است و زبان فقط درصورتی معنادار است که تصویرگر این عالم باشد. ویتگنشتاین، بدون آنکه از مفاهمه حرفی بهمیان بیاورد، خودِ چگونگیِ ممکنبودنِ زبان را بررسی میکند و در پاسخ، صورت منطقی را مطرح میکند. در طراحی او از زبان، سوژه جایگاه معنابخشی خود را از دست میدهد و اشیای عالم و امکانهای ترکیبی آنها عهدهدار معنا میشوند.
انتخاب :
صفحات :
از صفحه 29 تا 44
مشخصات اثر
ثبت نظر
عنوان :
نظریههای عمومی در منطق مرتبۀ اول شهودی
نویسنده:
مریم عبیری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
دامغان: دانشگاه دامغان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
علم ریاضی
,
منطق ریاضی
,
مدلهای کریپکی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق مرتبه اول شهودی
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی رویکرد هاریچ به انتقادهای کریپکی بر نظریة کاربردی معناداری
نویسنده:
مرتضی مزگینژاد؛ سید محمدعلی حجتی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
معناداری
,
نظریه انقباضی صدق
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
نظریه کاربردی
چکیده :
هدف اصلی این مقاله بررسی و تحلیل استدلالهای هاریچ در مقالة «معنا، کاربرد، و صدق» است که در سال 1995 در مجلة Mind منتشر شده است. وی در این مقاله از ایدة ویتگنشتاین، یعنی نظریة کاربردی معنا (use theory)، درمقابل استدلالهایی که علیه این رویکرد ارائه شدهاند دفاع میکند. تمرکز هاریچ بهویژه بر انتقادهای کریپکی است. کریپکی در کتاب مشهور خود با عنوان دیدگاه ویتگنشتاین دربارة قواعد و زبان خصوصی سعی دارد نشان دهد کاربرد نمیتواند ارائهدهندة معنا باشد. مفهومی که کریپکی آن را نقد میکند تمایلگرایی (dispositionalism) است. او معتقد است معنای یک واژه نمیتواند معادل با تمایلات یا قابلیتهای انسان برای کاربرد آن واژه باشد. هاریچ استدلال کریپکی را نادرست میداند. برای این منظور، ابتدا دو تفسیر قوی و ضعیف از مقدمات استدلال کریپکی ارائه میدهد و سپس هر دو را نقد میکند. ازنظر او، لازمة استدلال کریپکی در تفسیر قوی پذیرش رویکرد انبساطی به صدق است و چنین رویکردی باطل است. در تفسیر ضعیف نیز مثال کریپکی نادرست است. پس از بررسی انتقادهای هاریچ بر کریپکی انتقادهای او را ارزیابی میکنیم.
انتخاب :
صفحات :
از صفحه 97 تا 116
مشخصات اثر
ثبت نظر
عنوان :
پژوهشی نقادانه در باب تبیین گرایس از تابع ارزش بودن شرطیها در زبان طبیعی بر اساسِ مفهومِ اظهارپذیری
نویسنده:
سید علی کلانتری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
زبان طبیعی (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه منطق
,
فلسفه زبان
,
تابع ارزش
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
شرطیها
,
اظهارپذیری
چکیده :
داتِ منطقی در منطقِ کلاسیکِ گزارهها بنا بر تعریف تابع ارزش (truth function)هستند. فیلسوفانِ منطق و زبانِ معاصر دو نظر عمده در بابِ تابعِ ارزش بودنِ اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی (که عبارتند از "چنین نیست که"، "و"، "یا" و "اگر...آنگاه...") مطرح نمودهاند. برخی استدلال کردهاند که اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی تابعِ ارزش نیستند و در مقابل برخی نیز استدلالهایی به نفع تابعِ ارزش بودنِ اداتِ مذکور ارائه نمودهاند. در این میان، دفاعیاتِ گرایس (1975) از تابعِ ارزش بودنِ شرطیها ("اگر...آنگاه...") در زبانِ طبیعی که بر اساسِ مفهومِ اظهارپذیری (assertibility) و معنای ضمنیِ (implicature) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهۀ اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطیها در زبانِ طبیعی است.
انتخاب :
صفحات :
از صفحه 123 تا 152
مشخصات اثر
ثبت نظر
عنوان :
محمول وجود در منطق فرگهای
نویسنده:
مهدی محمدی؛ علیاکبر احمدی افرمجانی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
محمول وجود
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه منطق
,
فلسفه زبان
,
فلسفه تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
منطق محمولها
,
منطق فرگه ای
چکیده :
یکی از مقدماتیترین مطالبی که در هر کتاب آموزشیِ منطقِ فرگهای در بحث منطق محمولات به چشم میخورد، این است که «وجود داشتن» نمیتواند در هیچ گزارهای محمول واقع شود؛ بلکه جایگاه «وجودْ» سور گزارهی جزئی است. هدف من در این مقاله این است که نشان دهم بنیانگذاران منطق فرگهای چه دیدی به ساختار گزاره داشتند و چرا وجود در این ساختار نمیتواند محمول واقع شود. سپس تبیین و راهحل این منطقدانان از گزارههای وجودی را بیان میکنم؛ و در پی آن، اشکالات و نارساییهای تحلیل ارائهشده را بررسی خواهم کرد. بسیاری از فیلسوفان تحلیلی، چون مور (Moore, 1936)، نیل (Kneale, 1936)، ویزدم (Wisdom, 1931)، اِیِر (Ayer, 1947) و دیگران، بیشتر در بحثهای مربوط به برهان وجودی برای اثبات خدا، به محمول نبودن وجود اشاره کردهاند. اما من در این مقاله تنها به فرگه، راسل، و کواین خواهم پرداخت. آرای فیلسوفان نامبرده با اندکی مسامحه ذیل رای این سه میگنجد.
انتخاب :
صفحات :
از صفحه 109 تا 125
مشخصات اثر
ثبت نظر
عنوان :
جنبههایی از منطق تلفیقی اثباتها و اثباتپذیری
نویسنده:
مقداد قاری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق شناخت
,
اثبات قضیه
,
منطق توجیه
,
منطق و مبانی ریاضی
,
منطق جدید
,
منطق شناختی
,
منطق کلاسیک
,
منطق موجهات
,
منطق تلفیقی
چکیده :
در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات میپردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: JB (صورت صریح منطق موجه براوری KB)، JGL (صورت صریح منطق اثباتپذیری گودل لوب GL) و JLD (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبات قضیه تحقق برای KB با استفاده از نگاشت نشاندن، اثبات قضیه تحقق برای GL به صورت نحوی، و اثبات قضیه تحقق برای JLD به صورت معنایی. ارایه دستگاههای اثبات گنتسنی برای منطقهای توجیه و اثبات قضیه حذف برش برای آنها، از جمله: دستگاههای گنتسنی LPG وLPLG برای منطق اثباتها، دستگاههای گنتسنی S4LPG و S4LPLG برای منطق شناختی با توجیه S4LP ، دستگاه ابر رشتهای S4LPNLH برای منطق شناختی با توجیه S4LPN و دستگاههای رشتهای برچسبدار برای منطقهای توجیه و منطقهای شناختی با توجیه.
انتخاب :
مشخصات اثر
ثبت نظر
5
6
7
8
9
10
11
12
13
14
تعداد رکورد ها : 186
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید