عبارات متكافئة منطقيا: العباارات التي لها نفس قيم الصواب.
تبرير استنتاجي
هو يستعمل حقائق وقواعد وتعريفات وخصائص من اجل الوصول إلى نتائج منطقية.
قانون الفصل المنطقي
مثال: المعطيات : •اذا كانت ثلاث نقاط لا تقع على استقامة واحدة فإنها تحدد مستوى=T • النقاط A,B,C تقع في المستوى G =F الاستنتاج: النقاط A,B,C لا تقع على استقامة واحدة= F
القانون القياس المنطقي
مثال : (1) اذا لم تأخذ قسطا كافيا من النوم، فسوف تكون مرهقا (2) اذا كنت مرهقا فلن يكون اداؤك في الاختبار جيدا. الحل : اذا لم تأخذ قسطا كافيا من النوم فلن يكون اداؤك في الاختبار جيدا
المسلمات والبراهين الحرة
المسلمة: تعطي وصفا لعلاقة اساسية بين المفاهيم الهندسية الاولية وتقبل على انها صحيحة دائما البرهان الحر : تفسير اسباب صحة التخمين في موقف معطى.
مثال : المستقيمان المتقاطعان يحددان مستوى. الحل: صائبة دائما لان المستقيمان المتقاطعان يحويان على الاقل 3 نقاط لا تقع على استقامة واحدة بالتالي يحددان مستوى
مثال للبراهن الحر: اذا علمت ان C تقع على AB , حيث AB=CB فاكتب برهان حر لاثبات ان C هي نقطة منتصف AB؟ الحل: من تعريف التطابق طول AB=CB اذن المسافة من Aالى C = المسافة من Cالى B
البرهان الجبري. هو برهان ينكون من سلسلة عبارارت جبرية
مثال: اذا كانت y=5 فان 5=y الحل : خاصية التماثل في المساواة