درسگفتار منطق ریاضی | کتابخانه مجازی الفبا

فارسی

متن

ر:پایگاه موقت

جلسه 1: https://www.aparat.com/v/MoCBl?playlist=1104624
توضیحات مقدماتی در باره برخی تفاوتهای منطق جدید و قدیم، توضیحات مختصر در باره قیاس، استقراء، اعتبار و درستی و رابطه آنها با یکدیگر.
جلسه 2: https://www.aparat.com/v/YFva2?playlist=1104624
در این جلسه در باره مفهوم سازگاری و ارتباط آن با اعتبار صحبت می شود. همچنین اندکی در باره مقام کشف و مقام داوری صحبت می شود. در ادامه بحثی اولیه در باره صورت بندی در زبان منطق آورده شده است. این مسئله زمینه را برای توضیح جملات بسیط یا اتمیک و جملات مرکب و نیز اقسام ادات جمله ای فراهم آورده است.
جلسه 3: https://www.aparat.com/v/tOkKA?playlist=1104624
در این جلسه این موارد را می آموزید
1. صورت بندی جمله های عطفی به زبان منطق جمله ها
2. صورت بندی جمله های نقض شده به زبان منطق جمله
3. کاربرد پرانتز، کروشه و آکولاد در صورت بندی جمله ها
4. تمایز میان ثابت جمله ای و متغیر جمله ای در منطق جمله ها
5. نحوه به دست آوردن ارزش (صدق و کذب) جمله های مرکب عطفی و نقض شده
6. آشنایی اولیه با جمله های فصلی در زبان عرفی و زبان صورت بندی شده.
جلسه 4: https://www.aparat.com/v/f1ueN?playlist=1104624
در این جلسه، این موارد مطرح خواهد شد:
1. توضیح بیشتر در باره کاربرد پرانتز، کروشه، آکولاد و تشخیص ادات اصلی
2. صورت بندی برخی جملات در زبان عرفی که حاوی کلماتی مثل حداقل، نه...نه هستند
3. توضیح در باره ترکیب شرطی و چگونگی به دست آوردن ارزش صدق این ترکیب
4. جدول ارزش ترکیب شرطی و ترکیب فصلی در منطق جدید
جلسه 5: https://www.aparat.com/v/PigId?playlist=1104624
در این جلسه، جدول ارزش جملات مرکب هم ارزشی توضیح داده می شود. بعد از آن، جمع بندی نسبت به صورت بندی خواهیم داشت و کمی در صورت بندی جملات طولانی تمرین می کنیم. در جلسه بعد وارد بحث جداول ارزش و کارکردهای آنها خواهیم شد.
جلسه 6: https://www.aparat.com/v/6P3Vj?playlist=1104624
در این جلسه، روش حلقه ای و روش خطی در محاسبه ارزش یک جمله مرکب توضیح داده می شود. در ادامه چگونگی درست کردن جدول ارزش و کاربردهای آن توضیح داده شده است. از میان کاربردهای مختلف جدول ارزش، در این جلسه، به تشخیص این که یک جمله، ممکن الصدق، راستگو یا دروغگو است اشاره شده است. بقیه کاربردهای جدول ارزش در جلسه بعدی مطرح خواهد شد.
جلسه 7: https://www.aparat.com/v/QzGXS?playlist=1104624
در این جلسه به کاربرد جداول ارزش در تشخیص جمله های هم ارزشی و شرطی منطقی از هم ارزشی و شرطی ناظر به واقع اشاره می شود. مهارت در این مسئله به شما کمک می کند که در ادامه مباحث بتوانید مبنای قواعد دو سویه و یک سویه منطق جمله ها را به خوبی درک کنید.
جلسه 8: https://www.aparat.com/v/YkZVC?playlist=1104624
در این جلسه، کاربرد جداول ارزش برای اثبات اعتبار و عدم اعتبار استدلال ها و نیز اثبات سازگاری و ناسازگاری مجموعه ای از جمله ها آموزش داده می شود.
جلسه 9: https://www.aparat.com/v/9Abiz?playlist=1104624
در این جلسه می آموزید که چگونه اعتبار و ناسازگاری با یکدیگر مرتبط هستند و چگونه می توان با استفاده از جداول ارزش، این ارتباط را معلوم کرد. این کار، زمینه ای برای برهان خلف است که در جلسات آینده با آن آشنا خواهید شد. همچنین روش کوتاه اثبات عدم اعتبار یک استدلال در این جلسه آموزش داده شده است.
جلسه 10: https://www.aparat.com/v/NbAUd?playlist=1104624
در این جلسه، تعیین سازگاری با روش کوتاه توضیح داده می شود. بعد از آن، تمایز میان جمله و قالب جمله ای بیان می شود. قالب های جمله ای به اتمیک، پایه و بسط یافته تقسیم می شوند. توضیح قالب های جمله ای زمینه را فراهم می آورد که قالب های جمله ای راستگو، دروغگو و ممکن الصدق شناخته شوند. این کار ما را به کاربرد قواعد به جای نمونه های خاص نزدیک تر می کند. به جای این که یک استدلال خاص را بررسی کنیم، یک قالب استدلالی را بررسی می کنیم. این کار باعث می شود که با دانستن یک قالب راستگو و ارتباط آن با قالب استدلالی معتبر بتوانیم قواعد منطق را بیاموزیم.
جلسه 11: https://www.aparat.com/v/Ym5X3?playlist=1104624
در این جلسه، با چهار صورت استدلالی معتبر و نحوه استفاده از آنها در برهان (proof) آشنا می شوید. در جلسه بعدی، توضیح در باره بقیه صورت های استدلالی معتبر و نحوه کاربرد آنها بیان می شود.
جلسه 12: https://www.aparat.com/v/P5qMw?playlist=1104624
در این جلسه، 4 قاعده دیگر استدلال معرفی می شوند. بر این اساس، در این جلسه، هشت صورت استدلالی معتبر استلزامی به پایان می رسد. برای یادگیری و مهارت، تمرین های متعددی حل شده است.
جلسه 13: https://www.aparat.com/v/60RbM?playlist=1104624
در این جلسه، اندکی بر 8 قاعده قبلی تمرین می شود. پس از آن قواعد هم ارزشی در منطق جمله ها آغاز می شود. در این جلسه، با قاعده هایی همچون نقض مضاعف و قضیه دمورگان آشنا خواهید شد.
جلسه 14: https://www.aparat.com/v/0fNID?playlist=1104624
در این جلسه، در استمرار جلسه قبل برای تکمیل صورت های استدلالی معتبر، پنج قاعده هم ارزشی دیگر را می آموزید. قاعده های جابه جایی، شرکت پذیری، پخش پذیری، عکس نقیض شرطی و استلزام
جلسه 15: https://www.aparat.com/v/D13WO?playlist=1104624
با بیان سه قاعده باقیمانده یعنی قاعده های تحویل، راستگو و هم ارزشی مجموعه قواعد هجده‌گانه به پایان می رسد. در اینجا نیز مجددا نمونه هایی از استدلال‌ها برای مهارت بیشتر حل و برهان آنها ذکر شده است.
جلسه 16: https://www.aparat.com/v/9Dbo5?playlist=1104624
با اتمام 18 قاعده، برای مهارت بیشتر، در این جلسه تمرین هایی حل شده است. در این جلسه قاعده جدیدی آموزش داده نشده است.
جلسه 17: https://www.aparat.com/v/YAobN?playlist=1104624
در این جلسه، توضیح در باره دلیل شرطی آغاز می شود. برای فهم مطالب، مثال های متعددی ذکر شده است.
جلسه 18: https://www.aparat.com/v/GD82W?playlist=1104624
در این جلسه، توضیح برهان خلف یا همان برهان غیر مستقیم آغاز می شود. برای مهارت در این برهان، استدلال های متعددی مطرح شده و از طریق برهان خلف، اعتبار آنها اثبات شده است.
جلسه 19: https://www.aparat.com/v/B1YJi?playlist=1104624
با یادگیری دلیل شرطی و برهان خلف، زمینه برای توضیح چند اصطلاح فراهم می شود. به اموری همچون راستگو، یا اعتبار می توان از منظر نحوی (گرامری) یا معناشناختی توجه کرد. تمایز این دو نگاه که یکی با اثبات و دیگری با صدق و کذب مرتبط است فهم عمیق تری از منطق جمله ها در اختیار ما قرار می دهد. برای روشن تر شدن مطلب، نمونه های متعددی مطرح شده است.
جلسه 20: https://www.aparat.com/v/1rybC?playlist=1104624
این جلسه تکمیل کننده مطالب جلسه قبلی است. در این جلسه با اصطلاح تمامیت و درستی در منطق جمله ها آشنا می شوید. معلوم می شود که هر یک از این دو اصطلاح، مفاهیم مرتبط با خود را دارا هستند. در این جا نیز نمونه های متعددی برای ارتباط بهتر شما با مطالب، ارائه شده است.
جلسه 21: https://www.aparat.com/v/hIDVO?playlist=1104624
در این جلسه روش درخت های ارزش آغاز می شود. از این روش می توان برای اثبات اعتبار و عدم اعتبار، سازگاری و ناسازگاری و دیگر مواردی که با استفاده از جداول ارزش می توانستیم انجام دهیم بهره برد. این روش، آسان است و کاربردهای زیادی دارد. در این جلسه، ابتدا به قواعد تبدیل جملات پایه در قالب درخت های ارزش اشاره می شود. سپس توضیح داده می شود که چگونه می توان از این درخت ها برای اثبات اعتبار یا عدم اعتبار استدلال ها استفاده کرد. در این مقام، مثال های زیادی ذکر شده است.
جلسه 22: https://www.aparat.com/v/aDYZl?playlist=1104624
در این جلسه، مباحث درخت های ارزش کامل می شود. می آموزیم که چگونه می توان با استفاده از این روش سازگاری و ناسازگاری مجموعه ای از جمله ها را اثبات کرد. همچنین استفاده از این روش را برای نشان دادن راستگو، دروغگو یا ممکن الصدق بودن یک جمله می آموزیم. در ادامه معلوم می شود که چگونه می توان از این روش برای نشان دادن رابطه استلزام یا منطقی هم ارزشی میان دو جمله استفاده کرد. این جلسه، اخرین جلسه از مباحث منطق جمله هاست و از جلسه آینده مباحث منطق محمول ها آغاز می شود.
جلسه 23: https://www.aparat.com/v/tDh8B?playlist=1104624
این جلسه، نخستین جلسه از مباحث منطق محمول ها است. در این جلسه با اصطلاحات منطق محمول ها و صورت بندی جملات آشنا می شوید. توضیح در باره متغیر شیئی، ثابت شیئی، ثابت وصفی، سور کلی و سور وجودی از جمله مباحث در این جلسه است. در جلسه آینده توضیح در باره صورت بندی جملات در منطق محمول ها ادامه خواهد یافت.

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

Mods Doblin core Marc xml MarcIran xml