تلخيص المسلمات والبراهين الحرة مفصل و بسيط

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

عند استخدامك للبراهين لتثبت صحة عبارة فان العبارة التي تصل اليها تسمى نظرية
يمكنك ايضا الاطلاع على مزيد من المعلومات عن النظرية من خلال  االنظرية على الويكيبيديا

هي مسلمات خاصة بالنقاط والمستقيمات والمستويات وعلاقتهم معا وفيما يلي اهم الامثلة للمسلمات.

مسلمة 1,1

اي نقطتين يمر بهما مستقيم واحد فقط.

مسلمة 1,2

ايثلاث نقاط لا تقع على استقامة واحد يمر بهم مستوى واحد فقط.

مسلمة 1,3

كل مستقيم يحوي نقطتين على الاقل.

مسلمة 1,4

كل مستوى يحوي ثالث نقاط على الاقل ليست على استقامة واحدة.

مسلمة 1,5

اذا وقعت نقطتان في مستوى فان المستقيم الوحيد المار بهما يقع كليا في ذلك المستوى.

مسلمتان تقاطع المستقيمات والمستويات

مسلمتان خاصتان بحالات تقاطع المستقيمات والمستويات.

مسلمة 1,6

اذا تقاطع مستقيمان فانهما يتقاطعان في نقطة واحدة.

مسلمة 1,7

اذا تقاطع مستويان فان تقاطعهما يكون مستقيما.