 إحنا درسنا في هذا الشابتر، إحنا درسنا على البروزيشن اللوجيك، ودرسنا إيش هو البروزيشن اللوجيك في المحاضرات الماضية؟ هلنا بدنا نوقت جزئية ثانية في البروزيشن اللوجيك، اللي هي العلاقة بالريزينيك، وإيش يعني ريزينيك أو انفرانسيك؟ إحنا نستنتج، هي محاضرة كيف نستخدم اللوجيك للستنتج؟ فمن سميها انفرانسيك، أو من سميها ريزينيك، أو درايف، ممكن نقول انفرانس ريزين، درايف، استنتج من هذا المنطق. فالمنطق أصلاً هدفه، أو من أحد أهداف وجود المنطق أصلاً إنه هو الاستنتج، فيه أكثر من طريقة على الاستنتج. طبعاً هنا بكسب الاستنتج زي البروزيشن اللوجيك، لأنه الاستنتج في اللوجيك زي فارس اردر اللوجيك، اللي من اغضمه على محاضر الجاعي. الآن هنا لبروزيشن اللوجيك، الاستنتج فيه بسيط، وبدنا نتعلم. في طريق طيل للاستنتج، فيه واحد يسمى نميوريشن نثوض، فيه واحد يسمى روزو انفرانس، وبعدين نأخذ إجامبل، فهلا بس نتنبلنش نأخذ نميوريشن نثوض. لو عندي أنا المعلومات بتقول إذا اليوم is a Friday, then today is holiday. إذا اليوم الجمعة، اليوم أطلق. اليوم الجمعة، إذا أخذت أنا هدول المعلومتين، بقدر أقول today is holiday. طبعاً انت كان ساهم بتقول طبعاً بقدر أقول today is holiday. طبعاً بقدر أقول today is holiday. بس إحنا بدنا نعلم الحسوء كيف يستنتج. طبعاً هدول من الروح من يبكيبهم بالبروزيشن اللوجيك، فبتسير جملة أولى if p is q وعنا b، وهل مقدر يقول q أو لا. اليوم is a Friday or q اليوم is holiday. هلأ، وين تالجملي بتكون صحيحة؟ وين تالجملي؟ وين تابق برستنتج؟ نعلم أوليش يبنا نسمي هدول افتنتين، نسميهم premises. ونقولوا لهم المقدمة، ونسمي هاي الكمكلوجيد. وحنا كاعدين نفحس كلنو هل مقدر بستنتج؟ يعني هل هاي الكمكلوجيد صح والليمش صح؟ طيب، طبعا أنا بطعتيكم السر، بسرعا كا بالماء ورجيكم التروف تابل. هاي الجملي احفظهم لي، واسمهم لي، هاي الجملي بقدر استنتجها إذا، إذا، يعني في الحالة إنه لما هدول الجمال، لما المقدمات بقول يتروح، بالحالات اللي بكون فيها تروح، هاي الجملي لازم يكون تروح. طيب، طبعا بشوي عن التباستات ما هو بتقول لي هاي الجملي ما هي تروح، لا حاولي مش تروح، هاي الجملي كتة كون يتروح كتة كون فالس. وهاي الجملي كتة كون يتروح كتة كون فالس. نفقوا؟ فلما استنتين هدول مع بعض بكون الي تروح بالحالتين هدول، يعني إذا حطينا تروح تابل لاعبوا إنه هاي البرميسس هاي أول وحدي وهاي الثاني حطيناهم في تروح تابل زما كنت لكم مرة هاي تروح، مرة فاي فولس حطيناهم في تروح تابل في كل احتمالات تروح تابعتهم في الحالات اللي بكون فيها تروح باجبط طلع على هاي هل هاي تروح؟ لا هاي بتطلع عليها هون آه تروح معنى عطو بردرستات او يعني انت بتقول اني يا وسطياب انه فيش داعي افحص هون ولا هون ولا هون آه فيش داعي تفحص خلص انت يعني فترض انه هدول عندك تطلع عليه يعني وين هدولة تقل برميسس بكون الي تروح بس تروح افحص هاي هل بتكون يتروح للا طبعا هاي جبناها من هاي بس هاي من سمي هاي ل كريتيكال روح لكريتيكال روح انه مفيش داعي اتطلع علي كل تروح اتطلع علي عندما لبرميسس بكون يتروح بس هاي اذا اذا كانت هاي فولس معنى اتو هاي الجملي مجدرستات بس هاي الجملي تروح فبالتالي هذا الاستنتاج صعب فيه انا مثال ثاني لو اخذنا هذا المثال هذا هو المقدمات او البرميسس وننفحص هاي الكمكلوجن فانا باروحوط التروض تابن كم بتغير عندي عندي بي وكيو ار هاي ثلاث ها عملت طيب وحسبتوا ما عطيت فيك مقدمات هاي هاي هاي هاي هاي هاي هاتوا نحلها كبل ما ورجيكم نحل الصح بطل على هذا وين في ترو ها برجي بفحص نفحص هادو على فكرة اذا الكينا واحد يفولس معادل من البرميسس تنتج هلا هان هون طبعا شو فيه فوق فيه اف ب ذن ار وين اف بذن ار اف بذن ار ار ار ار ار ار ار ار ار ار ات كيف يعني ذن إذا كيد أي واحد من هؤلاء الفولس، شدعي أعطيس، بكي أبوكف بوكف ليش؟ لأنه الجملي هاي، بقدرش أستنتجر هاي طريقة الإسنتاج الأولى، اللي نسميها نيومريشن لأنه ليش اسمه نيومريشن؟ لأنه أنا عددت كل الحالات اللي هؤلاء التروث، اللي الثالثة الموجودة لدي متكونوا تروو فولس، فحصتهم كله، كله نيومريشن يعني عددت كل الحالات، فحصت الوان المشكلة طيب في هاي الطريقة المشكلة في هاي الطريقة، اللي تخيل لو أنا عندي عدد الفاريبين مش بي وكو وار، لو عندي هدول نفتر الدين ومثلاً أقل فاريب، طبعاً ألف مش إشي كثير كبير ألف، بس كدهيش طول التابل من كوي ألف هذا إشي بد من كومبيوترسنين هاي الطريقة بضيقة جداً وتصبوتش وكمان أنا عندي هو المقدر التوبريمسيس بس ممكن يكون عندي كثير بريمسيس ومثلاً أنا لو بدي نظام التسجيل في الجامعة بدو يسمح لك هل بس مهلك سجل هذا الماضي أو ما سجلش هذا الماضي وبدو يكرر بدو يكرر فبدو عندو كثير فاريبين وكثير بريمسيس بدو يحسبها بس عشان يسمح لك أو لا وهذا الإشي بكلف واكيد ها ذا إني هيا وانتين سأمي ها إنه مرحبا