نمایش مبدأ برای منطق گزاره‌ای

{{جعبه اطلاعات کتاب
| تصویر =NUR56336J1.jpg
| عنوان = منطق گزاره‌ای
| عنوان‌های دیگر = 
| پدیدآورندگان
| پدیدآوران = 
[[حیدری، داود]] (نويسنده)
[[س‍ل‍ی‍م‍ان‍ی‌ ام‍ی‍ری‌، ع‍س‍ک‍ری‌]] (ویراستار)
|زبان
| زبان = فارسی
| کد کنگره =  8م 9ح  181 BC 
| موضوع =گزاره (منطق)
|ناشر 
| ناشر = مرکز الدراسات الفلسفیة
| مکان نشر = ایران - مشهد مقدس
| سال نشر = 1393ش
| کد اتوماسیون =AUTOMATIONCODE56336AUTOMATIONCODE
| چاپ = 1
| شابک = 978-600-7044-12-4
| تعداد جلد = 1
| کتابخانۀ دیجیتال نور = 56336
| کتابخوان همراه نور = 56336
| کد پدیدآور = 44808
| پس از = 
| پیش از = 
}}
'''منطق گزاره‌ای'''، اثر [[حیدری، داود|داود حیدری]]، کتابی است در معرفی و شناسایی منطق گزاره‌ای، که شاخه‌ای مهم از منطق نمادین بشمار می‌رود، به زبانی ساده و کاربردی.

فراگیرى دانش منطق و کسب مهارت در این زمینه، از نخستین الزامات رشد عقلانى انسان‌ها شمرده مى‌شود. تألیف متون آموزشى مناسب براى سنین و سلایق مختلف از عوامل ایجاد رغبت و انگیزه منطق‌آموزى در جامعه است. پدید آوردن آثار فلسفى و منطقى متناسب با ذهن و زبان مخاطبان و به‌کارگیرى روش‌هاى مؤثر در آموزش، یکى از نیازهاى اساسى جامعه‌اى است که خواهان جهش به سمت اهداف متعالى است و اثر حاضر، پاسخ کوچکى است به این نیاز بزرگ<ref>ر.ک: مقدمه، ص15</ref>.

مخاطبان کتاب، دانش‌دوستانى هستند که تا حدودى با منطق سنتى آشنایى دارند و مى‌خواهند شناختى مقدماتى درباره منطق جدید به دست آورند. منطق‌ گزاره‌اى و سپس منطق محمولات، گام‌هاى نخست در راه شناخت منطق جدید است. این کتاب سعى دارد به‌دور از مباحث پیچیده فلسفى و اختلاف‌هاى دو نظام منطقى سنتى و جدید و صرف نظر از انتقاداتى که بر دستگاه منطق‌ گزاره‌اى ابراز شده است و حتى با کمى مسامحه در به‌کارگیرى زبان منطق جدید، منطق گزاره‌اى را به زبانى ساده معرفى نماید و با ارائه تمرین‌هاى مناسب، زمینه درک بهتر این نظام منطقى را براى علاقه‌مندان فراهم سازد<ref>ر.ک: همان</ref>.

محتواى کتاب در پنج فصل تنطیم شده است. در فصل نخست، خوانندگان با مباحث مقدماتى، از جمله تعریف گزاره، استدلال و منطق و همچنین برخى مفاهیم پایه در منطق جدید، مانند صورت گزاره‌اى، صورت استدلال، اعتبار و صدق منطقى آشنا مى‌شوند<ref>ر.ک: همان</ref>.

در فصل، دوم زبان منطق گزاره‌اى مورد بررسى قرار گرفته است. از جمله مباحث مهم این فصل، واژگان زبان منطق گزاره‌اى، قواعد ساخت فرمول‌ها و چگونگى نگارش استدلال به زبان صورى است. در فصل سوم، با معناشناسى زبان منطق گزاره‌اى آشنا مى‌شویم<ref>ر.ک: همان</ref>.

در فصل چهارم، کاربردهاى جداول ارزش معرفى مى‌شوند. فصل پنجم، به بررسى استنتاج طبیعى اختصاص دارد و نهایتاً در فصل ششم، روش نمودار درختى مورد بحث قرار گرفته است<ref>ر.ک: همان</ref>.

در پایان هر فصل، تمرین‌هایى براى افزایش مهارت مخاطبان قرار داده شده است. در بخش پیوست‌ها به نکاتى پرداخته شده است که مى‌تواند براى علاقه‌مندان به ادامه مطالعات منطقى مفید باشد<ref>ر.ک: همان</ref>.

در تألیف این اثر از منابع گوناگونى استفاده شده و از ذکر موردبه‌مورد ارجاعات در درون کتاب، خوددارى شده است<ref>ر.ک: همان</ref>.