يذكر مفهوم القضية والعملية الرياضية والجمل
المفتوحة . يميز بين القضايا البسيطة والقضايا المركبة. يعدد ادوات الربط ويميز بينها. يكون جداول الصدق بطريقة واضحة وصحيحة. يميز بين
اداة الربط الرئيسية وادوات الربط الفرعية الاخرى في القضية الواحدة. يستنتج الشرط
الكافي والضروري للقضية الشرطية والشرطية المزدوجة. يطبق مبدا الاستدلال ومبدا التعويض
وايجاد مكملات القضايا. يميز بين المتغيرات المقيدة والمتغيرات الحرة .ويميز بين انواع
الحجة المنطقية من حيث كونها صائبة او خاطئة. يستخدم طرق البرهان الرياضي كلا حسب المنطوق
والمعطيات. تطبيق مبدا الاستنتاج الرياضي وتعميمه. يستخدم مثال مضاد في حالة عدم الاثبات.
الربط بين انواع البراهين المستخدمة في الاثبات والتمييز بين البرهان المباشر والبرهان
الشكلي. تعميم قواعد الاستدلال الرياضي على الدوال والقضايا.
