التبرير والبرهان

1. العبارات الشرطية

1.1. وهي العبارة التي يمكن كتابتها على صورة إذا كان p، فإنq

1.1.1. العكس : تبديل الفرض مع النتيجة في العبارة الشرطية

1.1.2. المعكوس : نفس كل من الفرض والنتيجة

1.1.3. المعاكس الايجابي : نفي كل من الفرض والنتيجة في عكس العباره الشرطية

2. التبرير الاستنتاجي

2.1. قانون الفصل النطقي :إذا كانت العباره الشرطية p-a صحيحة،والفرص pصحيحا فان النتيجة q تكون صحيحة ايضاً

2.2. قانون القياس المنطقي: اذا كانت العبارتان الشرطيتان p-r ,p-q صحيحتان فان العباره الشرطية p-r تكون صحية ايضاً.

3. المسلمات

3.1. عبرة تعطي وصفاً لعلاقة أساسية بين المفاهيم الهندسية الأولية وتقبل أنها صحيحة دون برهان

4. تطابق الزوايا

4.1. نظرية تطابق المكملات:الزاويتين المكملتان للزاوية نفسها او لزاويتين متطابقتين تكونان متطابقتاين

5. التبرير الاستقرائي

5.1. يستعمل عند افتراض استمرار نمط على نفس الوتيره وتسمي العبارة النهائية التي توصلت إليها تخميناً.

6. المنطق

6.1. ١-نفي العبارة: عبارة تفيد معنى مضاداً لمعنى العبارة الاصليه

6.2. ٢- عبارة الوصل : عبارة مركبة ناتجة عن ربط عبارتين او أكثر باستعمال (و)

6.2.1. ٣- عبارة الفصل: عبارة مركبة ناتجة عن ربط عبارتين او أكثر باستعمال (أو)

7. تطابق القطع المستقيمة

7.1. ١-خاصية الانعكاس للتطابق

7.2. خاصية التعدي لتطابق

7.3. خاصية التماثل للتطابق