مبادئ المنطق: التقارير والعبارات التقريرية، أدوات الربط، التكافؤ المنطقي، جداول الصواب، العكس والمعكوس والمكافئ العكسي للتقرير الشرطي. المصدوقات والتناقضات. التقارير الشاملة والوجودية.
طرائق البرهان: البرهان المباشر، البرهان بالاستنفاد، البرهان بالحالات، المثال المناقض، البرهان بالمكافئ العكسي، البرهان بالتناقض، المبدأ الأول والمبدأ الثاني للاستقراء الرياضي.
العلاقات: التعاريف الأساسية، الرسم الموجه والمصفوفة للعلاقة. العلاقات الانعكاسية والتناظرية والتخالفية والمتعدية. علاقات التكافؤ والتجزيئات. علاقات الترتيب وأشكال هاس.
