المنطق ٧ - قانون الفصل المنطقي - YouTube
برنامج البكالوريوس في الإعلام الرقمي
التبرير الاستنتاجي هو: تبرير يستعمل حقائق وقواعد وتعريفات وخصائص من اجل الوصول الى نتائج منطقية من عبارات معطاة على عكس التبرير الاستقرائي الذي يستعمل فيه أنماط مختلفة من الأمثلة والمشاهدات لعمل تخمين. مثال:
حدد ما إذا كانت النتيجة قائمة على التبرير الاستنتاجي أم التبرير الاستقرائي في كل مما يأت:
أ) في كل مرة تستعمل هند الخلطة الجاهزة لإعداد قالب كيك تلاحظ ان قالها صغير لا يكفي لخبز الكيك, جهزت اليوم خلطة الكيك فاستنتجت ان قالبها لن يكفي لخبز الكيك. اعتمدت هند على المشاهدات للتوصل الى نتيجة فهي بذلك استعملت التبري الاستقرائي. ب) اذا تأخر مشاري عن دفع قسط سيارته فإنه سيقوم بدفع غرامة تأخير مقدارها 150 ريال. برنامج البكالوريوس في الإعلام الرقمي. تأخر مشاري في دفع قسط هذا الشهر فاستنتج ان عليه دفع غرامة مقدارها 150 ريال. اعتمد مشاري على حقائق ينص عليها عقد البيع في الحصول على النتيجة لذا فقد استعمل التبرير الاستنتاجي
سنتكلم الان عن قانوني الفصل والقياس المنطقي أولا
قانون الفصل المنطقي: ينص على انه اذا كانت العبارة الشرطية p→q صائبة والفرض p صائب فإن النتيجة q ستكون صائبة وعبارة الفصل تكون معطياتها عبارة عن (عبارة شرطية + فرض).
النظرية
عند استخدامك للبراهين لتثبت صحة عبارة فان العبارة التي تصل اليها تسمى نظرية
يمكنك ايضا الاطلاع على مزيد من المعلومات عن النظرية من خلال الويكيبيديا االنظرية على الويكيبيديا
نظرية نقطة المنتصف
ما هو درس المسلمات والبراهين الحرة؟
سوف تدرس بعض المفاهيم الاساسية الخاصة بالبرهان. وبعض المسلمات الاساسية لتسطيع كتابة براهين واستنتاج نظريات
المسلمة هي عبارة تعتبر صائبة بدون برهان او اثبات. والبرهان الحر هو احد اساليب كتابة البرهان حيث تكتب كل عبارة وبعدها عبارة اخرى ناتجة عنها او صائبة من المعطيات للوصول الى العبارة النهائبة التي تعتبر نظرية ويمكن استخدامها لاحقا لاثبات عبارات اخرى. هي مسلمات خاصة بالنقاط والمستقيمات والمستويات وعلاقتهم معا وفيما يلي اهم الامثلة للمسلمات. مسلمة 1. 1
اي نقطتين يمر بهما مستقيم واحد فقط. مسلمة 1. 2
ايثلاث نقاط لا تقع على استقامة واحد يمر بهم مستوى واحد فقط. مسلمة 1. 3
كل مستقيم يحوي نقطتين على الاقل. مسلمة 1. 4
كل مستوى يحوي ثالث نقاط على الاقل ليست على استقامة واحدة. مسلمة 1. 5
اذا وقعت نقطتان في مستوى فان المستقيم الوحيد المار بهما يقع كليا في ذلك المستوى.