کتاب صوتی روش‌های استنتاج و اثبات در حساب گزاره‌ها (بخش دوم)

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره روش‌های استنتاج و اثبات در حساب گزاره‌ها (بخش دوم)

موضوع کلی: منطق و استدلال ریاضی

موضوع میانی: استنتاج منطقی در حساب گزاره‌ها

📋 سرفصل‌های دوره

• 1. مقدمه‌ای بر حساب گزاره‌ها و استدلال
• 2. مفاهیم پایه منطق گزاره‌ای
• 3. ارزش صدق و توابع صدق
• 4. اتصالات منطقی: هم‌بندی، وا‌هم‌بندی، شرطی، دو شرطی
• 5. نمادسازی گزاره‌ها
• 6. قضایای منطقی و هم‌ارزی منطقی
• 7. قوانین جانشینی و قواعد استنتاج
• 8. قاعده modus ponens
• 9. قاعده modus tollens
• 10. قاعده قیاس استثنایی (Hypothetical Syllogism)
• 11. قاعده قیاس اقترانی (Disjunctive Syllogism)
• 12. قاعده استنتاج از نقیض (Inferring from Negation)
• 13. استنتاج‌های مستقیم
• 14. استنتاج‌های غیرمستقیم (اثبات خلف)
• 15. اثبات با استفاده از شواهد
• 16. اثبات با استفاده از تجزیه
• 17. استنتاج‌های پیچیده در حساب گزاره‌ها
• 18. قواعد استنتاج پیشرفته
• 19. قاعده ترکیب (Addition)
• 20. قاعده ساده‌سازی (Simplification)
• 21. قاعده هم‌بندی (Conjunction)
• 22. قاعده شرطی‌سازی (Conditional Proof)
• 23. قاعده اثبات خلف (Indirect Proof)
• 24. قاعده استنتاج از نقیض (Reductio ad Absurdum)
• 25. استنتاج‌های چند مرحله‌ای
• 26. تحلیل ساختار گزاره‌ها
• 27. ارزیابی اعتبار استدلال‌ها
• 28. شناسایی مغالطات منطقی
• 29. مغالطه اشتراک لفظ
• 30. مغالطه اشتراک معنوی
• 31. مغالطه ترکیب
• 32. مغالطه تقسیم
• 33. مغالطه توسل به جهل
• 34. مغالطه توسل به اکثریت
• 35. مغالطه توسل به مرجعیت کاذب
• 36. مغالطه مصادره به مطلوب
• 37. مغالطه شیب لغزنده
• 38. مغالطه علت نامعتبر
• 39. مغالطه زیر سوال بردن دلیل
• 40. مغالطه پرسش جهت‌دار
• 41. مغالطه مقایسه نادرست
• 42. مغالطه نسبت دادن ویژگی‌های ناهمگون
• 43. مغالطه ادعای بی‌اساس
• 44. مغالطه عدم پیگیری نتایج
• 45. مغالطه شواهد ناکافی
• 46. مغالطه تعمیم شتاب‌زده
• 47. مغالطه استدلال دوری
• 48. مغالطه نتیجه‌گیری زودرس
• 49. مغالطه نتیجه‌گیری نامربوط
• 50. مغالطه تغییر موضوع
• 51. مغالطه حمله شخصی
• 52. مغالطه توسل به احساسات
• 53. مغالطه توسل به ترس
• 54. مغالطه توسل به ترحم
• 55. مغالطه توسل به قدرت
• 56. مغالطه سفسطه
• 57. کاربرد قواعد استنتاج در حل مسائل
• 58. استنتاج در مسائل عملی
• 59. استنتاج در اثبات قضایای ریاضی
• 60. استنتاج در علوم کامپیوتر
• 61. استنتاج در هوش مصنوعی
• 62. استنتاج در نظام‌های خبره
• 63. استنتاج در تحلیل داده‌ها
• 64. استنتاج در طراحی الگوریتم‌ها
• 65. استنتاج در نظریه بازی‌ها
• 66. استنتاج در منطق فازی
• 67. استنتاج در منطق مودال
• 68. استنتاج در منطق زمانی
• 69. استنتاج در منطق ناظران
• 70. استنتاج در منطق ناهمسان
• 71. استنتاج در منطق چندارزشی
• 72. استنتاج در منطق شرطی
• 73. استنتاج در منطق سببی
• 74. استنتاج در منطق اخلاقی
• 75. استنتاج در منطق دینی (با رویکرد علمی)
• 76. استنتاج در فلسفه علم
• 77. استنتاج در نظریه معرفت
• 78. استنتاج در منطق حقوقی
• 79. استنتاج در منطق اقتصادی
• 80. استنتاج در منطق زیست‌شناسی
• 81. استنتاج در منطق پزشکی
• 82. استنتاج در منطق مهندسی
• 83. استنتاج در منطق معماری
• 84. استنتاج در منطق زبان‌شناسی
• 85. استنتاج در منطق روان‌شناسی
• 86. استنتاج در منطق جامعه‌شناسی
• 87. استنتاج در منطق تاریخ
• 88. استنتاج در منطق علوم سیاسی
• 89. استنتاج در منطق روابط بین‌الملل
• 90. استنتاج در منطق مدیریت
• 91. استنتاج در منطق حسابداری
• 92. استنتاج در منطق بازاریابی
• 93. استنتاج در منطق آموزش
• 94. استنتاج در منطق پژوهش
• 95. استنتاج در منطق نوآوری
• 96. استنتاج در منطق حل مسئله
• 97. استنتاج در منطق تصمیم‌گیری
• 98. استنتاج در منطق خلاقیت
• 99. استنتاج در منطق تفکر انتقادی
• 100. استنتاج در منطق استدلال قوی