افتح القائمة الرئيسية

تغييرات

لا تغيير في الحجم، ‏ قبل 3 سنوات
لا يوجد ملخص تحرير
 
في [[منطق|المنطق]] و[[نظرية الألعاب]] و[[رياضيات|الرياضيات]] : ليس من الضروري أن تكون البديهية ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في استنتاج ليعطي نتائج. يعتبر نظام معرفي بديهيا عندما يتم إثبات أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من البديهيات المستقلة عن بعضها البعض.
 
== البديهيات ==
1- من نقطتين معلومتين ، يمر مستقيم واحد
2-الخط المستقيم لا نهاية لها
3-من نقطة معلومه ويمكن رسم قوس دائرة واحدة
4-كل الزوايا القائمة متطابقة
5-من نقطه معلومه،يمكن رسم مستقيم واحد يوازي مستقيم معلوم
 
== انظر أيضا ==
== مراجع ==
{{مراجع}}
 
{{موقع مصرنا}}
 
{{منطق رياضي}}
مستخدم مجهول