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