کتاب درآمدی نو به منطق نمادین منطق محمول ها نوشته پل تیدمن و هاوارد کهین ترجمه رضا اکبری نشر امام صادق  در فصل اول با عنوان نمادین سازی در منطق محمول ها خواننده با نمادهای منطق محمول ها آشنا می شود فرد وصف ثابت وصفی ثابت شیئی متغیّر وصفی متغیّر شیئی بسط متغیّر آزاد متغیّر پابند سور وجودی دامنة سخن دامنة مقیّد و دامنة غیرمقیّد از جمله اصطلاحاتی هستند که در این فصل با آن ها آشنا می شوید همچنین نمادین سازی جمله های زبان عُرفی زبان طبیعی به زبان منطق جمله ها از مهمترین مباحثی است که در این فصل به آن پرداخته می شود  فصل دوم  فصل دوم با عنوان معناشناسی منطق محمول ها در برگیرندة مباحث منطق محمول هاست در این فصل خواهید آموخت که اعتبار و عدم اعتبار یک استدلال و نیز سازگاری و ناسازگاری مجموعه ای از جمله ها به چه معناست و چگونه می توان آن ها را اثبات کرد  فصل سوم  در فصل سوم با عنوان براهین منطق محمول ها با برهان های منطق محمول ها و قاعده های مربوط به برداشتن و افزودن سورها آشنا می شوید در این فصل قاعده های حذف سور کلّی معرّفی سور کلی حذف سور وجودی معرّفی سور وجودی و نقض سور معرّفی خواهند شد با استفاده از این قاعده ها و قاعده های منطق جمله ها خواهید توانست که برهان هر یک از استدلال های منطق محمول ها را فراهم آورید و به این صورت اعتبار استدلال ها را در این منطق اثبات کنید