مطالب کتاب حاضر, برگرفته از فصلهای اول تا ششم 'کتاب درآمدی نو به منطق و فلسفه (ویراستهای هشتم و نهم)', حاوی مباحثی است برای آشنایی مخاطبان با نمادین سازی جملهها, ساختن جداول ارزش و یافتن براهین منطق جملهها. مباحث کتاب ذیل این عناوین به طبع رسیده است: 'نمادین سازی در منطق جملهها', 'جداول ارزش', 'براهین', 'دلیل شرطی و برهان غیر مستقیم' و 'روش درختهای ارزش'.