مدخل منطق صورت یا منطق ریاضی

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): غلامحسین مصاحب
Publisher: حکمت

Language: Persian

مبحث اول
مقدمه
فصل اول: پیدایش منطق جدید
فصل دوم: بعضی از اصطلاحات منطق
فصل سوم: استنتاج

مبحث دوم
حساب گزاره ها
فصل اول: کلیات راجع به توابع ارزش
فصل دوم: توابع ارزش دو متغیر گزاره ای
فصل سوم: توبع ارزش چند متغیر گزاره ای
فصل چهارم: تحویل توابع ارزش و فرمولهای نرمال
فصل پنجم: راستگوها و موارد استعمال آنها
فصل ششم: فهرست راستگوها

مبحث سوم: حساب محمولات مرتبه اول
فصل اول: تحلیل گزاره های مسوّر
فصل دوم: مبانی ابتدایی حساب محمولات
فصل سوم: قوانین حساب محمولات و فواید آنها
فصل چهارم: اسقاط سورها
فصل پنجم: سورهای مفید
فصل ششم: همانی و شروح
فصل هفتم: فهرست قوانین حساب محمولات

مبحث چهارم: حساب محمولات مراتب بالاتر
طرح مسئله: کافی نبودن حساب محمولات مرتبه اول
فصل اول: حساب مجموعه ها
فصل دوم: نسب
فصل سوم: اعداد صحیح
فصل چهارم: فهرست تعاریف و قوانین حساب محمولات بالاتر
نتیجه

مبحث پنجم: اصول منطق صورت کلاسیک
فصل اول

مبحث ششم: تأسیس حساب گزاره ها به روش قیاسی
فصل اول: کلیات راجع به روش قیاسی
فصل دوم: دستگاه رسر
فصل سوم: ملاحظات اجمالی راجع به سایر دستگاه های حساب گزاره

فهارس
فهرست کتب
فهرست علامات
فهرست تطبیق اصطلاحات
فهرست الفبایی مطالب و اصطلاحات و اسامی
فهرست عنوانی کتاب به تفصیل