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

Get Started. It's Free
or sign up with your email address
التبرير والبرهان by Mind Map: التبرير والبرهان

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

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

2. المنطق

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

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

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

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

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

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

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

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

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

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

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

5. المسلمات

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

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

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

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

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

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

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